Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Der Code der Mathematik

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

Stefan Müller-Stach

Jezik

Njemački

Knjiga Meki uvez

Libristo kod: 42082408

Nakladnici Springer, Berlin, lipanj 2023

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

Libristo kod: 42082408

80 b

33.15 €

Vanjske zalihe Šaljemo za 8-11 dana

Do 30 dana za povrat

Kupci su kupili i

Mathematisches Problemlosen und Beweisen Daniel Grieser

Meki uvez

33.15 €

Beweisen Lernen Schritt Fur Schritt Jan-Hendrik Treude

Meki uvez

44.07 €

Das Gilgamesch-Epos Walther Sallaberger

Meki uvez

12.12 €

Diokletian Alexander Demandt

Tvrdi uvez

28.60 €

General Relativity Leonard Susskind

Meki uvez

12.63 €

CONTRIBUTIONS TO THE EARLY HISTORY OF NE THOMAS MORLA HOCKEN

Tvrdi uvez

38.20 €

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

Meki uvez

16.67 €

T.I.M.E Stories Lambert

Meki uvez

11.72 €

The Philosophy Of History Georg Wilhelm Friedrich Hegel

Tvrdi uvez

34.46 €

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

Meki uvez

10.30 €

Click Anne Conley

Meki uvez

14.85 €

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

Meki uvez

15.86 €

Nos grands pilotes de rallye ENGUERRAND LECESNE

Knjiga

44.98 €

SIEMPRE CONTIGO BALSERA

Knjiga

9.59 €

Teresa Cebrián Salanova Burguera

Tvrdi uvez

33.45 €

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

Audio CD

42.55 €

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

Meki uvez

8.58 €

Little Book of Vivienne Westwood (version francaise) Glenys Johnson

Tvrdi uvez

23.95 €

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

Meki uvez

37.09 €

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

Tvrdi uvez

187.52 €

Sheepkeeper's Veterinary Handbook Judith Charnley

Tvrdi uvez

29.91 €

Family Health Encyclopedia Dr Peter Fermie & Dr Stephen Shepherd

Meki uvez

22.84 €

Mastering Endgame Strategy Johann Hellsten

Meki uvez

32.74 €

Henri Cornelis Agrippa Joseph Orsier

Meki uvez

30.72 €

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.