Salvatore Caporaso
Professor
Theoretical Computer
Science
Presidente
Laurea Specialistica in
Informatica
Department of Computer
Science
Università degli Studi di Bari
|
Salvatore Caporaso Professor
Presidente
Department of Computer
Science |
|
Le prossime lezioni di Sistemi ad agenti (modulo Linux) sono previste nel laboratorio Von Neumann (il giovedi' alle 11)
L'insegnamento di Metodi Formali dell'Informatica per la laurea magistrale si articolera' nel 2008-9 in due moduli
A. Logica matematica, 4CFU, I semestre. Esonero al termine del semestre, intorno al 15 febbraio
B. Teoria della calcolablita' e cultura Unix, 8CFU, II semestre.
Materiale didattico per entrambi sara' scaricabile dalla mia home page.
Gli Studenti che, avendo superato l'esame di Metodi per il Trattamento delle Informazioni della laurea specialistica (8CFU) intendano integrarlo per ottenerne la convalida come Metodi Formali dell'Informatica (12CFU), sono pregati di preparare i contenuti del modulo A e superare l'esonero di cui sopra, alla data di cui sopra oppure in occasione dei successivi appelli d'esame.
Informatica (aggiornato al 03/12/2007) (Laurea Triennale in Matematica a.a.2007-8)
Metodi Per Il Trattamento Delle Informazioni (Laurea Specialistica in Informatica, a.a.2005-6)
Introduzione alla Programmazione in Unix-Bash con Elementi di Teoria della Calcolabilità (Laurea Specialistica in Informatica)
Metodi per il trattamento dell'informazione: Download Script MVux
Metodi Formali dell'Informatica (Laurea in Informatica Vecchio Ordinamento)
Principi di programmazione di sistema (Wiki del corso) (Laurea Specialistica in Informatica, a.a.2007-8)
Metodi formali dell'informatica - modulo A (Laurea magistrale in informatica)
sul diario degli appelli del dipartimento di informatica
Prossimi appelli (tutti gli insegnamenti) prego
vedere
Metodi per il Trattamento delle Informazioni, Laurea Specialistica
Safe Turing Machines,
Grzegorczyk Classes and Polytime Syntactic
Characterization in Lisp of the Polynomial Complexity Classes and
Hierarchy On a Relation Between
Uniform Coding and Problems of the Form DTIME(f)=?DSPACE(f) A Predicative and
Decidable Characterization of the Polynomial Classes of Languages
A Predicative Approach
to the Classification Problem Incompleteness
in Linear Time Extending the
Implicit Computational Complexity Approach to the sub-elementary time-space
classes A decidable
characterization of the classes between lintime and exptime Predicative
recursion, ramified diagonalization and the elementary functions A Predicative Harmonization of the Time and Provable Hierarchies Kleene, Rogers and Rice Theorems Revisited in C and in Bash Feasible ICC C and other ICC C's (slides)
S.
Caporaso, Int. J. Foundations Comp. Sc., vol.7,
no. 3(1996), 241-252.
S. Caporaso, N. Galesi, M. Zito, E.
Covino, LNCS, 1023(1997), 61-73.
S. Caporaso, M. Zito, Acta
Informatica 38:8(1998), 665-672.
S. Caporaso, M. Zito, N. Galesi, Theoretical Computer Science, 250 (2001) 83-99.
S. Caporaso, E. Covino, G. Pani, Journal of Functional Programming,11.1 (2001) 95-116.
S. Caporaso, G. Pani, E. Covino, J. of Univ. Comp. Sc.
12 (2000) 1185-96.
E. Covino, G. Pani, S. Caporaso, CIAC 2000, Italian
Conference on Algorithms and Complexity.
S. Caporaso, Information Processing Letters 97(2006)36-40.
S.
Caporaso, G. Pani, E. Covino, To appear.
S.
Caporaso, To appear. (http://arxiv.org/abs/cs/0609130).
S.
Caporaso, N. Corriero, To appear. (http://arxiv.org/abs/0712.1279).
S.
Caporaso, V. Cozza, To appear. (http://www-lipn.univ-paris13.fr/~mogbil/wicc08/).