====== Fondamenti di Informatica ======
----
===== News =====
<WRAP center round important 95%>
  * Martedì 6 Marzo si terrà la prima lezione del corso per l'anno accademico 2017/18
  * Cari studenti, mi scuso ma la lezione di domani è cancellata confermo la lezione di mercoledì 21 Marzo.
</WRAP>

----
===== Informazioni Generali =====
<WRAP box round 95% center>
**Docente**: 
  * [[http://www.cs.unicam.it/corradini/|Flavio Corradini]]

**Link ESSE3**
  * [[https://didattica.unicam.it/Guide/PaginaADErogata.do?ad_er_id=2018*N0*N0*S2*14704*7514&ANNO_ACCADEMICO=2018&mostra_percorsi=S|Fondamenti di Informatica - AA 2018/19]]

**Orario delle Lezioni**:
  * ...
  * ...

**Ricevimento studenti**:
  * Ampia disponibilità previo appuntamento
</WRAP>
----
===== Obiettivi del Corso =====

<WRAP box round 95% center>
  * Comprendere le origini dell'informatica moderna e il concetto di calcolatore
  * Conoscere, confrontare e saper usare i vari approcci alla computabilità



</WRAP>

----
===== Contenuti del Corso =====

<WRAP round 95% center box>
  * La computabilità da Leibniz ai giorni nostri. Il concetto di Algoritmo.
  * Alfabeti, stringhe e linguaggi.  Il ruolo che stringhe e linguaggi hanno per rappresentare l’informazione.
  * Linguaggi. Strumenti per definire un linguaggio. Espressioni Regolari, Approccio Generativo,  Approccio Riconoscitivo. 
  * Calcolabilità e Grammatiche. Grammatiche e automi. La gerarchia di Chomsky. Linguaggi regolari, liberi da contesto, dipendenti dal contesto. 
  * Automi di riconoscimento. Deterministici e Non Deterministici. Trasformazioni.
  * Macchine di Turing. Funzioni calcolabili e linguaggi decidibili secondo Turing. La tesi di Church.  Macchine di Turing non deterministiche. 
  * Problemi senza soluzione.  La macchina Universale. Il problema dell'arresto. Il decimo problema di Hilbert. I teoremi di Rice e di Kleene.
  * Funzioni Ricorsive. Calcolabilità secondo Church. Funzioni parziali ricorsive.
  * Calcolabilità e Linguaggi di Programmazione. Il linguaggio WHILE: sintassi e semantica.

</WRAP>
----
===== Materiale =====
<WRAP box round center 95%>
**Slide del Corso (saranno pubblicate durante lo svolgimento delle lezioni)**
  * Introduzione al corso - {{ :didattica:triennale:fondamenti:ay_1819:class1_-_syllabus.pdf |pdf}}
  * Introduzione alla teoria della computabilità - {{ :didattica:triennale:fondamenti:ay_1819:class2_-_introduzione.pdf |pdf}}
  * Alfabeti, stringhe e linguaggi - {{ :didattica:triennale:fondamenti:ay_1819:class3_-_stringhelinguaggi.pdf |}}
  * Espressioni Regolari - {{ :didattica:triennale:fondamenti:ay_1819:class4_a_-_linguaggiformali.pdf |pdf}}
  * Grammatiche - {{ :didattica:triennale:fondamenti:ay_1819:class4_b_-_grammatiche.pdf |pdf}}
  * Esercizi con le Grammatiche - {{ :didattica:triennale:fondamenti:ay_1819:class5_-_grammatiche_esercizi_.pdf |pdf}}
  * Automi  - {{ :didattica:triennale:fondamenti:ay_1819:class6_-_automi.pdf |pdf}} {{ :didattica:triennale:fondamenti:ay_1819:class8_-_automi_esercizi_.pdf |esercizi}}
  * ASFD e ASFND - {{ :didattica:triennale:fondamenti:ay_1819:class7_-_automi_parte_ii_.pdf |pdf}}
  * Macchine di Turing {{ :didattica:triennale:fondamenti:ay_1819:class11_-_macchinedituring2018.pdf |pdf}} {{ :didattica:triennale:fondamenti:ay_1819:class12_-_macchinedituring_esercizi_.ppt |Esercizi}}
  * Problemi senza soluzioni {{ :didattica:triennale:fondamenti:ay_1819:class13_-_problemi_senza_soluzioni.pdf |pdf}}
  * Funzioni Ricorsive - {{ :didattica:triennale:fondamenti:ay_1819:class14_-_funzioniricorsive.pdf |pdf}}
  * Linguaggio WHILE: Sintassi e Semantica {{ :didattica:triennale:fondamenti:ay_1819:class15_-_linguaggiowhile.ppt |pdf}}
  * Simulazione prova d’esame 

Slide anno accademico precedente [{{ :didattica:triennale:fondamenti:ay_1819:archive.zip |zip file}}]. 

**Testi di Riferimento**
  * F. Corradini, S. Leonesi, S. Mancini, C. Toffalori: Teoria della computabilità e della complessità. McGraw-Hill Italia, 2005. (Capitolo 1 – 6)

</WRAP>
----
 
===== Esami =====
<WRAP box round center 95%>
** Le date di esame sono già disponibili al Seguente Link - https://didattica.unicam.it/Home.do **


**Regole di esame**: 
  * Prova Scritta sugli argomenti del syllabus
  * Domande a Risposta Aperta + Esercizi
  * Durata: 2 h


** Risultati Esame **
  * Esiti prova 05.06.2018 - {{ :didattica:triennale:fondamenti:ay_1819:1.compitogiugno_05.06.18_risultati_.pdf |pdf}}
  * Esiti prova 26.06.2018 - {{ :didattica:triennale:fondamenti:ay_1819:fondamenti26.06.pdf |pdf}}
  * Esiti prova 17.07.2018 - {{ :didattica:triennale:fondamenti:ay_1819:3.compitogiugno_17.07.18_risultati_.pdf |pdf}}
</WRAP>