Mostra el registre d'ítem simple

Logic and proof assistants

dc.contributorVentura Capell, Enric
dc.contributor.authorMartínez Coronado, Tomás
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Matemàtiques
dc.date.accessioned2016-09-15T10:25:13Z
dc.date.issued2016-06
dc.identifier.urihttp://hdl.handle.net/2117/89947
dc.description.abstractA short, mostly self-contained introduction to Homotopy Type Theory, which ends with the proof of Seifert-Van Kampen Theorem for sets. It was supposed to be a study about Coq prood assistant, but it ended up being an introduction to this theory.
dc.language.isoeng
dc.publisherUniversitat Politècnica de Catalunya
dc.subjectÀrees temàtiques de la UPC::Matemàtiques i estadística::Lògica matemàtica
dc.subject.lcshConstructive mathematics
dc.subject.lcshProof theory
dc.subject.otherType theory
dc.subject.otherHomotopy type theory
dc.titleLogic and proof assistants
dc.typeMaster thesis
dc.subject.lemacLògica matemàtica
dc.subject.lemacMatemàtica constructiva
dc.subject.amsClassificació AMS::03 Mathematical logic and foundations::03F Proof theory and constructive mathematics
dc.identifier.slugFME-1325
dc.rights.accessRestricted access - author's decision
dc.date.lift10000-01-01
dc.date.updated2016-09-02T05:41:37Z
dc.audience.educationlevelMàster
dc.audience.mediatorUniversitat Politècnica de Catalunya. Facultat de Matemàtiques i Estadística
dc.audience.degreeMÀSTER UNIVERSITARI EN MATEMÀTICA AVANÇADA I ENGINYERIA MATEMÀTICA (Pla 2010)
dc.contributor.covenanteeUniversité Paris 7
dc.description.mobilityOutgoing


Fitxers d'aquest items

Imatge en miniatura
Nom:
memoria.pdf
Mida:
917,2Kb
Format:
PDF
Visualitza/Obre

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple