Elenco delle attività formative istituzionali di secondo livello e programma di ciascun corso.
| Disciplina | Settore | CFU / ECTS | CdS | Anno* | Sem. | Docente |
|---|---|---|---|---|---|---|
| Teoremi sulla logica, 1 | MAT/01 | 6 | Filosofia | L3 | II | Tortora |
| Informatica per l'editoria e il giornalismo | INF/01 | 6 | Informazione, editoria e giornalismo | M1 | II | Pedicini |
| Logica e comunicazione - specialistico | M-FIL/02 | 12 | Teorie della comunicazione | M1 | II | Magrone |
| Disciplina | Settore | CFU / ECTS | CdS | Anno* | Sem. | Docente |
|---|---|---|---|---|---|---|
| * : L = laurea triennale; M = laurea magistrale | ||||||
| Sviluppi dell'informatica e della telematica | INF/01 | 8 | Scienze della comunicazione | L2 | II | Maieli |
Contenuti dei corsi
Teoremi sulla logica, 1
Programma:
- I problemi: dimostrabilità e soddisfacibilità, trasformazione delle dimostrazioni, processi e reti
- Gli strumenti: linguaggio formale e calcolo dei sequenti
- Il teorema di completezza della logica del primo ordine
- Il teorema di compattezza della logica del primo ordine
- Il teorema di eliminazione del taglio per la logica del primo ordine
Informatica per l'editoria e il giornalismo
Programma:
- Background (richiami su algoritmi, linguaggi, sistemi operativi;trattamento automatico dell'informazione, basi di dati, web crawling, algoritmi di ranking e algoritmi di clustering);
- Applicazioni informatiche al giornalismo (data mining: personalizzazione e aggregazione; mashups e l'utilizzo della programmazione nel giornalismo, key study: google news);
- Tematiche professionali (dispositivi computazionali mobili (esempio: reuters kit), sense-making da sorgenti di informazione multiple, approccio computazionale alla qualita' dell'informazione).
Logica e comunicazione - specialistico: Storia della logica e dell'informatica
Programma:
- Temi chiave del processo di meccanizzazione della logica da Leibniz a Turing
- La realizzazione della meccanizzazione e la nascita del calcolatore
- Questioni teoriche sollevate dall’uso e dalla diffusione dei calcolatori
- Interconnessione tra logica e comunicazione nell’ambito delle rispettive ricerche
Pagina web del Corso: http://logica.uniroma3.it/csginfo/
Sviluppi dell'informatica e della telematica
Programma:
Si articola in tre parti principali: le prime due dedicate ai linguaggi e alle metodologie di progetto delle basi di dati; la terza parte dedicata all'interazione fra sistemi informativi e sistemi di comunicazione orientati al Web.
- I Parte: Basi di dati relazionali, modelli e linguaggi. - Sistemi informativi, informazioni e dati; - Il modello relazionale; - Il linguaggio SQL.
- II Parte: Progettazione di base di dati. - Metodologie e modelli per il progetto; - La progettazione concettuale; - La progettazione logica.
- III Parte: Sistemi informativi e World Wide Web - richiamo dei concetti e principi base di Internet e WWW; - progettazione di siti Web centrati sui dati; - tecniche e strumenti per l'accesso alle Basi Dati via Web.
Limitazioni di accesso per questo corso
Solo per gli studenti del II anno di “Comunicazione nella società della globalizzazione”.
Pagina web del Corso: http://logica.uniroma3.it/csginfo/