Università degli Studi Roma Tre · Filosofia, Comunicazione e Spettacolo · libri consigliati e cosa studiare, a.a. 2026/2027
Introduzione All'Informatica Canale unico
Corso di laurea: Filosofia · Laurea triennale (L-5) · esame facoltativo
Roma Tre · Filosofia, Comunicazione e Spettacolo · 6 CFU · apri nel catalogo
Il docente non ha ancora pubblicato i testi per questo canale.
Bacheca del docente: cosa indica di studiare
slides e dispense a cura del docente disponibili sulla pagina web del corso
Disponibili sulla pagina web del corso
Argomenti del programma: L’informazione e la sua codificazione L’informazione e la sua elaborazione L’informazione e la sua strutturazione L’informazione e i suoi linguaggi di programmazione L’informazione e il futuro dell’informatica Introduzione al linguaggio Python ed al tool NLTK
Roma Tre · Filosofia, Comunicazione e Spettacolo · 6 CFU · apri nel catalogo
Il docente non ha ancora pubblicato i testi per questo canale.
Bacheca del docente: cosa indica di studiare
slides e dispense a cura del docente disponibili sulla pagina web del corso
Disponibili sulla pagina web del corso
Argomenti del programma: L’informazione e la sua codificazione L’informazione e la sua elaborazione L’informazione e la sua strutturazione L’informazione e i suoi linguaggi di programmazione L’informazione e il futuro dell’informatica Introduzione al linguaggio Python ed al tool NLTK
Argomenti del programma: Parte 1: Alcune nozioni preliminari. Relazioni d'ordine e alberi, definizioni induttive, dimostrazioni per induzione, assioma di scelta e lemma di Kőnig. Parte 2: Dimostrabilità e soddisfacibilità Linguaggio formale del primo ordine: alfabeto, termini , formule, sequenti.
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.
Teorie Logiche 1 - Lm Canale unico
Corso di laurea: Scienze filosofiche · Laurea magistrale (LM-78) · esame facoltativo
Roma Tre · Filosofia, Comunicazione e Spettacolo · 6 CFU · apri nel catalogo
Il docente non ha ancora pubblicato i testi per questo canale.
Bacheca del docente: cosa indica di studiare
Libri, aricoli, APPUNTI E SLIDES DISPONIBILI SULLA PAGINA WEB DEL CORSO
Argomenti del programma: Dimostrazioni (Sequent Proofs) *************************************** Deduzione Naturale (ND) Il Calcolo dei Sequenti per la Logica Intuizionista (LJ) e Logica Classia (LK) L'eliminazione dei Tagli per LJ ed LK Il calcolo dei sequenti della Logica Lineare (LL) Il teorema di Eliminazione dei Tagli per LL Il Teorema di Focalizzazione delle dimostrazioni di LL Reti dimostrative (Proof Nets)…
Argomenti del programma: Parte 1: Alcune nozioni preliminari. Relazioni d'ordine e alberi, definizioni induttive, dimostrazioni per induzione, assioma di scelta e lemma di Kőnig. Parte 2: Dimostrabilità e soddisfacibilità Linguaggio formale del primo ordine: alfabeto, termini , formule, sequenti.
Il docente non ha ancora pubblicato i testi per questo canale.
Bacheca del docente: cosa indica di studiare
Libri, aricoli, APPUNTI E SLIDES DISPONIBILI SULLA PAGINA WEB DEL CORSO
Argomenti del programma: Dimostrazioni (Sequent Proofs) *************************************** Deduzione Naturale (ND) Il Calcolo dei Sequenti per la Logica Intuizionista (LJ) e Logica Classia (LK) L'eliminazione dei Tagli per LJ ed LK Il calcolo dei sequenti della Logica Lineare (LL) Il teorema di Eliminazione dei Tagli per LL Il Teorema di Focalizzazione delle dimostrazioni di LL Reti dimostrative (Proof Nets)…
Argomenti del programma: Parte 1: Alcune nozioni preliminari. Relazioni d'ordine e alberi, definizioni induttive, dimostrazioni per induzione, assioma di scelta e lemma di Kőnig. Parte 2: Dimostrabilità e soddisfacibilità Linguaggio formale del primo ordine: alfabeto, termini , formule, sequenti.
Il docente non ha ancora pubblicato i testi per questo canale.
Bacheca del docente: cosa indica di studiare
Libri, aricoli, APPUNTI E SLIDES DISPONIBILI SULLA PAGINA WEB DEL CORSO
Argomenti del programma: Dimostrazioni (Sequent Proofs) *************************************** Deduzione Naturale (ND) Il Calcolo dei Sequenti per la Logica Intuizionista (LJ) e Logica Classia (LK) L'eliminazione dei Tagli per LJ ed LK Il calcolo dei sequenti della Logica Lineare (LL) Il teorema di Eliminazione dei Tagli per LL Il Teorema di Focalizzazione delle dimostrazioni di LL Reti dimostrative (Proof Nets)…
Il docente non ha ancora pubblicato i testi per questo canale.
Bacheca del docente: cosa indica di studiare
slides e dispense a cura del docente disponibili sulla pagina web del corso
Disponibili sulla pagina web del corso
Argomenti del programma: L’informazione e la sua codificazione L’informazione e la sua elaborazione L’informazione e la sua strutturazione L’informazione e i suoi linguaggi di programmazione L’informazione e il futuro dell’informatica Introduzione al linguaggio Python ed al tool NLTK
Il docente non ha ancora pubblicato i testi per questo canale.
Bacheca del docente: cosa indica di studiare
slides e dispense a cura del docente disponibili sulla pagina web del corso
Disponibili sulla pagina web del corso
Argomenti del programma: L’informazione e la sua codificazione L’informazione e la sua elaborazione L’informazione e la sua strutturazione L’informazione e i suoi linguaggi di programmazione L’informazione e il futuro dell’informatica Introduzione al linguaggio Python ed al tool NLTK
Libri Universitari