- Oggetto:
- Oggetto:
LABORATORIO: FONDAMENTI DI INFORMATICA
- Oggetto:
COMPUTING SCIENCE FOUNDATIONS
- Oggetto:
Anno accademico 2019/2020
- Codice dell'attività didattica
- CPS0606
- Docente
- Prof. Luca Console (Titolare dell'insegnamento)
- Corso di studi
- Corso di laurea triennale in Innovazione sociale, comunicazione, nuove tecnologie (Classe L-20)
- Anno
- 3° anno
- 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 dell'informatica.
The aim of the course is to provide an overview of he fundamentals of Computer Science
- Oggetto:
Risultati dell'apprendimento attesi
Competenze percorso di secondo livello a specializzaione informatica
Skills for enteringa. second level curriculum in 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
- Teoria dei linguaggi
- Classi di grammatiche e linguaggi formali
- Automi
- 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
- Cenni sulla nascita dell'Intelligenza Artificiale e problem solving come informatica non algoritmica
- Mathematical logic
- Principles
- Propositional calculus
- First Order Logic
- Inferences and properties of inference systems (completeness, correctness, ..)
- Non standard logics
- Formal languages
- Classes of grammars and languages
- Automata
- Parser, ttranlators, compilers
- LLogcs and program specification
- Proprties, invariants
- Verification of program proprties
- Computability (notes)
- models for computation (Automata, Turing machines, ...)
- Computable and non computable funztions
- Complexity (Notes)
- Measuring compolexity and classes
- Algorithms and complexity in practice
- Principles of Artificial Intelligence (Notes)
- 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:
Note
Rivolgersi al docente a Settembre per l'iscrizone al laboratorio
- Oggetto:
