- Oggetto:
- Oggetto:
Logica Matematica Complementi
- Oggetto:
Anno accademico 2006/2007
- Codice dell'attività didattica
- M8552
- Docente
- Prof. Flavio Previale
- Corso di studi
- Laurea in Matematica
- Anno
- 3° anno
- Tipologia
- A scelta dello studente
- Crediti/Valenza
- 2
- Oggetto:
Sommario insegnamento
- Oggetto:
Programma
Ulteriori conseguenze del teorema di eliminazione della regola di taglio dai sistemi analitici: teoremi di interpolazione di Craig e di definibilità di Beth. Teorema di connessione. Eliminazione delle regole strutturali dai sistemi analitici.
Algoritmi di dimostrazione classica: tavole analitiche e tavole analitiche connesse. Procedure di saturazione e loro completezza. Lemma di unificazione. Confronto del metodo delle tavole analitiche connesse con il metodo della trasformata di Herbrand e alcuni suoi raffinamenti.Testi consigliati e bibliografia
- Oggetto:
- Quaderni curati dal docente
- Oggetto:
