INFORMATICA E COMPUTAZIONE

INFORMATICA E COMPUTAZIONE

_
iten
Codice
86755
ANNO ACCADEMICO
2016/2017
CFU
9 cfu al 2° anno di 8719 INGEGNERIA INFORMATICA (L-8) GENOVA
SETTORE SCIENTIFICO DISCIPLINARE
ING-INF/05
SEDE
GENOVA (INGEGNERIA INFORMATICA )
periodo
2° Semestre

PRESENTAZIONE

OBIETTIVI E CONTENUTI

OBIETTIVI FORMATIVI

Il corso introduce, nella prima parte, concetti relativi a logica proposizionale e induzione. Poi, nella seconda parte, vengono presentati i principali modelli di computazione per l'informatica: Automi, grammatiche, macchine di Turing. Parallemente a questi argomenti è svolta una parte pratica nella quale, dopo una introduzione al linguaggio JAVA, i modelli e le metodologie studiate vengono mostrati attraverso applicazioni.

DOCENTI E COMMISSIONI

Commissione d'esame

MARCO MARATEA (Presidente)

MASSIMO NARIZZANO (Presidente)

ALESSIO MERLO

ESAMI

Modalità d'esame

Scritto