Panoramica
-
Nome EN
La macchina pensante: ragionamento, logica e computazione
-
ECTS EN
3.0
-
Lingue EN
Italienisch
-
Durata EN
1 fb-module-semester
La macchina pensante: ragionamento, logica e computazione
SUPSI Course Overview
Course Text Info
• Forme di ragionamento: deduzione, induzione e abduzione
• Pensieri lenti, veloci e fallacie
• Logica e risoluzione di puzzle
• Logica e ragionamento matematico: il caso della teoria degli insiemi
• Il concetto di algoritmo
• Il pensiero computazionale applicato alla risoluzione di problemi
• Computazione, computabilità e computers
• Limiti del computabile
• Problemi “facili” e problemi “difficili”
• Computazione vs comprensione
• Intelligenza umana, intelligenza artificiale e creatività
• Pensieri lenti, veloci e fallacie
• Logica e risoluzione di puzzle
• Logica e ragionamento matematico: il caso della teoria degli insiemi
• Il concetto di algoritmo
• Il pensiero computazionale applicato alla risoluzione di problemi
• Computazione, computabilità e computers
• Limiti del computabile
• Problemi “facili” e problemi “difficili”
• Computazione vs comprensione
• Intelligenza umana, intelligenza artificiale e creatività
Course Text Info
Course Text Info
Al termine del modulo il/la docente in formazione sarà in grado di:
• Formulare e comprendere le questioni legate alle varie forme di ragionamento e al pensiero computazionale.
• Acquisire sicurezza riguardo alle nozioni di base di ragionamento, deduzione, prova e algoritmo.
• Formulare e comprendere le questioni legate alle varie forme di ragionamento e al pensiero computazionale.
• Acquisire sicurezza riguardo alle nozioni di base di ragionamento, deduzione, prova e algoritmo.
Course FB Modules List
Course Text Info
SUPSI Course Responsibles
Alessandro Facchini
Professore associato in epistemologia, logica e etica dell'intelligenza artificiale / Co-Responsabile corso di laurea in Data Science and Artificial Intelligence - Dipartimento tecnologie innovative
Alberto Termine
Ricercatore con Ph.D. - Dipartimento tecnologie innovative