Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Der Code der Mathematik

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

Stefan Müller-Stach

Idioma

Alemán

Libro Tapa blanda

Código Libristo: 42082408

Editores Springer, Berlin, junio 2023

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

Código Libristo: 42082408

89 b

36.39 €

Almacenamiento externo Envío en 8-11 días

Política de devolución de 30 días

Clientes que también han comprado

Mathematisches Problemlosen und Beweisen Daniel Grieser

Tapa blanda

36.39 €

Das Gilgamesch-Epos Walther Sallaberger

Tapa blanda

12.09 €

Diokletian Alexander Demandt

Tapa dura

31.69 €

Beweisen Lernen Schritt Fur Schritt Jan-Hendrik Treude

Tapa blanda

48.79 €

General Relativity Leonard Susskind

Tapa blanda

14.09 €

Click Anne Conley

Tapa blanda

15.39 €

CONTRIBUTIONS TO THE EARLY HISTORY OF NE THOMAS MORLA HOCKEN

Tapa dura

39.69 €

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

Tapa blanda

17.29 €

T.I.M.E Stories Lambert

Tapa blanda

13.19 €

The Philosophy Of History Georg Wilhelm Friedrich Hegel

Tapa dura

35.79 €

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

Tapa blanda

16.89 €

Nos grands pilotes de rallye ENGUERRAND LECESNE

Libro

47.49 €

Teresa Cebrián Salanova Burguera

Tapa dura

36.59 €

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

CD de audio

46.69 €

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

Tapa blanda

9.59 €

Little Book of Vivienne Westwood (version francaise) Glenys Johnson

Tapa dura

25.29 €

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

Tapa dura

211.19 €

Family Health Encyclopedia Dr Peter Fermie & Dr Stephen Shepherd

Tapa blanda

25.09 €

Mastering Endgame Strategy Johann Hellsten

Tapa blanda

34.09 €

Henri Cornelis Agrippa Joseph Orsier

Tapa blanda

33.99 €

Physical Kinetics A M Kosevich

Tapa blanda

76.19 €

Big Nate Strikes Again Lincoln Peirce

Tapa blanda

10.59 €

Arsene Lupin, Gentleman-Thief Maurice Leblanc

Tapa blanda

12.79 €

Gospel of Philip Andrew Phillip Smith

Tapa blanda

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.