Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien präsentiert dieses Buch die Ideengeschichte der Begriffe Wahrheit, Beweis, Gleichheit...
Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien präsentiert dieses Buch die Ideengeschichte der Begriffe Wahrheit, Beweis, Gleichheit...
Параметри на продукта
Продуктът няма параметри.
Параметри на продукта
Продуктът няма параметри.
Описание на продукта
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.
Липсва или е неправилен важен параметър? Предоставената информация е само за ориентиране, затова ви съветваме да проверите дали предлаганият продукт има ключовите параметри от които се нуждаете, преди да купите от магазина по ваш избор. Въпреки че се стремим към максимална точност на информацията, за съжаление не можем винаги да гарантираме 100% съответствие. Цените на продуктите са с включен ДДС.
Продуктът все още няма отзиви.
{"Любими категории":[["Фенер","https://www.pazaruvaj.com/c/fener-c8313/"],["Футболна врата","https://www.pazaruvaj.com/c/futbolna-vrata-c6441/"],["Моделизъм","https://www.pazaruvaj.com/c/modelizym-c4885/"],["Спортен часовник","https://www.pazaruvaj.com/c/sporten-chasovnik-c4431/"],["Батерия за еднократна употреба","https://www.pazaruvaj.com/c/baterija-za-ednokratna-upotreba-c4801/"]],"Как да изберете най-добре":[["Как да купите козметика за стилизиране и прически?","https://www.pazaruvaj.com/a/kak-da-kupite-kozmetika-za-stilizirane-i-pricheski-c4707-317/"],["[REMOVED - DO NOT ACTIVATE]Как да купите шлайфмашина?","https://www.pazaruvaj.com/a/kak-da-kupite-shlajjfmashina2-c4773-159/"],["Как да купите чадър за слънце?","https://www.pazaruvaj.com/a/kak-da-kupite-chadr-za-slnce-c6266-194/"]],"Избрани продукти":[["Stagg C430 M 3/4 RED","https://www.pazaruvaj.com/p/c430-m-3-4-red-pP1040030272/"],["Klarstein IceWind Max ACO6-IcewindMaxW","https://www.pazaruvaj.com/p/icewind-max-aco6-icewindmaxw-pP805374174/"],["VooPoo PnP R1 изпарителна глава - 0.8 ома","https://www.pazaruvaj.com/p/voopoo-pnp-r1-izparitelna-glava-0-8-oma-pP778022469/"],["Roland HP704","https://www.pazaruvaj.com/p/hp704-pP463827822/"],["Roco Дигитален железопътен въртящ се кран, VolkerRail (7320023)","https://www.pazaruvaj.com/p/digitalen-zhelezopyten-vyrtjaw-se-kran-volkerrail-7320023-pP927551853/"],["Rábalux Wasabi 3696","https://www.pazaruvaj.com/p/wasabi-3696-pP888070059/"],["Redragon Storm M808-RGB","https://www.pazaruvaj.com/p/storm-m808-rgb-pP676263789/"]],"Препоръчваме":[["Cлушалки","https://www.pazaruvaj.com/c/slushalki-c3109/"],["PlayStation 5 (PS5)","https://www.pazaruvaj.com/p/playstation-5-ps5-pP588030129/"],["Nintendo Switch","https://www.pazaruvaj.com/c/konzoli-za-igri-c3154/f:4634:331818/"],["Мобилни телефони","https://www.pazaruvaj.com/c/mobilni-telefoni-gsm-c3277/"],["Смарт часовници","https://www.pazaruvaj.com/c/smart-chasovnici-fitnes-trakeri-c7323/"],["Преносими компютри","https://www.pazaruvaj.com/c/prenosimi-kompjutri-c3100/"],["Прахосмукачки","https://www.pazaruvaj.com/c/prahosmukachki-uredi-za-pochistvane-c3170/"],["Телевизори","https://www.pazaruvaj.com/c/lcd-crt-i-plasma-televizori-c3164/"]]}
