Der Code der Mathematik – hinnat ja saatavuus
Von Wahrheit, Beweis und Berechenbarkeit zur Homotopietypentheorie
Kirjafiili on kirjojen hintavertailu. Löydä halvin hinta 27 kirjakaupasta. Hintavertailu koskee ISBN-tunnusta 9783662740644 (Nidottu).
Muut painokset ja formaatit
Kirjan kuvaus
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,… Näytä koko kuvaus Piilota kuvaus
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 und 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. Die vorliegende zweite Auflage ist vollständig durchgesehen und insbesondere zu den Themen Kategorientheorie und Homotopietypentheorie erweitert.
Kirjan tiedot
Vertaa kirjan ”Der Code der Mathematik” hintoja
Vertaa tuotteen hintaa ja arvioitua kokonaishintaa toimitettuna. Kaikki hinnat koskevat ISBN-tunnusta 9783662740644.
Hintoja ei päivitetty automaattisesti. Voit hakea ajantasaiset hinnat painamalla Hae hinnat.
Booky
Suomalainen
Kansallinen Kirjakauppa
Prisma
Finlandia Kirja
Fantasiapelit
Vinhan kirjakauppa
CDON
Kustantamo S&S
Kennys.ie
Kristillinenkirjakauppa.fi
Sacrum
Adlibris
BookOutlet.fi
Kirja.fi
Rosebud
Tälle kirjalle ei ole tällä hetkellä vahvistettua hintaa. Tarkista tilanne myöhemmin uudelleen.
Hintoja ei ole vielä päivitetty.
Hälytys tallennettu!
Ilmoitamme, kun hinta laskee.
Saat sähköpostin, kun hinta laskee asettamaasi rajaan tai sen alle.
Der Code der Mathematik – hintahistoria
Seuraamme kirjan Der Code der Mathematik hintakehitystä kirjakaupoissa. Taulukosta näet viime kuukausien alimmat hinnat.
Alin hinta kauppoittain
Kunkin kaupan alin hinta viimeisten 90 päivän aikana.
Hintahistoriaa ei ole vielä kerätty tälle kirjalle.
Hinnat ilman toimituskuluja.