CODICE 86755 ANNO ACCADEMICO 2017/2018 CFU 9 cfu anno 2 INGEGNERIA INFORMATICA 8719 (L-8) - SETTORE SCIENTIFICO DISCIPLINARE ING-INF/05 LINGUA Italiano 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) CARMINE DODARO ALESSIO MERLO ESAMI MODALITA' D'ESAME Scritto Calendario appelli Data appello Orario Luogo Tipologia Note 19/01/2018 09:00 GENOVA Scritto 12/02/2018 09:00 GENOVA Scritto 30/05/2018 09:00 GENOVA Scritto 06/07/2018 09:00 GENOVA Scritto 13/09/2018 09:00 GENOVA Scritto
