Setează locația de livrare pentru a vedea produsele în funcție de preferințele tale.
Număr de pagini
383
Copertă
Copertă cartonată
Anul publicării
2025
Editor
Cambridge University Press
Nicio problemă, atâta timp cât este în termen de 14 zile. Vom veni să-l ridicăm sau poți alege Punctul Skroutz care ți se potrivește, complet gratuit de până la 2 ori pe an, și vă vom returna banii.
Această introducere actualizată în teoria tipurilor și teoria tipurilor homotopice va fi o lectură indispensabilă pentru studenții avansați de licență și master interesați de fundamentele și tipizarea matematicii.
Cartea începe cu o introducere detaliată și autonomă în teoria tipurilor dependente. Nu este necesară cunoașterea anterioară a teoriei tipurilor.
A doua secțiune introduce treptat conceptele fundamentale ale teoriei tipurilor homotopice: echivalențe, teorema fundamentală a tipurilor de identitate, niveluri de truncare și axioma unificării. Aceasta pregătește cititorul pentru studiul diferitelor subiecte dintr-o perspectivă unificată, inclusiv mulțimi, grupuri, combinatorică și arbori bine întemeiați.
Secțiunea finală introduce ideea tipului superior inductiv, discutând ciclul și acoperirea sa universală. Fiecare secțiune este structurată în capitole mici, fiecare având lungimea unei prelegeri, iar peste 200 de exerciții oferă material bogat pentru practică.
Pagini: 386
Specificațiile sunt colectate de pe site-urile oficiale ale producătorilor. Te rugăm să verifici specificațiile înainte de a finaliza comanda. În cazul în care întâmpini probleme, raportează aici.