Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Der Code der Mathematik

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

Stefan Müller-Stach

Język

Niemiecki

Książka Miękka

Kod Libristo: 42082408

Wydawnictwo Springer, Berlin, czerwiec 2023

Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien pr... Cały opis

Kod Libristo: 42082408

80 b

140.53 zł

Dostępna u dostawcy Wysyłamy za 8-11 dni

30 dni na zwrot towaru

Klienci kupili także

Mathematisches Problemlosen und Beweisen Daniel Grieser

Miękka

140.53 zł

Das Gilgamesch-Epos Walther Sallaberger

Miękka

46.47 zł

Diokletian Alexander Demandt

Twarda

121.46 zł

Beweisen Lernen Schritt Fur Schritt Jan-Hendrik Treude

Miękka

177.67 zł

General Relativity Leonard Susskind

Miękka

51.99 zł

Click Anne Conley

Miękka

62.93 zł

CONTRIBUTIONS TO THE EARLY HISTORY OF NE THOMAS MORLA HOCKEN

Twarda

162.21 zł

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

Miękka

70.56 zł

T.I.M.E Stories Lambert

Miękka

53.40 zł

The Philosophy Of History Georg Wilhelm Friedrich Hegel

Twarda

146.15 zł

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

Miękka

71.26 zł

Nos grands pilotes de rallye ENGUERRAND LECESNE

Książka

200.06 zł

Teresa Cebrián Salanova Burguera

Twarda

154.38 zł

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

CD Audio

180.48 zł

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

Miękka

38.94 zł

Little Book of Vivienne Westwood (version francaise) Glenys Johnson

Twarda

106.90 zł

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

Twarda

768.34 zł

Family Health Encyclopedia Dr Peter Fermie & Dr Stephen Shepherd

Miękka

96.86 zł

Mastering Endgame Strategy Johann Hellsten

Miękka

139.12 zł

Henri Cornelis Agrippa Joseph Orsier

Miękka

123.87 zł

Physical Kinetics A M Kosevich

Miękka

304.56 zł

Big Nate Strikes Again Lincoln Peirce

Miękka

40.65 zł

Arsene Lupin, Gentleman-Thief Maurice Leblanc

Miękka

50.28 zł

Gospel of Philip Andrew Phillip Smith

Miękka

57.61 zł

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.