Tecniche Informatiche di analisi di dati biologici

Informazioni sul corso

Tecniche informatiche di analisi di dati biologici è un insegnamento del terzo anno del Corso di Studi in Scienze e Tecnologie Biologiche dell'Università della Calabria. L'insegnamento si propone di sviluppare capacità logiche ed algoritmiche nella risoluzione di problemi logici e computazionali, capacità di analisi dei problemi informatici, di uso delle principali tecniche informatiche per l’analisi dei dati, di analisi di problemi complessi attraverso tecniche di intelligenza artificiale basate sulla logica. L'insegnamento è di 6 ECTS, di cui 5 di teoria (40 ore) e 1 di esercitazione (12 ore).

Docente: Giovanni Amendola

• Orario di ricevimento: su appuntamento

• Contatti: Dipartimento di Matematica e Informatica, Università della Calabria, 87036 Rende (CS) - Ufficio: cubo 31B, piano 4

• email: giovanni.amendola@unical.it

• sito: https://www.mat.unical.it/~amendola/

Testi proposti

Libri di riferimento

• P. Atzeni, S. Ceri, P. Fraternali, S. Paraboschi, R. Torlone, Basi di Dati, McGraw-Hill Education, 2018.

• L. Carlucci Aiello, F. Pirri, Strutture,  logica, linguaggi, Pearson Italia, 2018.

Libri consigliati

• A. Chianese, V. Moscato, A. Picariello, L. Sansone, Sistemi di basi di dati e applicazioni, Maggioli, 2015.

Calendario delle lezioni (A.A. 2023/2024)

Le lezioni si svolgeranno tra il 26 Febbraio e l'8 Giugno 2024

Il link per accedere al Team del corso è il seguente:

https://teams.microsoft.com/l/team/19%3a5jHvkg6Mokou6BYZOi5l902DP87V8p8AxzlZIcdMB6Y1%40thread.tacv2/conversations?groupId=e758d7fc-7fa4-4528-880d-b8a5c6b8e214&tenantId=7519d0cd-2106-47d9-adcb-320023abff57

Argomenti delle Lezioni

• Lezione 01: INTRODUZIONE 

• Lezione 02: LOGICA MATEMATICA: Logica proposizionale

• Lezione 03: LOGICA MATEMATICA: Logica dei predicati

• Lezione 04: BASI DI DATI: Modello logico-relazionale

• Lezione 05: BASI DI DATI: Modello logico-relazionale

• Lezione 06: BASI DI DATI: Modello concettuale entità-relazione

• Lezione 07: BASI DI DATI: Modello concettuale entità-relazione

• Lezione 08: BASI DI DATI: Traduzione da ER a schema relazionale

• Lezione 09: BASI DI DATI: Traduzione da ER a schema relazionale

• Lezione 10: LOGICHE PER L'INTERROGAZIONE: Algebra Relazionale

• Lezione 11: LOGICHE PER L'INTERROGAZIONE: Calcolo Relazionale

• Lezione 12: LOGICHE PER L'INTERROGAZIONE: SQL

• Lezione 13: LOGICHE PER L'INTERROGAZIONE: SQL

• Lezione 14: LOGICHE PER L'INTERROGAZIONE: DATALOG