- Oggetto:
- Oggetto:
Logica Matematica Complementi - Non attivato nell'a.a. 2007/08
- Oggetto:
Anno accademico 2007/2008
- Codice dell'attività didattica
- M8552
- Corso di studi
- Laurea in Matematica
- Anno
- 3° anno
- Tipologia
- A scelta dello studente
- Crediti/Valenza
- 2
- SSD dell'attività didattica
- MAT/01 - logica matematica
- 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: