Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Der Code der Mathematik

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

Stefan Müller-Stach

Jazyk

Němčina

Kniha Brožovaná

Libristo kód: 42082408

Nakladatelství Springer, Berlin, červen 2023

Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien pr... Celý popis

Libristo kód: 42082408

76 b

757 Kč

Skladem u dodavatele Odesíláme za 8-11 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Mathematisches Problemlosen und Beweisen Daniel Grieser

Brožovaná

757 Kč

Beweisen Lernen Schritt Fur Schritt Jan-Hendrik Treude

Brožovaná

1 097 Kč

Das Gilgamesch-Epos Walther Sallaberger

Brožovaná

248 Kč

Diokletian Alexander Demandt

Pevná

652 Kč

General Relativity Leonard Susskind

Brožovaná

292 Kč

CONTRIBUTIONS TO THE EARLY HISTORY OF NE THOMAS MORLA HOCKEN

Pevná

881 Kč

The Philosophy Of History Georg Wilhelm Friedrich Hegel

Pevná

794 Kč

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

Brožovaná

236 Kč

T.I.M.E Stories Lambert

Brožovaná

291 Kč

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

Brožovaná

382 Kč

Petit journal de ma grossesse Véronique Deiller

Brožovaná

365 Kč

Click Anne Conley

Brožovaná

340 Kč

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

Brožovaná

378 Kč

Nos grands pilotes de rallye ENGUERRAND LECESNE

Kniha

1 113 Kč

SIEMPRE CONTIGO BALSERA

Kniha

253 Kč

Teresa Cebrián Salanova Burguera

Pevná

876 Kč

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

Audio CD

973 Kč

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

Brožovaná

202 Kč

Dall'animale all'uomo. Le invarianti nell'evoluzione delle specie Irenäus Eibl-Eibesfeldt

Brožovaná

468 Kč

Little Book of Vivienne Westwood (version francaise) Glenys Johnson

Pevná

581 Kč

Woodwalkers 1. - Carag átváltozása Katja Brandis

Brožovaná

237 Kč

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

Brožovaná

847 Kč

Liturgy Rita Ferrone

Brožovaná

278 Kč

Sheepkeeper's Veterinary Handbook Judith Charnley

Pevná

739 Kč

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.