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
Domande Orale Levi
Torna a “[LPP] Logica per la programmazione”
Vai a
- Generale
- ↳ Discussioni
- ↳ Discussions (in english)
- ↳ I rappresentanti rispondono
- ↳ Parliamone
- ↳ Mercatino
- ↳ Tirocini
- ↳ Annunci
- ↳ Announcements (in english)
- ↳ Eventi
- I anno
- ↳ Algebra Lineare
- ↳ Analisi Matematica
- ↳ Fondamenti dell'Informatica
- ↳ Laboratorio I
- ↳ Programmazione e Algoritmica
- II anno
- ↳ Architetture e Sistemi Operativi
- ↳ Calcolo Numerico
- ↳ Calcolo Numerico - Vecchio Ordinamento
- ↳ Laboratorio II
- ↳ Paradigmi di Programmazione
- ↳ Ricerca Operativa
- ↳ Ricerca Operativa - Vecchio Ordinamento
- ↳ Statistica
- ↳ Statistica - Vecchio Ordinamento
- III anno
- ↳ Basi di Dati
- ↳ Basi di Dati - Vecchio Ordinamento
- ↳ Introduzione all'Intelligenza Artificiale
- ↳ Introduzione all'Intelligenza Artificiale - Vecchio Ordinamento
- ↳ Ingegneria del Software
- ↳ Ingegneria del Software - Vecchio Ordinamento
- ↳ Reti e Laboratorio III
- Complementari
- ↳ Algebra
- ↳ Cloud Computing
- ↳ Cloud e Green Computing
- ↳ Computer Grafica
- ↳ Crittografia
- ↳ Elementi di Calcolabilità e Complessità
- ↳ Elementi di Calcolabilità e Complessità - Vecchio Ordinamento
- ↳ Esperienze di programmazione
- ↳ Fisica
- ↳ Fisica - Vecchio Ordinamento
- ↳ Gestione di Reti
- ↳ Green Computing
- ↳ Interazione Uomo-Macchina
- ↳ Laboratorio di Basi di Dati
- ↳ Laboratorio di Web Scraping
- ↳ Sicurezza di Sistemi ICT
- ↳ Sviluppo di Applicazioni Mobili
- ↳ Sviluppo di Applicazioni Web
- ↳ Teoria dell'Informazione
- Vecchio Ordinamento
- ↳ I anno
- ↳ [ALL] Algoritmica e Laboratorio
- ↳ [AM] Analisi matematica
- ↳ [FIS] Fisica
- ↳ [LPP] Logica per la programmazione
- ↳ [MDAL] Matematica discreta e algebra lineare
- ↳ [PRL] Programmazione I e laboratorio
- ↳ II anno
- ↳ [AE] Architettura degli elaboratori
- ↳ [BD] Basi di dati
- ↳ [CPS] Calcolo delle probabilità e statistica
- ↳ [CN] Calcolo numerico
- ↳ [IS] Ingegneria del software
- ↳ [PR2] Programmazione II
- ↳ [RO] Ricerca Operativa
- ↳ [SOL] Sistemi operativi e laboratorio
- ↳ III anno
- ↳ [ECC] Elementi di calcolabili e complessità
- ↳ [PI] Programmazione di interfacce
- ↳ [IIA] Introduzione all'intelligenza artificiale
- ↳ [RCL] Reti di calcolatori e laboratorio
- ↳ Advanced databases
- ↳ Advanced programming
- ↳ Advanced software engineering
- ↳ Algorithm design
- ↳ Algorithm engineering
- ↳ Artificial intelligence fundamentals
- ↳ Bioinformatics
- ↳ Competitive programming and contests
- ↳ Computational mathematics for learning and data analysis
- ↳ Data mining
- ↳ Human language technologies
- ↳ ICT infrastructures
- ↳ ICT risk assessment
- ↳ Information Retrieval
- ↳ Intelligent Systems for pattern recognition
- ↳ Laboratory for innovative software
- ↳ Languages, compilers and interpreters
- ↳ Machine learning
- ↳ Mobile and cyber-physical systems
- ↳ Parallel and distributed systems: paradigms and models
- ↳ Peer to peer systems and blockchains
- ↳ Principles for software composition
- ↳ Smart applications
- ↳ Software validation and verification
- Links
- ↳ HomePage Dipartimento
- ↳ Portale Esami