Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Der Code der Mathematik

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

Stefan Müller-Stach

Sprache

Deutsch

Buch Broschur

Libristo-Code: 42082408

Verlag Springer, Berlin, Juni 2023

Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien pr... Vollständige Beschreibung

Libristo-Code: 42082408

34.99 € inkl. MwSt.

Externes Lager Wir versenden in 8-11 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Mathematisches Problemlosen und Beweisen Daniel Grieser

Broschur

34.99 €

Beweisen Lernen Schritt Fur Schritt Jan-Hendrik Treude

Broschur

47.99 €

Das Gilgamesch-Epos Walther Sallaberger

Broschur

12.00 €

Diokletian Alexander Demandt

Hardcover

32.00 €

General Relativity Leonard Susskind

Broschur

12.49 €

CONTRIBUTIONS TO THE EARLY HISTORY OF NE THOMAS MORLA HOCKEN

Hardcover

39.69 €

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

Broschur

17.29 €

T.I.M.E Stories Lambert

Broschur

12.39 €

The Philosophy Of History Georg Wilhelm Friedrich Hegel

Hardcover

35.79 €

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

Broschur

10.69 €

Click Anne Conley

Broschur

15.39 €

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

Broschur

17.19 €

Nos grands pilotes de rallye ENGUERRAND LECESNE

Buch

48.49 €

SIEMPRE CONTIGO BALSERA

Buch

9.49 €

Teresa Cebrián Salanova Burguera

Hardcover

33.09 €

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

Audio CD

44.39 €

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

Broschur

8.89 €

Little Book of Vivienne Westwood (version francaise) Glenys Johnson

Hardcover

25.79 €

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

Broschur

38.79 €

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

Hardcover

203.99 €

Sheepkeeper's Veterinary Handbook Judith Charnley

Hardcover

31.39 €

Family Health Encyclopedia Dr Peter Fermie & Dr Stephen Shepherd

Broschur

24.29 €

Mastering Endgame Strategy Johann Hellsten

Broschur

34.09 €

Henri Cornelis Agrippa Joseph Orsier

Broschur

33.39 €

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

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