La macchina pensante: ragionamento, logica e computazione
SUPSI Course Overview
Overview
Name
La macchina pensante: ragionamento, logica e computazione
ECTS
3.0
Languages
Italian
Duration
1 semester
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à
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.
Professore associato in epistemologia, logica e etica dell'intelligenza artificiale / Co-Responsabile corso di laurea in Data Science and Artificial Intelligence - Department of Innovative Technologies