Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Der Code der Mathematik

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

Stefan Müller-Stach

Lingua

Tedesco

Libro In brossura

Codice Libristo: 42082408

Casa editrice Springer, Berlin, giugno 2023

Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien pr... Descrizione completa

Codice Libristo: 42082408

85 b

34.59 €

Magazzino esterno Inviamo tra 8-11 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Mathematisches Problemlosen und Beweisen Daniel Grieser

In brossura

34.59 €

Das Gilgamesch-Epos Walther Sallaberger

In brossura

11.39 €

Diokletian Alexander Demandt

Rigido

29.99 €

Beweisen Lernen Schritt Fur Schritt Jan-Hendrik Treude

In brossura

47.99 €

General Relativity Leonard Susskind

In brossura

12.99 €

Click Anne Conley

In brossura

15.39 €

CONTRIBUTIONS TO THE EARLY HISTORY OF NE THOMAS MORLA HOCKEN

Rigido

39.69 €

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

In brossura

17.29 €

T.I.M.E Stories Lambert

In brossura

12.49 €

The Philosophy Of History Georg Wilhelm Friedrich Hegel

Rigido

35.79 €

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

In brossura

17.39 €

Nos grands pilotes de rallye ENGUERRAND LECESNE

Libro

48.69 €

Teresa Cebrián Salanova Burguera

Rigido

35.99 €

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

CD audio

44.39 €

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

In brossura

9.59 €

Little Book of Vivienne Westwood (version francaise) Glenys Johnson

Rigido

25.99 €

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

Rigido

207.49 €

Family Health Encyclopedia Dr Peter Fermie & Dr Stephen Shepherd

In brossura

23.79 €

Mastering Endgame Strategy Johann Hellsten

In brossura

34.09 €

Henri Cornelis Agrippa Joseph Orsier

In brossura

33.39 €

Physical Kinetics A M Kosevich

In brossura

74.69 €

Big Nate Strikes Again Lincoln Peirce

In brossura

10.09 €

Arsene Lupin, Gentleman-Thief Maurice Leblanc

In brossura

12.49 €

Gospel of Philip Andrew Phillip Smith

In brossura

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.