Skip to main content
Side panel
Home
Courses
All courses
Fisica
Ingegneria e Architettura
Matematica e Geoscienze
Scienze Chimiche e Farmaceutiche
Scienze Economiche, Aziendali, Matematiche e Statistiche
Scienze della Vita
Scienze Giuridiche, del Linguaggio, dell`Interpretazione e della Traduzione
Scienze Politiche e Sociali
Studi Umanistici
Universitario Clinico di Scienze mediche, chirurgiche e della salute
E-learning@Units
Centro Linguistico di Ateneo
Sistema Bibliotecario di Ateneo
Amministrazione Centrale
Progetto FlashForward
Corsi in convenzione
PhD - Formazione trasversale
La ricerca all'Università di Trieste
CIRD - Centro Interdipartimentale per la Ricerca Didattica
Teledidattica
Moodle Guides
Servizi Disabili e DSA
Centro per la gestione del percorso universitario e accademico iniziale dei docenti delle scuole secondarie di primo e secondo grado
Support
Moodle Guide for students
Moodle Guide for teachers
Support
Personal data policy
More
English (en)
English (en)
Italiano (it)
You are currently using guest access
Log in
Home
Courses
Collapse
Expand
All courses
Fisica
Ingegneria e Architettura
Matematica e Geoscienze
Scienze Chimiche e Farmaceutiche
Scienze Economiche, Aziendali, Matematiche e Statistiche
Scienze della Vita
Scienze Giuridiche, del Linguaggio, dell`Interpretazione e della Traduzione
Scienze Politiche e Sociali
Studi Umanistici
Universitario Clinico di Scienze mediche, chirurgiche e della salute
E-learning@Units
Centro Linguistico di Ateneo
Sistema Bibliotecario di Ateneo
Amministrazione Centrale
Progetto FlashForward
Corsi in convenzione
PhD - Formazione trasversale
La ricerca all'Università di Trieste
CIRD - Centro Interdipartimentale per la Ricerca Didattica
Teledidattica
Moodle Guides
Servizi Disabili e DSA
Centro per la gestione del percorso universitario e accademico iniziale dei docenti delle scuole secondarie di primo e secondo grado
Support
Collapse
Expand
Moodle Guide for students
Moodle Guide for teachers
Support
Personal data policy
Expand all
Collapse all
Open course index
Open block drawer
Dipartimento di Matematica e Geoscienze
Laurea triennale (DM270)
SM32 - INTELLIGENZA ARTIFICIALE E DATA ANALYTICS
A.A. 2021 - 2022
267SM - COMPUTABILITÀ, COMPLESSITÀ E LOGICA 2021
Logica
Logica
Section outline
Select activity Slide Lezione 1 - Introduzione
Slide Lezione 1 - Introduzione
File
PDF
Select activity Slide Lezione 2 (corretta) - Logica Proposizionale 1
Slide Lezione 2 (corretta) - Logica Proposizionale 1
File
PDF
Select activity Slide Lezione 3 (corretta) - Logica Proposizionale 2
Slide Lezione 3 (corretta) - Logica Proposizionale 2
File
PDF
Select activity Slide Lezione 4 (corretta) - Logica Proposizionale 3
Slide Lezione 4 (corretta) - Logica Proposizionale 3
File
PDF
Select activity Slide Lezione 5 (corretta) - Sistemi Deduttivi
Slide Lezione 5 (corretta) - Sistemi Deduttivi
File
PDF
Select activity Slide Lezione 6 (corretta) - Sistemi Deduttivi 2
Slide Lezione 6 (corretta) - Sistemi Deduttivi 2
File
PDF
Select activity Slice Lezione 7 (corretta) - Thm Correttezza e Completezza
Slice Lezione 7 (corretta) - Thm Correttezza e Completezza
File
PDF
Select activity Slide Lezione 8 (corretta) - Logica dei Predicati
Slide Lezione 8 (corretta) - Logica dei Predicati
File
PDF
Select activity Slide Lezione 9 (corretta) - Logica dei Predicati 2
Slide Lezione 9 (corretta) - Logica dei Predicati 2
File
PDF
Select activity Slide Lezione 10 (corretta) - Calcolo dei predicati
Slide Lezione 10 (corretta) - Calcolo dei predicati
File
PDF
Select activity Slide Lezione 11-12 (corretta) - Metodo di Risoluzione
Slide Lezione 11-12 (corretta) - Metodo di Risoluzione
File
PDF
Select activity Slide Lezione 13-14 Calcolo dei predicati 2
Slide Lezione 13-14 Calcolo dei predicati 2
File
PDF
Select activity Esercizi Deduzione Naturale
Esercizi Deduzione Naturale
File
PDF
