Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Der Code der Mathematik

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

Stefan Müller-Stach

Език

Немски език

Книга С меки корици

Код Либристо: 42082408

Издателство Springer, Berlin, юни 2023

Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien pr... Цялото описание

Код Либристо: 42082408

85 b

35.01 €

68.47 лв

Външен склад Изпращаме след 8-11 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Mathematisches Problemlosen und Beweisen Daniel Grieser

С меки корици

35.01 € 68.47 лв

Beweisen Lernen Schritt Fur Schritt Jan-Hendrik Treude

С меки корици

46.35 € 90.66 лв

Das Gilgamesch-Epos Walther Sallaberger

С меки корици

10.98 € 21.47 лв

Diokletian Alexander Demandt

С твърди корици

30.40 € 59.46 лв

General Relativity Leonard Susskind

С меки корици

12.69 € 24.81 лв

CONTRIBUTIONS TO THE EARLY HISTORY OF NE THOMAS MORLA HOCKEN

С твърди корици

38.32 € 74.96 лв

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

С меки корици

16.67 € 32.61 лв

T.I.M.E Stories Lambert

С меки корици

13.36 € 26.13 лв

The Philosophy Of History Georg Wilhelm Friedrich Hegel

С твърди корици

34.49 € 67.46 лв

Anti-Inflammatory Diet for Beginners: A Complete Nutritional Meal Plan to Fight Disease, Promote Weight Loss, Heal the Immune System Dorothy Greger

С меки корици

10.30 € 20.15 лв

Click Anne Conley

С меки корици

14.86 € 29.06 лв

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

С меки корици

17.40 € 34.03 лв

Nos grands pilotes de rallye ENGUERRAND LECESNE

Книга

49.15 € 96.13 лв

SIEMPRE CONTIGO BALSERA

Книга

9.63 € 18.83 лв

Teresa Cebrián Salanova Burguera

С твърди корици

33.51 € 65.53 лв

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

Аудио компактдиск

45.01 € 88.02 лв

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

С меки корици

9.63 € 18.83 лв

Little Book of Vivienne Westwood (version francaise) Glenys Johnson

С твърди корици

26.15 € 51.15 лв

East Asia′s Troubled Democracies – How Illiberal Trends Are Reshaping Politics in Japan, South Korea, and Taiwan Christopher Carothers

С меки корици

39.31 € 76.88 лв

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

С твърди корици

197.29 € 385.86 лв

Sheepkeeper's Veterinary Handbook Judith Charnley

С твърди корици

31.80 € 62.19 лв

Family Health Encyclopedia Dr Peter Fermie & Dr Stephen Shepherd

С меки корици

24.60 € 48.11 лв

Mastering Endgame Strategy Johann Hellsten

С меки корици

32.83 € 64.22 лв

Henri Cornelis Agrippa Joseph Orsier

С меки корици

32.32 € 63.20 лв

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.