Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Der Code der Mathematik

Sprache DeutschDeutsch
Buch Broschur
Buch Der Code der Mathematik Stefan Müller-Stach
Libristo-Code: 42082408
Verlag Springer, Berlin, Juni 2023
Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien pr... Vollständige Beschreibung
? points 86 b
34.99 € inkl. MwSt.
Externes Lager Wir versenden in 8-11 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Mathematisches Problemlosen und Beweisen Daniel Grieser / Buch Broschur
common.buy 34.99 €
Das Gilgamesch-Epos Walther Sallaberger / Buch Broschur
common.buy 12.00 €
Diokletian Alexander Demandt / Buch Hardcover
common.buy 32.00 €
Beweisen Lernen Schritt Fur Schritt Jan-Hendrik Treude / Buch Broschur
common.buy 47.99 €
Top
General Relativity Leonard Susskind / Buch Broschur
common.buy 12.99 €
Click Anne Conley / Buch Broschur
common.buy 15.39 €
CONTRIBUTIONS TO THE EARLY HISTORY OF NE THOMAS MORLA HOCKEN / Buch Hardcover
common.buy 39.69 €
Egyptian Mythology: Classic Stories of Egyptian Myths, Gods, Goddesses, Heroes, and Monsters Scott Lewis / Buch Broschur
common.buy 17.29 €
T.I.M.E Stories Lambert / Buch Broschur
common.buy 13.19 €
The Philosophy Of History Georg Wilhelm Friedrich Hegel / Buch Hardcover
common.buy 35.79 €
QCM d'Anatomie - Tête, cou, nerfs crâniens et organes des sens Trouilloud / Buch Broschur
common.buy 17.39 €
Nos grands pilotes de rallye ENGUERRAND LECESNE / Buch Buch
common.buy 48.69 €
Teresa Cebrián Salanova Burguera / Buch Hardcover
common.buy 37.39 €
Emotional Wisdom: How to Read, Understand, and Process Emotions Randolph (Randy) Cornelius / Audio Audio CD
common.buy 44.39 €
Lally's Game (Five Nights at Freddy's: Tales from the Pizzaplex #1) Kelly Parra / Buch Broschur
common.buy 9.59 €
Little Book of Vivienne Westwood (version francaise) Glenys Johnson / Buch Hardcover
common.buy 25.99 €
Socio-cultural Impacts of Workplace E-learning Karim A. Remtulla / Buch Hardcover
common.buy 207.49 €
Family Health Encyclopedia Dr Peter Fermie & Dr Stephen Shepherd / Buch Broschur
common.buy 23.79 €
Top
Mastering Endgame Strategy Johann Hellsten / Buch Broschur
common.buy 34.09 €
Henri Cornelis Agrippa Joseph Orsier / Buch Broschur
common.buy 33.39 €
Physical Kinetics A M Kosevich / Buch Broschur
common.buy 74.69 €
Big Nate Strikes Again Lincoln Peirce / Buch Broschur
common.buy 10.09 €
Arsene Lupin, Gentleman-Thief Maurice Leblanc / Buch Broschur
common.buy 12.49 €
Gospel of Philip Andrew Phillip Smith / Buch Broschur
common.buy 14.29 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Der Code der Mathematik
Autor Stefan Müller-Stach
Sprache Deutsch
Einband Buch - Broschur
Datum der Veröffentlichung 2023
Anzahl der Seiten 196
EAN 9783662665619
Libristo-Code 42082408
Verlag Springer, Berlin
Gewicht 380
Abmessungen 155 x 235

Kategorie

Mathematik und Naturwissenschaften > Mathematik
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Nietzsches Literaturen Ralph Häfner / Buch Hardcover
common.buy 173.19 €
30 Tage Oliver Pätzold / Buch Broschur
common.buy 12.99 €
Deutsch an Stationen SPEZIAL - Textsorten 9/10 Winfried Röser / Buch Blatt
common.buy 27.99 €
Too Young to Die! Stephen John / Buch Hardcover
common.buy 31.19 €
Only God Can Save Nigeria: What a Myth? Sunday Adelaja / Buch Broschur
common.buy 20.09 €
Murder at Five Finger Light: A Jessie Arnold Mystery Sue Henry / Buch Broschur
common.buy 11.19 €
La Liberté, Volume 1 Jules Simon / Buch Broschur
common.buy 27.89 €
Top
Thothův Tarot Aleister Crowley / Drucksachen Karten
common.buy 30.19 €
Asterisk War, Vol. 5 (manga) Yuu Miyazaki / Buch Broschur
common.buy 13.79 €
Ideas, Identity and Art of Daniel Spoerri Leda Cempellin / Buch Hardcover
common.buy 71.09 €
Alasco, an Indian Tale: Two Cantos: With Other Poems>. William H Simmons / Buch Broschur
common.buy 17.89 €
The Fantasy Collection Shine Leflur / Buch Broschur
common.buy 10.09 €
Sheepkeeper's Veterinary Handbook Judith Charnley / Buch Hardcover
common.buy 32.29 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto