Domande Orale Levi

fede08fede08 Posts: 1
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

Comments

  • Elia56Elia56 Posts: 2
    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
  • GabrieleTedeschiGabrieleTedeschi Posts: 1
    edited January 30
    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)
Sign In or Register to comment.