Orale Levi 2017

Prima controlla come sono andati gli scritti e in base agli errori fatti fa delle domande.

Domande:
- Principio di sostituzione dell'equivalenza, occorrenze positive/negative
- Ipotesi non tautologiche, perché è un metodo di dimostrazione?
- Conseguenza logica

a me ha chiesto solo l'aggiornamento selettivo... che in pratica era l'unico errore che avevo fatto al secondo compitino

Queste sono le domande fatte per l'orale del 15/01/2018
Voto 19
Passaggi di dimostrazione - implicazioni tautologiche
Principio di sostituzione per =>

Voto 22
Dato un alfabeto dire com'è fatta un'interpretazione della logica del primo ordine
Significato di conseguenza logica

Voto 30 e lode
Definizione di conseguenza logica nella logica del primo ordine (per mancata risposta da parte del precedente)

Voto 24
Passaggi di dimostrazione - implicazione e occorrenze

Voto 30
Dato un alfabeto definire la funzione di interpretazione - significato di funzione sul dominio
Data una formula, è possibile valutare il valore della formula qualunque questa sia? (Es. Formule con variabili libere)

Voto 30 e lode
Aggiornamento selettivo
Regola PRE

Voto 23
Ipotesi di invarianza

Voto 23
Assioma Ass-mult - perché è corretta
Regola SEQ

Voto 18
Aggiornamento selettivo

Voto 24
Principio di sostituzione per => Dato un esempio - e occorrenze

Domande fatte all'appello orale del 30/01/18.
purtroppo non so i voti di entrata di tutti, ma di solito la Levi alza sempre il voto, anche a chi va male inizialmente, da 1 a 3 punti in più. Quindi chi ad esempio esce con 21 è probabile sia entrato con 18/19.

Voto entrata 29
Principio di sostituzione per l'implicazione, dimostrazione con ipotesi non tautologiche

Voto uscita 21
Regola d'inferenza per il WHILE, perché sbagliata nel compitino

Voto uscita 22
Assioma ass mul, regola d'inferenza per le sequenze di comandi

Voto entrata 29
Skolemizzazione, conseguenza logica, e cosa vuol dire dimostrare una formula da premesse tautologiche (dimostrare che la formula é valida)

Voto entrata 18
Ipotesi di terminazione e di progresso, variabile di specifica

Voto entrata 27
Interpretazione lpo su un alfabeto, cosa vuol dire conseguenza logica

Voto entrata 30
Interpretazione in Lpo su un alfabeto, come si calcola la semantica di una formula quantificata esistenzialmente(esiste un x tale che f di x)

Domande fatte a me (nessun errore allo scritto) 12/07/18
- Proof system corretto e Proof system completo nel calcolo proposizionale e nella logica del primo ordine
- def. conseguenza logica e premesse con formule valide e ip. non tautologiche