Libri UniversitariApri il catalogo

Prof. Maria Emilia Maietti

Università degli Studi di Padova · Dipartimento di Matematica "Tullio Levi-Civita" - DM · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Maria Emilia Maietti

Materie del prof. Maria Emilia Maietti

Type Theory 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 – BibliopolisCerca 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.

Logica Canale dispari

Corso di laurea: Informatica – sede di Padova · Laurea triennale (L-31) · 1º anno · 1º semestre · 6 CFU

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

Titolo

Autori – DispenseCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Titolo – Per istruire un robotCerca 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: 1. Linguaggio, metalinguaggio, livelli di riferimento, iterazione infinita. 2. Concetto di macchina o robot, significato dei connettivi e loro regole di deduzione, calcolo dei sequenti per logica classica proposizionale, tabelle di verita', teoremi di validita'e completezza. 3. Calcolo dei sequenti per la logica classica predicativa, nozione di interpretazione e modello, teoremi di validita' e completezza. 4.

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

Logica Canale pari

Corso di laurea: Informatica – sede di Padova · Laurea triennale (L-31) · 1º anno · 1º semestre · 6 CFU

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

Titolo

Autori – DispenseCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Titolo – Per istruire un robotCerca 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: 1. Linguaggio, metalinguaggio, livelli di riferimento, iterazione infinita. 2. Concetto di macchina o robot, significato dei connettivi e loro regole di deduzione, calcolo dei sequenti per logica classica proposizionale, tabelle di verita', teoremi di validita'e completezza. 3. Calcolo dei sequenti per la logica classica predicativa, nozione di interpretazione e modello, teoremi di validita' e completezza. 4.

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

Domande frequenti

Quali libri consiglia il prof. Maria Emilia Maietti per Type Theory?

Martin-Löf – Bibliopolis; Jan – Available online

Quali libri consiglia il prof. Maria Emilia Maietti per Logica (Informatica – sede di Padova, canale dispari)?

Autori – Dispense; Titolo – Per istruire un robot

Quali libri consiglia il prof. Maria Emilia Maietti per Logica (Informatica – sede di Padova, canale pari)?

Autori – Dispense; Titolo – Per istruire un robot