Antonino Salibra
Full Professor of Computer Science,
Università
Ca' Foscari di Venezia.
Dipartimento
di Informatica
Via Torino 155, 30172 Venezia Mestre - Italy
Tel:
+39 0412348417
Fax:
+39 0412348419
Email:
salibra at dsi.unive.it
CV Francese
CV Inglese
(Marzo 2009)
Papers
Program Committee of Computer Science Logic (
CSL2008
), Bologna-Bertinoro, Italy, September 15-20, 2008
Didattica
Programma Logica 2009/10 (11 novembre)
Programma Matematica Discreta parte I 2009/10
e
Esercizi-Combinatoria
e
Esercizi1
e
Esercizi2
e
Esercizi3
e
Esercizi4
e
Esercizi5
e
Esercizi6
e
Esercizi7
Risultati Mat. Discreta e Strutture Dis. Gennaio-2010
e
Soluzione Mat. Discr. e Strutture Discrete
Risultati Compitino Logica Dicembre-2009
Risultati Mat. Discreta e Strutture Dis. Settembre-2009
e
Soluzione Compito Strutture Discrete e Mat. Discr.(seconda parte)
;
Soluzione Mat. Discr.(prima parte)
Risultati Logica Settembre-2009
Risultati Logica 2-07-2009
e
Testo Compito Logica
Risultati Matematica Discreta e annessi 2-07-2009
e
Soluzione Compito Matematica Discreta parte I
, e
Soluzione Strutture Discrete
e
Soluzione altri esercizi parte II
Risultati Matematica Discreta e annessi 22-06-2009
e
Soluzione Compito Matematica Discreta parte I
e
Soluzione altri esercizi parte II
Compito Logica 9-06-2009
e
Soluzione Compito Logica
e
Risultati Compito Logica 9-06-2009
Compitino Matematica Discreta 12-02-2009
e
Soluzione Compitino Matematica Discreta
e
Risultati Compitino Matematica Discreta Parte I
Compito Logica 11-02-2009
e
Soluzione Compito Logica
e
Risultati Compito Logica 11-02-2009
Compito Logica 20-01-2009
e
Soluzione Compito Logica 20-01-2009
Calcolabilita' 3-09-2007
Calcolabilita' 6-07-2007
Architettura A 5-07-2007
Architettura A 22-06-2007
Computabilita' 20-02-2007
Testo del compito
Computabilita' 30-01-2007
Architettura 19-02-2007 compito A
Registrazione giovedi' 22 febbraio ore 14 aula C
Testo del compito A
Architettura 19-02-2007 compito B
Registrazione giovedi' 22 febbraio ore 14 aula C
Testo del compito B
Architettura 29-01-2007 compito A
Registrazione venerdi' 2 febbraio ore 15.30
Architettura 29-01-2007 compito B
Registrazione venerdi' 2 febbraio ore 15.30
Computabilita' 19-12-2006
Architettura A 13 settembre 2006
Computabilita' 14 settembre 2006
Architettura A 29 giugno 2006
Architettura A 8 giugno 2006
Computabilita' 6 giugno 2006
Computabilita' 7 Febbraio 2006
Architettura A 7 Febbraio 2006
Computabilita' 11 Gennaio 2006
Architettura A 11 Gennaio 2006
Computabilita' 15 Dicembre 2005
Computabilita' 15 novembre 2005
Architettura A 5-9-05
Computabilita' 5-9-05
Architettura A 7-2-05
Architettura A 6-6-05
Architettura A 11-7-05
