====== Fondamenti di Informatica ======
----
===== News =====
<WRAP center round important 95%>
  * La lezione di domani 13 marzo è cancellata confermo la lezione di mercoledì 14 Marzo.  
</WRAP>

----
===== Informazioni Generali =====
<WRAP box round 95% center>
**Docente**: 
  * [[https://barbarare.wordpress.com/|Barbara Re]] 

**Orario delle Lezioni**:
  * Lunedì, 9 - 11
  * Martedì, 9 - 11

**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)**
  * {{ :didattica:triennale:fondamenti:ay_1617:class1_-_syllabus.pdf |Introduzione al corso}}
  * {{ :didattica:triennale:fondamenti:ay_1617:class2_-_introduzione.pdf |Introduzione alla teoria della computabilità}}
  * {{ :didattica:triennale:fondamenti:ay_1617:class3_-_stringhelinguaggi.pdf |Alfabeti, stringhe e linguaggi}}
  * {{ :didattica:triennale:fondamenti:ay_1617:class4_a_-_linguaggiformali.pdf |Espressioni Regolari}}
  * {{ :didattica:triennale:fondamenti:ay_1617:class4_b_-_grammatiche.pdf |Grammatiche}}
  * {{ :didattica:triennale:fondamenti:ay_1617:class5_-_grammatiche_esercizi_.pdf |Esercizi con le Grammatiche}}
  * Automi  {{ :didattica:triennale:fondamenti:ay_1617:class6_-_automi.pdf | parte1}} {{ :didattica:triennale:fondamenti:ay_1617:class7_-_automi_parte_ii_.pdf |parte II}} {{ :didattica:triennale:fondamenti:ay_1617:class8_-_automi_esercizi_.pdf | Esercizi}}
  * {{ :didattica:triennale:fondamenti:ay_1617:class10_-_asfd-asfnd.pdf |ASFD e ASFND}} 
  * {{ :didattica:triennale:fondamenti:ay_1617:class11_-_macchinedituring.pdf |Macchine di Turing}} {{ :didattica:triennale:fondamenti:ay_1617:class12_-_macchinedituring_esercizi_.pdf |Esercizi}}
  * {{ :didattica:triennale:fondamenti:ay_1617:class13_-_problemi_senza_soluzioni.pdf |Problemi senza soluzioni}}
  * {{ :didattica:triennale:fondamenti:ay_1617:class14_-_funzioniricorsive.pdf |Funzioni Ricorsive}}  
  * {{ :didattica:triennale:fondamenti:ay_1617:class15_-_linguaggiowhile.pdf |Linguaggio WHILE: Sintassi e Semantica }} 
  * {{ :didattica:triennale:fondamenti:ay_1617:esame_-_simulazione.docx |Simulazione prova d’esame}} {{ :didattica:triennale:fondamenti:ay_1617:class16_-_simulazione_esame.pdf |SLIDE}}

Slide anno accademico precedente [{{ :didattica:triennale:fondamenti:ay_1617: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>
----
{{ :didattica:triennale:fondamenti:ay_1617:2017_-_3._compito_settembre_risultati_.pdf |}}
===== Esami =====
<WRAP box round center 95%>
**Date Esami A.A. 2015/2016 (Maggiori Dettagli al Seguente Link - https://didattica.unicam.it/Home.do)**

  * 22/06/2017 17:00
  * 06/07/2017 09:00
  * 20/07/2017 09:00
  * 08/09/2017 11:30  
  * 28/09/2017 11:30 
  * 30/01/2018 11:30 
  * 13/02/2018 11:30 

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


** Risultati Esame **
  *  22/06/2017 - {{ :didattica:triennale:fondamenti:ay_1617:2017_-_1._compito_giugno_risultati_.pdf |Esito}}
  * 06/07/2017 - {{ :didattica:triennale:fondamenti:ay_1617:2017_-_2._compito_luglio_risultati_.pdf |Esito}}
  * 20/07/2017 - {{ :didattica:triennale:fondamenti:ay_1617:2017_-_3._compito_luglio_-_secondo_risultati_.pdf |Esito}}
  * 08/09/2017 - {{ :didattica:triennale:fondamenti:ay_1617:2017_-_3._compito_settembre_risultati_11.pdf |Esito}}
  * 28/09/2017 - {{ :didattica:triennale:fondamenti:ay_1617:esame.pdf |Esito}}
</WRAP>