Forum Informatica Unict

LAUREA TRIENNALE (D.M. 270/04) => Fondamenti di Informatica, 9 CFU => Topic started by: Franco Barbanera on 28-11-2018, 11:08:17



Title: Prova in itinere: data, orario, modalita'
Post by: Franco Barbanera on 28-11-2018, 11:08:17
                                      Prova in Itinere FONDAMENTI DI INFORMATICA
                                                        7 Dicembre 2018
                                                             Ore 10:00
                                                           Aule 2, 3 e 4

La prova in itinere consistera' in due insiemi di quesiti
a risposta multipla.
Si avra' a disposizione mezz'ora per completare il primo insieme,
che riguardera', per quanto riguarda la prof. Madonia, automi ed espressioni

regolari;
questo verra' poi ritirato e si avra' a disposizione
un ulteriore mezz'ora per completare il secondo insieme,
che riguardera' quanto fatto finora dal prof. Barbanera.

Non c'e' bisogno di prenotazione.

Possono presentarsi alla prova in itinere anche studenti
degli anni precedenti.

Il superamento della prova in itinere permettera' di essere
esonerati dallo svolgere meta' della prova scritta del normale appello.
Tale meta' si considerera' come svolta e valutata con il voto (se sufficiente)
ottenuto nella prova in itinere.
La prova in itinere si potra' utilizzare solo per gli appelli di Gennaio e

Febbraio.

Sara' possibile sostenere l'intero esame scritto anche se
si fosse superata la prova in itinere.
Lo svolgimento della prima parte dello scritto, in questo caso,
comportera' l'immediata decadenza del voto ottenuto con la prova in itinere.

Un risultato corrispondente ad uno svolgimento della prova
in cui le risposte vengano date in modo casuale (circa il 25% di risposte
corrette) comportera' una penalizzazione nel risultato dello scritto
dell'appello ufficiale.


Title: Re:Prova in itinere: data, orario, modalita'
Post by: Franco Barbanera on 28-11-2018, 13:48:05
Nessuna penalizzazione e' prevista per chi decidesse di non consegnare
la prova in itinere.
Non e' ammesso pero' consegnare una sola delle due parti in cui sara'
divisa la prova in itinere.


Title: Re:Prova in itinere: data, orario, modalita'
Post by: Griever95 on 05-12-2018, 15:22:06
Gentile Prof. Barbanera

Ha elencato gli argomenti trattati dalla Prof.ssa Madonia che saranno presenti nella prova in itinere, ma non รจ altrettanto chiaro quali saranno gli argomenti presenti per quanto riguarda la parte di Logica.

Potrebbe, gentilmente, elencarli per coloro che non hanno potuto frequentare le lezioni?


Title: Re:Prova in itinere: data, orario, modalita'
Post by: Franco Barbanera on 06-12-2018, 09:38:32
Sistemi formali. Regole derivabili ed amissibili. Alcune proprieta' dei sistemi formali. Consistenza.  [SM](Cap.2)
La Logica Proposizionale. Principali definizioni e proprieta'. Teorema di deduzione.  [SM](Sez. 3.1 e 3.2; no proposizioni da 3.2 a 3.12)
Semantica della Logica Proposizionale. Correttezza e completezza.   [SM](Sez. 3.3. Teorema 3.5 con dimostrazione, Enunciati del Teorema 3.6 e del Corollario 3.4. Corollario 3.3 con dimostrazione.)
La Deduzione Naturale per la logica proposizionale.   [FBe] e ([AU](pag.1-11) oppure [AA],

Induzione, induzione completa  e loro utilizzo nelle dimostrazioni di correttezza dei programmi  [VS]

Introduzione alla programmazione funzionale ed al Lambda-calcolo  [FBb]
variabili libere e legate,alfa-equivalenza, sostituzione, beta-riduzione. [FBh],


Title: Re:Prova in itinere: data, orario, modalita'
Post by: Griever95 on 06-12-2018, 12:08:48
Grazie mille, Professore