Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Der Code der Mathematik

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

Stefan Müller-Stach

Jezik

Nemščina

Knjiga Mehka

Koda Libristo: 42082408

Založba Springer, Berlin, junij 2023

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

Koda Libristo: 42082408

76 b

31.29 €

Na zalogi pri dobavitelju Odposlali bomo v 8-11 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Mathematisches Problemlosen und Beweisen Daniel Grieser

Mehka

31.29 €

Das Gilgamesch-Epos Walther Sallaberger

Mehka

10.32 €

Diokletian Alexander Demandt

Trda

27.03 €

Beweisen Lernen Schritt Fur Schritt Jan-Hendrik Treude

Mehka

44.15 €

General Relativity Leonard Susskind

Mehka

11.54 €

Click Anne Conley

Mehka

14.07 €

CONTRIBUTIONS TO THE EARLY HISTORY OF NE THOMAS MORLA HOCKEN

Trda

36.45 €

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

Mehka

15.79 €

T.I.M.E Stories Lambert

Mehka

11.03 €

The Philosophy Of History Georg Wilhelm Friedrich Hegel

Trda

32.81 €

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

Mehka

15.39 €

Nos grands pilotes de rallye ENGUERRAND LECESNE

Knjiga

43.14 €

Teresa Cebrián Salanova Burguera

Trda

33.72 €

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

Zvočni CD

40.30 €

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

Mehka

7.99 €

Little Book of Vivienne Westwood (version francaise) Glenys Johnson

Trda

23.08 €

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

Trda

191.01 €

Family Health Encyclopedia Dr Peter Fermie & Dr Stephen Shepherd

Mehka

21.56 €

Mastering Endgame Strategy Johann Hellsten

Mehka

31.19 €

Henri Cornelis Agrippa Joseph Orsier

Mehka

30.78 €

Physical Kinetics A M Kosevich

Mehka

68.15 €

Big Nate Strikes Again Lincoln Peirce

Mehka

9.00 €

Arsene Lupin, Gentleman-Thief Maurice Leblanc

Mehka

11.03 €

Gospel of Philip Andrew Phillip Smith

Mehka

12.75 €

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.