Didattica
Anno Accademico 2011/12
Elementi di Informatica (Astronomia)
Elementi di C++ per gli studenti del CdL in Astronomia.
Anno Accademico 2010/11
Esercitazioni di Linguaggi
Istruzioni per la consegna delle esercitazioni:
- salvate lo script (menu File, Save as...) con il nome
linguaggi_Account.ma, dove Account è l'account di uno dei membri del
vostro gruppo (ad esempio Mario Rossi, il cui
account è mrossi, deve salvare il file con il nome linguaggi_mrossi.ma)
- spedite il file all'indirizzo
ricciott AT cs.unibo.it
specificando nell'oggetto dell'email:
"[linguaggi] consegna esercitazione"
- mandatevi il file via email oppure stampatelo. Per stampare potete usare
usare l'editor gedit che offre la funzionalità di stampa
Testi delle esercitazioni da utilizzare in laboratorio (Matita v.0.5.6):
9/3/11: FBF e sostituzioni:
(script)
(doc)
16/3/11: Teorema di espansione di Shannon:
(script)
(doc)
23/3/11: Teorema di dualità:
(script)
(doc)
30/3/11: Deduzione semantica e liste:
(script)
(doc)
6/4/11: Deduzione naturale 1:
(script)
(doc)
13/4/11: Deduzione naturale 2:
(script)
(doc)
20/4/11: Deduzione naturale (primo ordine):
(script)
(doc)
27/4/11: Deduzione naturale (aritmetica di Peano):
(script)
(doc)
Gli script precedenti sono compatibili con la versione di Matita installata
nelle macchine dei laboratori. Se intendete provare gli script sui vostri
computer, avendo installato una versione di Matita diversa (come la 0.5.8),
potrebbero non funzionare: in tal caso, provate con le seguenti versioni non
ufficiali:
9/3/11: FBF e sostituzioni:
(script compatibile)
16/3/11: Teorema di espansione di Shannon:
(script compatibile)
23/3/11: Teorema di dualità:
(script compatibile)
30/3/11: Deduzione semantica e liste:
(script compatibile)
6/4/11: Deduzione naturale 1:
(script compatibile)
(doc)
13/4/11: Deduzione naturale 2:
(script compatibile)
(doc)
20/4/11: Deduzione naturale (primo ordine):
(script compatibile)
(doc)
27/4/11: Deduzione naturale (aritmetica di Peano):
(script)
Esercitazioni di Informatica Teorica
In questa sezione verranno pubblicati i sorgenti di alcuni esperimenti in
linguaggio Caml visti nel corso di informatica teorica.
- primrec.tar.gz v.0.2: implementazione
delle funzioni primitive ricorsive (shallow embedding e deep embedding)
- sysT.tar.gz v.0.1: implementazione del
sistema T di Goedel
- tm.tar.gz v.0.1: implementazione delle macchine
di Turing
- dtm.tar.gz v.0.1: implementazione delle
macchine di Turing "dirette" e definizione di una macchina
universale
|
