Libri UniversitariApri il catalogo

Type Theory – prof. Maria Emilia Maietti

Computer Science – sede di Padova · Università degli Studi di Padova · esame facoltativo · 6 CFU · canale unico

Libri del canale

Type Theory 6 CFU

MMProf. Maria Emilia Maietti Canale unico

Titolo

Martin-Löf – BibliopolisIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Jan – Available onlineIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Nel corso verranno introdotti --- i principali concetti di TEORIA dei TIPI; --- cenni di applicazioni in ambito +++ informatico; +++ matematico; +++ scientifico in genere. Lo studente verra' introdotto a comprendere i seguenti aspetti della multiforme natura della teoria dei tipi: 1) analisi della natura COMPUTAZIONALE della teoria dei tipi vista come --- LAMBDA-CALCOLO tipato a' la Church; --- paradigma di un…

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Apri nel catalogo: Computer Science – sede di Padova, 1º anno, tutte le materie e i canali ›

Testi d'esame di Type Theory del prof. Maria Emilia Maietti, canale unico, corso di laurea in Computer Science – sede di Padova (Laurea magistrale (LM-18)), Università degli Studi di Padova, esame facoltativo · 6 CFU, a.a. 2026/2027. Libri adottati: Martin-Löf – Bibliopolis; Jan – Available online.

Altre materie del prof. Maietti

Vedi anche: Prof. Maria Emilia Maietti · Type Theory a Padova (tutti i canali)