Università Roma Tre

ATTRAVERSO QUESTO INSEGNAMENTO LO STUDENTE POTRÀ ACQUISIRE LE CONOSCENZE SPECIALISTICHE - INDISPENSABILI PER LA RICERCA E PER LE ALTE PROFESSIONALITÀ - RELATIVE AI RISULTATI CHE SONO STATI RAGGIUNTI DALLA RICERCA LOGICA E SONO A FONDAMENTO DELLA INTERAZIONE DELLA LOGICA CON L’INFORMATICA E CON LE ALTRE SCIENZE, E IN PARTICOLARE CON LE SCIENZE DELLA COMUNICAZIONE:
• DIMOSTRABILITÀ E SODDISFACIBILITÀ, TRASFORMAZIONE DELLE DIMOSTRAZIONI.
• TEOREMA DI COMPATTEZZA DELLA LOGICA DEL PRIMO ORDINE.
• TEOREMA DI COMPLETEZZA DELLA LOGICA DEL PRIMO ORDINE.
• TEOREMA DI ELIMINAZIONE DEL TAGLIO PER LA LOGICA DEL PRIMO ORDINE.
• TEOREMA DI INCOMPLETEZZA DELLA LOGICA
• RELAZIONI TRA LOGICA E COMPUTABILITÀ
• RELAZIONI TRA LOGICA E ARITMETICA