UniBo's logo
home
contact
teaching
publications
talks
 
Privacy policy
Università di Bologna
Dipartimento di Informatica — Scienza e Ingegneria
 
Simone Martini
Programma ufficiale del corso.

Il corso di Informatica del Corso di Laurea in Matematica è composto dal corso principale (tenuto dal Prof. Simone Martini), coordinato con un corso di laboratorio, assistito da Michael Lodi e Matteo Candita.

Per gli studenti di Filosofia: il corso è mutuato dal CdL in Matematica e si tiene al secondo semestre (a partire dal 22 febbraio 2017). Gli orari saranno pubblicati sulla pagina: http://cdl.dm.unibo.it/8010/orari. Siccome il corso è mutuato per 6 crediti (mentre è 8 crediti per Matematica), l'esame per gli studenti di Filosofia non comprende il progetto (ma gli studenti sono benvenuti a laboratorio).

Libro di testo:

Copertina
Allen B. Downey
Think Python: How to Think Like a Computer Scientist.
O'Reilly Media, 2012. ISBN 978-1449330729.
FreeBook: oltre alla forma cartacea, è distribuito on-line gratuitamente: PDF; HTML.
Una traduzione italiana di una vecchia edizione: HTML; PDF.

Il sito ufficiale di Python: www.python.org
Scaricare ed installare Python 3 (o Python 2.7 se non riuscite a far funzionare la versione 3): downloads

Un ottimo interprete interattivo: pythontutor.com, che permette di visualizzare l'esecuzione sulla macchina Python, con l'evoluzione dello stato.

Dispense

Le note che vengono rese disponibili qui sono perennemente in divenire e preliminari. Vengono aggiornate senza preavviso: ogni pagina riporta in alto la data di aggiornamento (dell'intero documento, non della pagina). Non è permessa la duplicazione delle note, che sono per l'esclusivo uso degli studenti del corso di Informatica per il CdL in Matematica.

Sono sollecitati commenti e correzioni.

Versione del (18/3/2013): La macchina Python; alcuni costrutti principali; rappresentazione informazione.

Trasparenze di alcune lezioni:

Introduzione al corso: Cos'è l'informatica? Perché informatica a Matematica?
Interpreti, compilatori, macchina di Von Neumann.
Rappresentazione dell'informazione: complemento a due; virgola mobile; ASCII; Unicode.
Convertire in binario: funzioni Python viste a lezione per binario assoluto, modulo e segno e complemento a due.
Problemi indecidibili.

Modalità d'esame:

L'esame è costituito da due parti:
  1. la redazione individuale di un progetto, da consegnare prima di sedere allo scritto;
  2. una prova scritta (2 ore, non è consentita la consultazione di appunti o testi), sugli argomenti del corso principale (Martini) e del modulo integrativo (Bresolin).
Il testo del progetto è unico per tutto l'anno accademico ed è reso pubblico entro il mese di aprile. I progetti vanno consegnati entro scadenze fissate alcuni giorni precedenti la prova scritta che si vuole sostenere.

Condizione necessaria e sufficiente per la verbalizzazione dell'esame è aver superato lo scritto con una prova sufficiente (voto >= 18/30) e aver consegnato un progetto sufficiente. Ad un progetto sufficiente viene assegnato un voto tra 0 e 5, che viene sommato al voto dello scritto per determinare il voto finale in trentesimi. Un progetto insufficiente deve essere ripresentato: sarà corretto e valutato insieme ai progetti della scadenza successiva. Non si può rifiutare il voto assegnato al progetto.

Per gli studenti di scienze filosofiche (per i quali l'esame è di sei crediti): l'esame non comprende il progetto.

Testi d'esame:

qui.
Una lista dei comandi/funzioni/metodi Python ammessi durante l'esame scritto.

Risultati esami scritti:

qui. (Necessari opportuni username e password comunicati dal docente).

Laboratorio:

Vedere la pagina relativa, gestita dal dott. Michael Lodi: qui.

Calendario del laboratorio (2016-2017): in linea di massima, c'è laboratorio tutti i venerdì, più il mercoledì a settimane alterne (quando non c'è laboratorio, si tiene lezione regolare).
Ecco un calendario di tentativo: ven 24/2; mer 1/3; ven 3/3; mer 15/3; ven 17/3; mer 22/3; ven 24/3; mer 29/3; mer 5/4; ven 7/4; mer 12/4; ven 21/4; ven 28/4; mer 10/5; ven 12/5.

Progetto (a.a. 2016-2017):

Parte integrante dell'esame è la redazione individuale di un progetto, descritto più in dettaglio nella pagina ad esso dedicata.

Mailing list del corso

Iscriversi collegandosi a www.dsa.unibo.it con le proprie credenziali d'ateneo, cliccando su "Liste docenti-studenti" nel menù a sinistra e selezionando la lista "simone.martini.informatica_matematica" con la password "cremona" (tutta minuscolo).