CODICE 86755 ANNO ACCADEMICO 2016/2017 CFU 9 cfu anno 2 INGEGNERIA INFORMATICA 8719 (L-8) - SETTORE SCIENTIFICO DISCIPLINARE ING-INF/05 SEDE 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 MARCO MARATEA Commissione d'esame MARCO MARATEA (Presidente) MASSIMO NARIZZANO (Presidente) ALESSIO MERLO ESAMI MODALITA' D'ESAME Scritto Calendario appelli Data appello Orario Luogo Tipologia Note 31/05/2017 09:00 GENOVA Scritto 11/07/2017 09:00 GENOVA Scritto 15/09/2017 09:00 GENOVA Scritto
