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č PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 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ů

30 dní na vrácení zboží

Zákazníci také koupili

Mathematisches Problemlosen und Beweisen Daniel Grieser

Brožovaná

757 Kč

Das Gilgamesch-Epos Walther Sallaberger

Brožovaná

249 Kč

Diokletian Alexander Demandt

Pevná

653 Kč

Beweisen Lernen Schritt Fur Schritt Jan-Hendrik Treude

Brožovaná

1 014 Kč

General Relativity Leonard Susskind

Brožovaná

277 Kč

Click Anne Conley

Brožovaná

340 Kč

CONTRIBUTIONS TO THE EARLY HISTORY OF NE THOMAS MORLA HOCKEN

Pevná

881 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č

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

Brožovaná

407 Kč

Nos grands pilotes de rallye ENGUERRAND LECESNE

Kniha

1 142 Kč

Teresa Cebrián Salanova Burguera

Pevná

881 Kč

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

Audio CD

973 Kč

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

Brožovaná

194 Kč

Little Book of Vivienne Westwood (version francaise) Glenys Johnson

Pevná

610 Kč

Socio-cultural Impacts of Workplace E-learning Karim A. Remtulla

Pevná

4 385 Kč

Family Health Encyclopedia Dr Peter Fermie & Dr Stephen Shepherd

Brožovaná

522 Kč

Mastering Endgame Strategy Johann Hellsten

Brožovaná

713 Kč

Henri Cornelis Agrippa Joseph Orsier

Brožovaná

707 Kč

Physical Kinetics A M Kosevich

Brožovaná

1 646 Kč

Big Nate Strikes Again Lincoln Peirce

Brožovaná

218 Kč

Arsene Lupin, Gentleman-Thief Maurice Leblanc

Brožovaná

271 Kč

Gospel of Philip Andrew Phillip Smith

Brožovaná

288 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.