Libri UniversitariApri il catalogo

Martin-Löf – Bibliopolis

Libro adottato a Padova, a.a. 2026/2027 · 1 canale

«Martin-Löf – Bibliopolis» è adottato per Type Theory dal prof. Maria Emilia Maietti (Computer Science – sede di Padova – Padova).

Martin-Löf – BibliopolisCerca su Amazon ›

Come lo indica il docente: Intuitionistic type theory. Notes by G. Sambin of a series of lectures given in Padua, June 1980 , Autori: P. Martin-Löf, Luogo: --, Anno: 1984, Editore: Bibliopolis, Note: --

Chi lo adotta

Programma e testi di ogni canale

Type Theory – Prof. Maria Emilia Maietti Canale unico

Corso di laurea: Computer Science – sede di Padova · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Padova · Dipartimento di Matematica "Tullio Levi-Civita" - DM · 6 CFU · apri nel catalogo · Computer Science – sede di Padova · 1º anno · 2º semestre ›

Titolo

Martin-Löf – Bibliopolisquesto libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Jan – Available onlineCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
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.

Si studia insieme a