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 nurt zur Formalisierung von Mathematik in Form von Beweisassistenten.
Literatura obcojęzyczna
Springer, Berlin
Springer, berlin Der code der mathematik
142,07 zł
Wyjątkowa okazja dla Ciebie!
Najkorzystniejszą propozycję przygotował Libristo.pl w cenie 142,07 zł
Idź do sklepu
Przeszukaliśmy wiele e-sklepów w bazie danych Docero aby odnaleźć najlepszą ofertę specjalnie dla Ciebie. Springer, berlin Der code der mathematik Springer, Berlin z kategorii literatura obcojęzyczna kupisz w cenie 142,07 zł w sklepie Libristo.pl. Pokazana kwota 142,07 zł nie zawiera ewentualnych kosztów wysyłki.
Zobacz wszystkie oferty ...Opis Springer, berlin Der code der mathematik
Specyfikacja produktu
Specyfikacja Springer, berlin Der code der mathematik | |
---|---|
Kategoria | Literatura obcojęzyczna |
Marka | Springer, Berlin |
ISBN | 9783662665619 |
Oprawa | miękka |
Rok wydania | 2023 |
Aktualnych ofert | 1 |
Najniższa cena | 142,07 zł |
Najwyższa cena | 142,07 zł |
W bazie od | 26.05.2024 |
Data aktualizacji | 26.12.2024 |
Opinia użytkowników | - |
Nasza recenzja | - |
Rekomendacja sklepu | Libristo.pl |
Historia cen
Funkcja śledzenia historii cen pozwala na podejmowanie mądrych decyzji o zakupie.
nie udało się nam zebrać historycznych informacji cenowych dla produktu Springer, berlin Der code der mathematik (Literatura obcojęzyczna). Proszę spróbuj ponownie później.
nie udało się nam zebrać historycznych informacji cenowych dla produktu Springer, berlin Der code der mathematik (Literatura obcojęzyczna). Proszę spróbuj ponownie później.
Recenzje / opinie
Kupiłeś ten produkt? Daj znać innym, co o nim sądzisz.
Obecnie nie ma opinii dotyczących tego produktu. Pomóż innym klientom i podziel się swoją opinią.
Obecnie nie ma opinii dotyczących tego produktu. Pomóż innym klientom i podziel się swoją opinią.
Znalezione oferty w bazie
Do cen pokazanych poniżej dla Springer, berlin Der code der mathematik Springer, Berlin nie wliczono ewentualnych kosztów wysyłki. Przed określeniem, gdzie dokonasz transakcji, zorientuj się w ocenie firmy i dodaj do prezentowanej ceny możliwy koszt przesyłki. Katalog sklepów z ofertami jest uaktualniana co jakiś czas, około raz na kilka minut.
-
Springer, berlin Der code der mathematik (idź do Libristo.pl)
★★★★★142,07 złKategoria w sklepie Libristo.pl: Literatura obcojęzyczna Springer, Berlin
Produkty powiązane
498,91 zł
Penile implant surgery Springer, berlin
589,14 zł
Springer, berlin Automotive ergonomics
386,18 zł
Modelling Economic Capital
Inne z kategorii Literatura obcojęzyczna
86,94 zł
New amer library The cinderella pact
37,07 zł
Ronin. the witcher Panini comics
56,21 zł
In a lonely place Penguin books
Przeglądaj produkty z kategorii literatura obcojęzyczna popularnych marek:
Popularne marki:
Literatura obcojęzyczna
Bloomsbury Publishing,
Literatura obcojęzyczna
Cambridge University Press,
Literatura obcojęzyczna
Createspace Independent Publishing Platform,
Literatura obcojęzyczna
HarperCollins Publishers,
Literatura obcojęzyczna
Independently Published,
Literatura obcojęzyczna
John Wiley & Sons Inc,
Literatura obcojęzyczna
Little, Brown Book Group,
Literatura obcojęzyczna
Oxford University Press,
Literatura obcojęzyczna
Penguin Books,
Literatura obcojęzyczna
Taylor & Francis Ltd
Ostatnio zaktualizowane:
- The reagan diaries Harper collins publishers
- Art of Songwriting
- Nicomachean Ethics
- Thomas nelson publishers Facing your giants
- Heye kalender Gallery wall posterkalender 2025
- Lords of the North
- Zen poems of ryokan Princeton university press
- 100k media llc Think and grow rich
- Ivrea Puella magi madoka magica homuras revenge n 02
- How Not to Summon a Demon Lord (Manga) Vol. 20
Więcej nowości:
- John wiley & sons inc Awakened millionaire
- Heyne taschenbuch Flucht an die themse
- Tus zonas erroneas edicion de lujo Grijalbo comercial, s.a
- El arte de comunicar Kitsune books
- Little, brown book group Never anyone but you
- Callisto reference Botany: plant identification and classification
- Открытие. Новейшие достижения в иммунотерапии для борьбы с новообразованиями и другими серьезными заболеваниями
- Is davis a traitor?: secession as a constitutional right previous to the war of 1861 Lightning source inc
- Federal Reserve System
- Equine herbs & healing Lulu.com