Programma del corso di Fondamenti
Programma del corso di Fondamenti
Programma del corso di Fondamenti
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Fondamenti</strong> <strong>del</strong>l’informatica<br />
Anno Accademico 2007/08<br />
Rosario Culmone<br />
- p. 1/
Titolare <strong>del</strong> <strong>corso</strong><br />
Titolo <strong>Fondamenti</strong> <strong>del</strong>l’informatica<br />
Lezioni 42 ore <strong>di</strong> lezione frontale<br />
Chi tiene il <strong>corso</strong> Rosario Culmone<br />
Dove Polo <strong>di</strong> Scienze <strong>di</strong> Ascoli Piceno<br />
Posta elettronica rosario.culmone@unicam.it<br />
Quando Dal 6 marzo al 12 giugno 2008<br />
Giorno Ora Aula<br />
Lunedì<br />
Martedì<br />
Mercoledì<br />
Giovedì 9:00-13:00 H<br />
Venerdì<br />
- p. 2/
<strong>Fondamenti</strong> <strong>del</strong>l’informatica<br />
Obiettivi formativi Scopo <strong>del</strong> <strong>corso</strong> è fornire gli elementi <strong>di</strong> base <strong>del</strong>le teorie che<br />
sono <strong>di</strong> fondamento teorico all’informatica, ovvero la teoria <strong>del</strong>la<br />
calcolabilità, quella dei linguaggi formali e quella <strong>del</strong>la complessità.<br />
<strong>Programma</strong> Insiemi numerabili e non numerabili. Macchine <strong>di</strong> Turing e loro<br />
varianti. La macchina <strong>di</strong> Turing universale. Linguaggi non deci<strong>di</strong>bili.<br />
Teorema <strong>del</strong>la ricorsione. Grammatiche, linguaggi e macchine. Classi <strong>di</strong><br />
complessità. La classe P. La classe NP. Oltre NP. Algoritmi <strong>di</strong><br />
approssimazione<br />
La valenza <strong>del</strong> <strong>corso</strong> è <strong>di</strong> 6 Cre<strong>di</strong>ti Formativi Universitari (CFU).<br />
▲ 1 CFU = 25 ore <strong>di</strong> appren<strong>di</strong>mento ripartite in 7 ore <strong>di</strong> lezione frontale e 18<br />
stu<strong>di</strong>o in<strong>di</strong>viduale<br />
▲ Le 7 ore <strong>di</strong> lezione frontale sono ripartite in 4 ore <strong>di</strong> teoria e 3 <strong>di</strong><br />
esercitazione (esercizi)<br />
Non è previsto l’uso <strong>di</strong> calcolatori<br />
- p. 3/
<strong>Fondamenti</strong> <strong>del</strong>l’informatica<br />
▲ Macchina <strong>di</strong> Turing<br />
▲ Macchina <strong>di</strong> Turing multinastro, non deterministica, equivalenza tra le<br />
macchine <strong>di</strong> Turing<br />
▲ Linguaggi formali <strong>di</strong> Chomsky <strong>di</strong> tipo 0, 1, 2, 3<br />
▲ Riconoscitori <strong>di</strong> linguaggi<br />
▲ Funzioni calcolabili secondo Turing<br />
▲ Lambda-calcolo<br />
▲ Caratterizzazione <strong>del</strong>la complessità, classi <strong>di</strong> complessità<br />
▲ P=NP<br />
- p. 4/
Appelli<br />
▲ Sono previsti 1 o 2 appelli tra la fine e l’inizio <strong>di</strong> ogni periodo <strong>di</strong>dattico<br />
▲ Le date sono comunicate su:<br />
● bacheca presso il Polo <strong>di</strong>dattico <strong>di</strong> Scienze<br />
● su https://<strong>di</strong>dattica.unicam.it<br />
● chidendo alla segreteria <strong>di</strong>dattica (Sig.ra Monica Vasta) o al tutor <strong>di</strong>dattico<br />
Dott.ssa Cinzia Lazzari<br />
- p. 5/
Come si sostiene l’esame<br />
Per superare l’esame <strong>di</strong> "<strong>Fondamenti</strong> <strong>di</strong> informatica" bisogna sostenere una<br />
prova orale sugli argomenti trattati nel <strong>corso</strong><br />
- p. 6/
Dispense<br />
Dispense sono <strong>di</strong>sponibili su http://www.cs.unicam.it<br />
- p. 7/
Libri<br />
Titolo Autore E<strong>di</strong>tore ISBN<br />
Teoria <strong>del</strong>la computabilità e Carlo Toffalori, McGraw-Hill 9788838662287<br />
<strong>del</strong>la complessità<br />
Flavio Corra<strong>di</strong>ni,<br />
Stefano Leonesi,<br />
Stefano Mancini<br />
Automi, linguaggi John E. Hopcroft, Ad<strong>di</strong>son 88-7192-154-2<br />
e calcolabilità Rajeev Motwani, Wesley<br />
Jeffrey D. Ullman<br />
- p. 8/
Orario <strong>di</strong> ricevimento<br />
Dove Polo <strong>di</strong> Scienze, Ascoli Piceno<br />
Quando Giovedì dalle 14:00 alle 16:00<br />
- p. 9/
Studenti lavoratori<br />
La frequenza alle lezioni non è obbligatoria ma consigliata.<br />
Il materiale <strong>di</strong>dattico si reputa essere sufficiente ad acquisire conoscenze per<br />
sostenere le prove scritte e per realizzare il progetto assegnato. Tuttavia se si è<br />
impossibilitati a poter seguire le lezioni, è consigliato <strong>di</strong> tenere contatti con<br />
colleghi che frequentano regolarmente le lezioni.<br />
- p. 10/
Studenti <strong>di</strong>sabili<br />
Tutti i testi sono prodotti in formato PDF o ASCII pertanto è possibile utilizzare<br />
strumenti <strong>di</strong> lettura automatica o <strong>di</strong> conversione in braille. In alcune parti <strong>del</strong><br />
programma si utilizzano <strong>di</strong>segni e grafici per illustrare meglio alcuni concetti<br />
(automi, semantica) parti <strong>del</strong> programma. Tuttavia tali <strong>di</strong>segni non sono<br />
in<strong>di</strong>spensabili e sono facilmente sostituibili con equivalente espressività in<br />
forma testuale.<br />
- p. 11/