Libri UniversitariApri il catalogo

Libri di Logica (canale DISPARI) – prof. Maria Emilia Maietti

Informatica – sede di Padova · Università degli Studi di Padova · 1º anno · 1º semestre · 6 CFU · canale dispari

Libri del canale

Logica 6 CFU

MMProf. Maria Emilia Maietti Canale dispari

Titolo

Autori – DispenseIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Titolo – Per istruire un robotIl 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: 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.

Altri canali di questa materia

canale pari · Maietti

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

Testi d'esame di Logica del prof. Maria Emilia Maietti, canale dispari, corso di laurea in Informatica – sede di Padova (Laurea triennale (L-31)), Università degli Studi di Padova, 1º anno · 1º semestre · 6 CFU, a.a. 2026/2027. Libri adottati: Autori – Dispense; Titolo – Per istruire un robot.

Altre materie del prof. Maietti

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