- Oggetto:
- Oggetto:
LABORATORIO: FONDAMENTI DI INFORMATICA (NON ATTIVO 2021/22)
- Oggetto:
COMPUTING SCIENCE FOUNDATIONS (NON ATTIVO 2021/22)
- Oggetto:
Anno accademico 2021/2022
- Codice dell'attività didattica
- CPS0606
- Corso di studi
- Corso di laurea triennale in Innovazione sociale, comunicazione, nuove tecnologie (Classe L-20)
- Anno
- 3° anno
- Periodo didattico
- Da definire
- Tipologia
- Altre attività
- Crediti/Valenza
- 6
- SSD dell'attività didattica
- INF/01 - informatica
- Modalità di erogazione
- Tradizionale
- Lingua di insegnamento
- Italiano
- Modalità di frequenza
- Obbligatoria
- Tipologia d'esame
- Orale
- Prerequisiti
- - Informatica e Reti
- Sviluppo Sw di Applicazioni Informatiche
- Gestioen e Condivisioen di dati e conoscenza
- Programmazioen Object oriented e Java (Introduzione a Future Internet) - Propedeutico a
- Specializzazione in ambito informatico
- Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
L'obiettivo del corso e' quello di fornire una panoramica ei fondamenti teorici dell'informatica.
Verranno analizzati modelli di computazione che sono alla base della nascita e sviluppo dell'informatica e che ancora oggi sono modelli per sistemi automatici.
partendo poi dal concetti di algoritmo verranno analizzati aspetti quali la calcolabilita', la correttezza e la complessita' degli algoritmi.
Questo presupporra' l'introduzione di basi di logica.
Verra' inoltre analizzata la teoria dei linguaggi, correlandola con i modelli di calscolo e con le probelmaticeh legate alla comprensione e traduzione di linguaggi di programmazioen ad alto livello e (accennato) al linguaggio naturale.
Verranno infine introdotti le basi fondazionali della Intelligenza Artificiale
The aim of the course is to provide an overview of he Theoretical foundations of Computer
The models of computation which are teh bases of modern computer science will be introduced and analyzed, showing how they are still teh bases of many automation processes.
Mving from teh concept of algorithm we will analyse the notions on computability, correctenedd and computaional complexity.
These topics will require an introduction to mathematical logic.
We will analyse the foundation of formal languages, rekating them to teh computation models and discussing problems related to the design of compilers and translators for programming and natural languages.
Finally we will discuss the foundations of Artificial Intelligence.
Science
- Oggetto:
Risultati dell'apprendimento attesi
Competenze di base per percorsi informatici successivi alla laurea triennale
Skills for entering second level curricula with a focus on Computer Science
- Oggetto:
Modalità di insegnamento
Seminariale
Seminars
- Oggetto:
Modalità di verifica dell'apprendimento
Discussione degli argomenti trattati
Discussion of the topics of teh course
- Oggetto:
Programma
Programma di massima:
- Logica
- Fondamenti
- Calcolo proposizionale
- Logica Primo ordine
- Inferenza e Concetti di correttezza, completezza, …
- Logiche non standard
- Modelli di calcolo e Teoria dei linguaggi
- Automi
- Classi di grammatiche e linguaggi formali
- Parser, traduttori, compilatori ed interpreti
- Logica e specifica dei programmi
- Proprieta’, invarianti
- Verifiche di proprieta’ dei programmi
- Cenni di calcolabilita’
- Modelli di calcolo (Automi, macchine Turing, …)
- Funzioni calcolabili e non calcolabili
- Cenni di complessita’
- Misure di complessita’
- Algoritmi e Complessita’ concreta
- Algoritmi su strutture dati ricorsive: liste, alberi, grafi
- Mathematical logic
- Principles
- Propositional calculus
- First Order Logic
- Inferences and properties of inference systems (completeness, correctness, ..)
- Non standard logics
- Models of computation and Formal languages
- Automata
- Classes of grammars and languages
- Parser, ttranlators, compilers
- Logics and program specification
- Proprties, invariants
- Verification of program proprties
- Computability
- models for computation (Automata, Turing machines, ...)
- Computable and non computable funztions
- Complexity
- Measuring compolexity and classes
- Algorithms and complexity in practice
- Algorithms on recrise data structure: linked lists, trees, graphs
- Logica
Testi consigliati e bibliografia
- Oggetto:
Informatica Teorica, Seconda edizione
Autore: D. Mandrioli, P. Spoletini:
Casa editrice: CittàStudiEdizioni 2011Altro materiale distribuito a lezione
- Oggetto: