Titolo – Per istruire un robot

Name: Titolo – Per istruire un robot
Author: Titolo

Libro adottato a Padova, a.a. 2026/2027 · 2 canali

«Titolo – Per istruire un robot» è adottato per Logica dal prof. Maria Emilia Maietti (Informatica – sede di Padova – Padova).

Titolo – Per istruire un robotCerca su Amazon ›

Come lo indica il docente: Titolo: Per istruire un robot, Autori: Giovanni Sambin, Luogo: --, Anno: 2007, Editore: Libreria Cortina, Padova, Note: --

Chi lo adotta

Logica – Prof. Maria Emilia Maietti (canale dispari)Informatica – sede di Padova · Laurea triennale (L-31) · 1º anno · 1º semestre · 6 CFU
Logica – Prof. Maria Emilia Maietti (canale pari)Informatica – sede di Padova · Laurea triennale (L-31) · 1º anno · 1º semestre · 6 CFU

Programma e testi di ogni canale

Logica – Prof. Maria Emilia Maietti 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 ›

Il docente indica 2 testi · da studiare tutti

Titolo

Autori – Dispense Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Titolo – Per istruire un robotquesto libroCerca 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 – Prof. Maria Emilia Maietti Canale pari