Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Der Code der Mathematik

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

Stefan Müller-Stach

Língua

Alemão

Livro Capa mole

Código Libristo: 42082408

Editoras Springer, Berlin, junho 2023

Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien pr... Descrição completa

Código Libristo: 42082408

71 b

29.43 €

Armazenamento externo Envio em 8-11 dias

Política de devolução de 30 dias

Os clientes também compraram

Mathematisches Problemlosen und Beweisen Daniel Grieser

Capa mole

29.43 €

Das Gilgamesch-Epos Walther Sallaberger

Capa mole

9.70 €

Diokletian Alexander Demandt

Livro de capa dura

25.28 €

Beweisen Lernen Schritt Fur Schritt Jan-Hendrik Treude

Capa mole

39.65 €

General Relativity Leonard Susskind

Capa mole

10.51 €

Click Anne Conley

Capa mole

12.54 €

CONTRIBUTIONS TO THE EARLY HISTORY OF NE THOMAS MORLA HOCKEN

Livro de capa dura

32.67 €

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

Capa mole

14.05 €

T.I.M.E Stories Lambert

Capa mole

10.21 €

The Philosophy Of History Georg Wilhelm Friedrich Hegel

Livro de capa dura

29.43 €

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

Capa mole

13.85 €

Nos grands pilotes de rallye ENGUERRAND LECESNE

Livro

38.94 €

Teresa Cebrián Salanova Burguera

Livro de capa dura

30.85 €

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

CD de áudio

37.83 €

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

Capa mole

7.48 €

Little Book of Vivienne Westwood (version francaise) Glenys Johnson

Livro de capa dura

20.83 €

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

Livro de capa dura

171.69 €

Family Health Encyclopedia Dr Peter Fermie & Dr Stephen Shepherd

Capa mole

20.33 €

Mastering Endgame Strategy Johann Hellsten

Capa mole

27.81 €

Henri Cornelis Agrippa Joseph Orsier

Capa mole

27.71 €

Physical Kinetics A M Kosevich

Capa mole

64.24 €

Big Nate Strikes Again Lincoln Peirce

Capa mole

8.49 €

Arsene Lupin, Gentleman-Thief Maurice Leblanc

Capa mole

10.21 €

Gospel of Philip Andrew Phillip Smith

Capa mole

11.02 €

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.