- Oggetto:
- Oggetto:
FONDAMENTI TEORICI DELL'INFORMATICA
- Oggetto:
THEORETICAL FOUNDATIONS OF COMPUTER SCIENCE
- Oggetto:
Anno accademico 2025/2026
- Codice attività didattica
- CPS0667
- Docente
- Luca Console (Titolare dell'insegnamento)
- Corso di studio
- Corso di laurea triennale in Innovazione sociale, comunicazione, nuove tecnologie (Classe L-20) [0310L31]
- Anno
- 3° anno
- Periodo
- Primo semestre
- Tipologia
- Affine o integrativo
- Crediti/Valenza
- 6
- SSD attività didattica
- INF/01 - informatica
- Erogazione
- Tradizionale
- Lingua
- Italiano
- Frequenza
- Facoltativa
- Tipologia esame
- Orale
- Prerequisiti
- Insegnamenti di informatica del biennio del CDS di Innovazioen Sociale, Comunicazione e Nuove Tecnologie.
- Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
Il corso e’ organizzato in due parti.
L'obiettivo della prima parte del corso e' quello di fornire una panoramica ei fondamenti teorici dell'informatica.
Partendo da basi intuitive di logica, verranno analizzati modelli di computazione che sono alla base della nascita e sviluppo dell'informatica e che ancora oggi sono modelli per sistemi automatici. Verra' inoltre analizzata la teoria dei linguaggi, correlandola con i modelli di calcolo e con le probelmatihe legate alla traduzione di linguaggi di programmazioen ad alto livello.
Partendo poi dal concetti di algoritmo verranno analizzati aspetti quali la calcolabilita', la correttezza e la complessita' degli algoritmi.
La seconda parte e’ dedicata a un approfondimento sull’Intelligenza Artificiale e dell Intelligent Interaction. Dapprima verranno introdotte le basi fondazionali della AI e del machine learning con la speriemntazione su alcuni problemi (recommnder systems e ricoscimento di immagini). Quindi verranno forniti cenni sulla interzione intelligente e su IOT con una piccola sperimentazione utilizzando Arduino
The course is organized into two parts.
The aim of the first part is to provide an overview of the theoretical foundations of Computer Science.
Starting with an intuitive introduction to mathematical logic, the models of computation that form the basis of modern computer science will be introduced and analyzed, showing how they still underpin many automation processes.
We will examine the foundations of formal languages, relate them to computational models, and discuss issues related to the design of compilers and translators for programming languages.
Starting from the concept of an algorithm, we will explore the notions of computability, correctness, and computational complexity.The second part of the course will focus on Artificial Intelligence and intelligent interaction.
We will discuss the foundations of Artificial Intelligence and Machine Learning, with applications to a couple of specific tasks (recommender systems and image recognition).
We will then briefly explore intelligent interaction and the Internet of Things (IoT), including a small practical project using Arduino.- Oggetto:
Risultati dell'apprendimento attesi
Competenze di base di Scienze dell'informazione fondamentali per persorsi successivi in ambito informatico. Introduzione all'Intelligenza Artificiale
Skills for entering second level curricula with a focus on Computer Science. Introduction to Artificial Intelligence
- Oggetto:
Programma
- Fondamenti di logica per `Computer Science
- Modelli di calcolo e Teoria dei linguaggi
- Dagli Automi alla macchina di Turing alle Reti di Petri
- Classi di grammatiche e linguaggi formali
- Parser, traduttori, compilatori ed interpreti
- Cenni di correttezza
- Definizione e verifiche di proprieta’ dei programmi (correttezza)
- Testing
- Cenni di calcolabilita’
- Cenni di complessita’
- Misure e classi di complessita’
- Algoritmi e Complessita’ concreta
- Intelligenza Artificiale
- Nascita ed evoluzione della AI
- dall'analisi dei dati al machine learning
- esempi di pplicazioni: recommnder systems e riconoscimento di immagini
- Intelligent Interaction
- IOT e Arduino
- Basics of Logic for Computer Science
- Models of computation and Formal languages
- From Automata to the Turing Machine to Petri Nets
- Classes of grammars and languages
- Parsers, ttranlators, compilers
- Correctness
- Definition and Verification of program proprties (correctness)
- Testing
- Computability
- Computable and non computable functions
- Complexity
- Measuring complexity and complexity classes
- Algorithms and complexity in practice
- Artificial Intelligence
- History and evolution of AI
- From data analysis to machine learning
- Example applications recommnders shystems and image recognition
- Intelligent Interaction
- IOT e Arduino
- Oggetto:
Modalità di insegnamento
Tradizionale lezioni in aula con materiale distribuito nelle risorse didattica e/o in moodle con qulache attivita' di labratorio
Traditional classes
- Oggetto:
Modalità di verifica dell'apprendimento
Student* frequentanti (verificata): Progetto su una delle parti del corso concordto con il docente
Non frequentanti: orale sul programma del corso (libro e slides)
Libro Informatica Teorica cap da 1 a 5, da 8.1 a 8.3, 9.1, 9.4
Libro Intelligenza artificiale, cap 1,2 12.1, 12.2, 18
Come approfondimento delle slide
Students attending classes: Project on on the parts of the course.
Other students: oral exam
Testi consigliati e bibliografia
- Oggetto:
- Libro
- Titolo:
- Informatica Teorica, Seconda edizione
- Anno pubblicazione:
- 2011
- Editore:
- Città Studi
- Autore:
- Dino Mandrioli, Paola Spoletini
- ISBN
- Obbligatorio:
- No
- Oggetto:
- Libro
- Titolo:
- Artifiial Intelligence: a Modern Approach
- Anno pubblicazione:
- 2020
- Editore:
- Prentice Hall
- Autore:
- S. Russel, P. Norvig
- Obbligatorio:
- No
- Oggetto:
.
Altro materiale distribuito a lezione
(English version of the textbook)
Theoretical Fondations of Computer Science
Authors: D. Mandrioli, C. Ghezzi
Krieger 1993
Other materials will be provided during the course
- Registrazione
- Chiusa
- Apertura registrazione
- 01/09/2025 alle ore 00:00
- Chiusura registrazione
- 01/12/2025 alle ore 00:00
- Oggetto:
