Pages: [1]   Go Down
Print
Author Topic: Prova in itinere: data, orario, modalita'  (Read 452 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.046



WWW
« 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.
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.046



WWW
« Reply #1 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.
Logged
Griever95
Matricola
*
Offline Offline

Posts: 2


« Reply #2 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?
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.046



WWW
« Reply #3 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],
Logged
Griever95
Matricola
*
Offline Offline

Posts: 2


« Reply #4 on: 06-12-2018, 12:08:48 »

Grazie mille, Professore
Logged
Pages: [1]   Go Up
Print
Jump to: