Libri UniversitariApri il catalogo

Teoremi Sulla Logica, 2 – prof. Lorenzo Tortora De Falco

Scienze filosofiche · Università degli Studi Roma Tre · esame facoltativo · 6 CFU · canale unico

Testi d'esame di Teoremi Sulla Logica, 2 del prof. Lorenzo Tortora De Falco, canale unico, corso di laurea in Scienze filosofiche (Laurea magistrale (LM-78)), Università degli Studi Roma Tre, esame facoltativo · 6 CFU, a.a. 2026/2027. Libri adottati: Abrusci – Teoria assiomatica degli insiemi.

Teoremi Sulla Logica, 2 – Prof. Lorenzo Tortora De Falco Canale unico

Il docente consiglia di frequentare

Corso di laurea: Scienze filosofiche · Laurea magistrale (LM-78) · esame facoltativo · 6 CFU

Roma Tre · Filosofia, Comunicazione e Spettacolo · 6 CFU · apri nel catalogo

Testi

Abrusci – Teoria assiomatica degli insiemiVai su Amazon ›Verificato sulla scheda ufficiale il 30/09/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Logica ed Aritmetica: l'incompletezza Parte 1: Decidibilità e risultati fondamentali di teoria della ricorsività. Funzioni ricorsive primitive e funzioni elementari: definizioni ed esempi, codifica elementare delle successioni finite di interi, caratterizzazione alternativa dell’insieme delle funzioni elementari. La funzione di Ackermann e le funzioni (parziali) ricorsive.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Altre materie del prof. Falco

Altri esami del 1º anno – Scienze filosofiche

Vedi anche: Prof. Lorenzo Tortora De Falco · Teoremi Sulla Logica, 2 a Roma Tre (tutti i canali)