Studiare
In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.
Piano Didattico
Queste informazioni sono destinate esclusivamente agli studenti e alle studentesse già iscritti a questo corso.Se sei un nuovo studente interessato all'immatricolazione, trovi le informazioni sul percorso di studi alla pagina del corso:
Laurea in Bioinformatica - Immatricolazione dal 2025/2026Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.
1° Anno
| Insegnamenti | Crediti | TAF | SSD |
|---|
2° Anno Attivato nell'A.A. 2017/2018
| Insegnamenti | Crediti | TAF | SSD |
|---|
3° Anno Attivato nell'A.A. 2018/2019
| Insegnamenti | Crediti | TAF | SSD |
|---|
Un insegnamento a sceltaDue insegnamenti a scelta| Insegnamenti | Crediti | TAF | SSD |
|---|
| Insegnamenti | Crediti | TAF | SSD |
|---|
| Insegnamenti | Crediti | TAF | SSD |
|---|
Un insegnamento a sceltaDue insegnamenti a sceltaLegenda | Tipo Attività Formativa (TAF)
TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.
Metodi informazionali (2016/2017)
Codice insegnamento
4S00995
Docenti
Coordinatore
Crediti
6
Lingua di erogazione
Italiano
Settore Scientifico Disciplinare (SSD)
INF/01 - INFORMATICA
Periodo
II sem. dal 1 mar 2017 al 9 giu 2017.
Obiettivi formativi
Il corso intende presentare le strutture discrete fondamentali enfatizzandone il ruolo nella definizione di modelli matematici di rilevanza biologica. Nella prima parte, dopo una introduzione delle strutture discrete basilari, si analizzano i sistemi numerici, le rappresentazioni dei numeri e il principio di induzione strutturale. Quindi si introducono i concetti di base dei linguaggi formali e degli automi e si conclude con lo studio dei principali schemi combinatori.
Programma
Strutture discrete: insiemi, multinsiemi, sequenze, stringhe, operazioni, relazioni, funzioni, variabili, parentesi ed espressioni. Numeri e induzione: sistemi numerici, rappresentazioni di numeri, dimostrazioni per induzione, definizioni e induttive di importanti successioni numeriche. Induzione strutturale su stringhe, alberi e grafi. Cenni ai linguaggi logici del primo ordine (termini, formule ed interpretazioni). Linguaggi, grammatiche e automi: pattern ed espressioni regolari, gerarchia di Chomsky, automi a stati finiti. Automi di calcolo e macchina di Turing. Decidibilita', semidecidibilita' ed indecidibilita'. Elementi di combinatoria: allocazioni e partizioni, coefficienti binomiali e multinomiali. Enumerazione di partizioni e multinsiemi.
| Autore | Titolo | Casa editrice | Anno | ISBN | Note |
|---|---|---|---|---|---|
| Vincenzo Manca | Infobiotics | Springer | 2013 |
Modalità d'esame
Esame scritto ed orale.
Per superare l'esame scritto lo studente deve essere in grado di usare correttamente il formalismo appreso durante il corso descrivendo brevemente le soluzioni ai quesiti posti dal testo di esame.
L'esame orale parte dalla verifica delle soluzioni proposte, in cui lo studente deve giustificare quanto scritto ed eventualmente chiarire i passaggi non chiari. Durante il colloquio verranno posti delle domande specifiche sul programma svolto, intese ad appurare la comprensione dei concetti fondamentali che il corso si prefigge di trasmettere.
Materiale didattico
Manca, V. - Infobiotics. Springer, 2013 (Capitoli 5, 6, 7).
Manca V. - Vademecum all'Esame di Metodi Informazionali (con lista delle definizioni e dei teoremi più 100 esercizi svolti).
