| Modulo | Crediti | Settore disciplinare | Periodo | Docenti |
|---|---|---|---|---|
| Teoria | 4 | INF/01-INFORMATICA | 1° Q - solo 1° Anno |
Vincenzo Manca
|
| Laboratorio | 2 | INF/01-INFORMATICA | periodo zero |
Carlo Drioli
|
Modulo: Teoria
-------
Il corso intende presentare le strutture discrete fondamentali enfatizzando il loro ruolo nella definizione di modelli matematici e computazionali di rilevanza biologica. Nella prima parte, dopo una introduzione delle fondamentali strutture discrete, si presentano i concetti di base dei linguaggi formali e degli automi. Quindi si analizzano brevemente i sistemi numerici, il principio di induzione strutturale e i principali schemi combinatori. Infine, si evidenzia la rilevanza biologica delle strutture discrete con vari esempi di modelli biologici.
Modulo: Laboratorio
-------
Il laboratorio integra il corso di Metodi Informazionali proponendo allo studente un approccio di tipo critico all'uso del calcolatore elettronico, con particolare riferimento al S.O. Linux del quale vengono concisamente illustrate l'organizzazione del filesystem e le funzionalità di accesso ai principali servizi di rete.
Modulo: Teoria
-------
Strutture discrete: numeri, insiemi, sequenze, multinsiemi, stringhe, operazioni, alberi e grafi. Linguaggi, automi e grammatiche: pattern lineari ed espressioni regolari, rimpiazzamento e tipi di regole, macchine di calcolo. Numeri e induzione: rappresentazioni di numeri, definizioni induttive di importanti successioni numeriche e induzione strutturale su stringhe, alberi e grafi. Elementi di combinatoria: allocazioni e partizioni, coefficienti binomiali, approssimazione di Strirling, numeri di Stirling, di Bell e di Catalan, allineamenti, ordini di grandezza e ordini asintotici. Aggregati biologici: stringhe bilineari e operazioni DNA, genomi ed alberi evolutivi, trasformazioni di multinsiemi, membrane e protocellule, grafi di reazioni e dinamiche metaboliche, reti neurali e algoritmi evoluzionari, reti biologiche e indici di connettivita'. Metodi e problemi di biologia sintetica.
Modulo: Laboratorio
-------
-Introduzione: architettura dell'elaboratore elettronico e le funzioni del sistema operativo
-Il Sistema Operativo Linux
-Il file system, operazioni su file di testo, i principali editor di testo (vi, emacs, joe)
-La shell e gli script di shell (costrutti di controllo, comandi, esempi vari)
-Le reti di calcolatori: cenni a protocolli, servizi, applicazioni.
-Authoring e composizione di documenti: Latex, sintassi di base ed esempi.
Modulo: Teoria
-------
Esame scritto e orale
Modulo: Laboratorio
-------
Prova scritta contenente quesiti sul programma svolto (integrata con quella del corso di Metodi Informazionali).
| Autore | Titolo | Casa editrice | Anno | ISBN | Note |
| Sciuto D., Buonanno G., Mari L. | Introduzione ai Sistemi Informatici (Edizione 3) | McGraw-Hill | 2005 | 883866269X | |
| Vincenzo Manca | Metodi Informazionali (Edizione 1) | Bollati Boringhieri | 2003 | 8833957152 |
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>
