Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Der Code der Mathematik

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

Stefan Müller-Stach

Limba

germană

Carte Carte broșată

Codul Libristo: 42082408

Editura Springer, Berlin, iunie 2023

Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien pr... Descrierea completă

Codul Libristo: 42082408

85 b

183.69 lei

În depozitul extern Expediem în 8-11 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Mathematisches Problemlosen und Beweisen Daniel Grieser

Carte broșată

183.69 lei

Das Gilgamesch-Epos Walther Sallaberger

Carte broșată

60.77 lei

Diokletian Alexander Demandt

Copertă tare

159.40 lei

Beweisen Lernen Schritt Fur Schritt Jan-Hendrik Treude

Carte broșată

231.65 lei

General Relativity Leonard Susskind

Carte broșată

69.95 lei

Click Anne Conley

Carte broșată

81.83 lei

CONTRIBUTIONS TO THE EARLY HISTORY OF NE THOMAS MORLA HOCKEN

Copertă tare

210.79 lei

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

Carte broșată

91.84 lei

T.I.M.E Stories Lambert

Carte broșată

66.19 lei

The Philosophy Of History Georg Wilhelm Friedrich Hegel

Copertă tare

189.94 lei

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

Carte broșată

88.40 lei

Nos grands pilotes de rallye ENGUERRAND LECESNE

Carte

247.91 lei

Teresa Cebrián Salanova Burguera

Copertă tare

191.30 lei

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

Audio CD

236.02 lei

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

Carte broșată

48.57 lei

Little Book of Vivienne Westwood (version francaise) Glenys Johnson

Copertă tare

132.39 lei

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

Copertă tare

1 002.19 lei

Family Health Encyclopedia Dr Peter Fermie & Dr Stephen Shepherd

Carte broșată

126.55 lei

Mastering Endgame Strategy Johann Hellsten

Carte broșată

181.08 lei

Henri Cornelis Agrippa Joseph Orsier

Carte broșată

161.48 lei

Physical Kinetics A M Kosevich

Carte broșată

397.10 lei

Big Nate Strikes Again Lincoln Peirce

Carte broșată

53.37 lei

Arsene Lupin, Gentleman-Thief Maurice Leblanc

Carte broșată

66.40 lei

Gospel of Philip Andrew Phillip Smith

Carte broșată

75.78 lei

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.