Antonino Salibra

$Antonino Sali\ bra$

Full Professor of Computer Science
DAIS Universita' Ca'Foscari Venezia.
Via Torino 155, 30172 Venezia Mestre - Italy
Tel: +39 0412348417
Email: salibra at dsi.unive.it

Invited speaker at 37th International Symposium on Mathematical Foundations of Computer Science (MFCS'12), August 27-31, 2012, Bratislava, Slovakia.

My research interests include lambda calculus, universal algebra, domain theory and topology (with applications to computer science), linear logic, differential and resource lambda calculi.

My best papers: ''Topological incompleteness and order incompleteness of the lambda calculus'; and ''Boolean algebras for lambda calculus''.

Papers and CV Francese (Aprile 2012)

Dal 22 al 27 agosto 2011 ho tenuto il corso di Teoria della Calcolabilita' presso la Scuola Estiva AILA (Associazione Italiana di Logica e sue Applicazioni).

Lezioni di topologia

Macchine di Turing. Linguaggio funzionale su sequenze di naturali. Costrutti funzionali: composizione di funzioni, composizione parallela, iterazione definita, ricorsione primitiva e iterazione indefinita. Equivalenza ricorsione primitiva e iterazione definita. Codifica dei programmi con numeri naturali. Il problema dell'autoriferimento. Indecidibilita' del problema della fermata con il metodo diagonale. Insiemi decidibili, semidecidibili e ricorsivamente enumerabili. Many-one riducibilita' ed il teorema del parametro. Insiemi indecidibili con il metodo della many-one riducibilita'. Insiemi estensionali. Teoremi di Rice. Teoremi di Rice e topologia di Scott sull'insieme delle funzioni parziali dai naturali nei naturali. Il primo ed il secondo teorema di ricorsione.

Lezione 1 lambda calcolo: lambda calcolo come formalismo computazionale completo; beta-riduzione e beta-conversione. Solvable and unsolvable lambda terms. Head normal form, head redex. Head reduction. Bohm trees. Lambda theories. lattice of lambda theories. Si consulti il libro di H. Barendregt, The lambda calculus, North-Holland, 1984. Proprieta' Z nel lambda calcolo: si consulti ''P. Dehornoy and V. van Oostrom'' (www.phil.uu.nl/~oostrom/publication/rewriting.html)

Lezione 2 lambda calcolo: Visser topology. Curry-Howard correspondence: typed lambda terms (+call-cc) as proofs in intuitionistic (classical) logic.

Programma Logica 2011/12

Programma Matematica Discreta parte I 2011/12

Programma Strutture Discrete (vecchio ordinamento) il programma e' costituito dal libro di Facchini: Algebra e Matematica Discreta; pp. 3 - 42 pp. 59 - 122 pp. 141 - 159 pp. 166 - 174.

Esercizi-Combinatoria e Esercizi1 e Esercizi2 e Esercizi3e Esercizi4 e Esercizi5 e Esercizi6 e Esercizi7

Didattica

Risultati Matematica Discreta 15 Maggio 2012

Risultati Totali Compitini Matematica Discreta Maggio 2012

Risultati Matematica Discreta 24 Gennaio 2012

Logica risultati esame

Risultati secondo compitino 20 Dic 2011 Soluzione compito A Soluzione compito B

Soluzione primo Compitino AAA MD 6 Dic 2011 Soluzione primo Compitino BBB MD 6 Dic 2011

Risultati primo Compitino AAA MD 6 Dic 2011 Risultati primo Compitino BBB MD 6 Dic 2011

Risultati Compitino Calcolabilita' e Linguaggi Formali 16 Nov 2011

Risultati Matematica Discreta e Strutture Discrete 15 Settembre 2011 e Soluzione prima parte 15 Settembre 2011

Risultati Matematica Discreta 23 maggio 2011 e Soluzione prima parte Matematica Discreta 23 maggio 2011 e Soluzione seconda parte Matematica Discreta 23 maggio 2011