Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Der Code der Mathematik

Name: Der Code der Mathematik
Brand: Springer, Berlin
SKU: 42082408
Price: 757 CZK
Availability: InStock
Author: Stefan Müller-Stach
ISBN: 9783662665619

Stefan Müller-Stach

Jazyk

Němčina

Kniha Brožovaná

Libristo kód: 42082408

Nakladatelství Springer, Berlin, červen 2023

Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien pr... Celý popis

Libristo kód: 42082408

76 b

757 Kč

Skladem u dodavatele Odesíláme za 8-11 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Mathematisches Problemlosen und Beweisen Daniel Grieser

Brožovaná

757 Kč

Beweisen Lernen Schritt Fur Schritt Jan-Hendrik Treude

Brožovaná

1 014 Kč

Das Gilgamesch-Epos Walther Sallaberger

Brožovaná

306 Kč

Diokletian Alexander Demandt

Pevná

653 Kč

General Relativity Leonard Susskind

Brožovaná

292 Kč

QCM d'Anatomie - Tête, cou, nerfs crâniens et organes des sens Trouilloud

Brožovaná

399 Kč

East Asia′s Troubled Democracies – How Illiberal Trends Are Reshaping Politics in Japan, South Korea, and Taiwan Christopher Carothers

Brožovaná

847 Kč

Egyptian Mythology: Classic Stories of Egyptian Myths, Gods, Goddesses, Heroes, and Monsters Scott Lewis

Brožovaná

382 Kč

T.I.M.E Stories Lambert

Brožovaná

286 Kč

The Philosophy Of History Georg Wilhelm Friedrich Hegel

Pevná

794 Kč

Anti-Inflammatory Diet for Beginners: A Complete Nutritional Meal Plan to Fight Disease, Promote Weight Loss, Heal the Immune System Dorothy Greger

Brožovaná

236 Kč

Woodwalkers 1. - Carag átváltozása Katja Brandis

Brožovaná

226 Kč

Lally's Game (Five Nights at Freddy's: Tales from the Pizzaplex #1) Kelly Parra

Brožovaná

194 Kč

Nos grands pilotes de rallye ENGUERRAND LECESNE

Kniha

1 134 Kč

Little Book of Vivienne Westwood (version francaise) Glenys Johnson

Pevná

601 Kč

SIEMPRE CONTIGO BALSERA

Kniha

255 Kč

Only God Can Save Nigeria: What a Myth? Sunday Adelaja

Brožovaná

444 Kč

Teresa Cebrián Salanova Burguera

Pevná

879 Kč

Emotional Wisdom: How to Read, Understand, and Process Emotions Randolph (Randy) Cornelius

Audio CD

973 Kč

Dall'animale all'uomo. Le invarianti nell'evoluzione delle specie Irenäus Eibl-Eibesfeldt

Brožovaná

468 Kč

Liturgy Rita Ferrone

Brožovaná

318 Kč

Sheepkeeper's Veterinary Handbook Judith Charnley

Pevná

682 Kč

Family Health Encyclopedia Dr Peter Fermie & Dr Stephen Shepherd

Brožovaná

522 Kč

Mastering Endgame Strategy Johann Hellsten

Brožovaná

713 Kč

Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien präsentiert dieses Buch die Ideengeschichte der Begriffe Wahrheit, Beweis, Gleichheit und Äquivalenz. Neben ausgewählten Ideen von Platon, Aristoteles, Leibniz, Kant, Frege und anderen werden Resultate von Gödel and Tarski über Unvollständigkeit, Unentscheidbarkeit und Wahrheit in deduktiven Systemen und ihren semantischen Modellen vorgestellt. Der Hauptgegenstand dieses Textes ist die abhängige Typentheorie und neuere Entwicklungen in der Homotopy Type Theory. Diese Theorien beinhalten Identitätstypen, die neue Möglichkeiten für Gleichheit, Symmetrie, Äquivalenz und Isomorphie auf konzeptuelle Weise eröffnen. Die Interaktion von Typentheorie und Unendlichkategorien ist ein neues Paradigma für eine strukturelle Sichtweise auf die Mathematik. Sie fördert auch den neuen Trend zur Formalisierung von Mathematik in Form von Beweisassistenten.