CIRAULO FRANCESCO

Recapiti
Posta elettronica
035f5bd5d1d1520e5af12fce487fa09e
porta questa
pagina con te
Struttura Dipartimento di Matematica
Telefono 0498271357
Qualifica Professore associato confermato
Settore scientifico MAT/01 - LOGICA MATEMATICA
Rubrica di Ateneo  Visualizza
 

Orario di ricevimento
Studio n.407, corridoio A-B, quarto piano, Torre Archimede (Dip. di Matematica), Via Trieste 63. Per appuntamenti si prega di contattare il docente via email.
(aggiornato il 19/04/2017 13:09)

Proposte di tesi
Per il corso di laurea magistrale in Scienze della Formazione Primaria.
- Progettazione (e sperimentazione in classe) di percorsi didattici, preferibilmente sulla Geometria o la Probabilità, per la scuola primaria.
- Progettazione (e sperimentazione in classe) di attività per la scuola dell'infanzia che coinvolgano aspetti logico-matematici.
- Analisi della letteratura esistente su specifiche questioni di didattica della Geometria alla scuola primaria e/o comparazione di proposte didattiche sulla Matematica in Italia e all'estero.

Per i corsi di laurea (triennale e magistrale) in Matematica.
Argomenti, anche di ricerca, nei seguenti ambiti:
- Logica Matematica (soprattutto logica intuizionista);
- Topologia Pointfree (Topologia Formale / teoria dei Locale);
- Matematica Costruttiva (soprattutto teoria dei reticoli);
- (più raramente) matematiche complementari e didattica.

Curriculum Vitae
Vedi:

http://www.math.unipd.it/~ciraulo/

Curriculum del docente in PDF: 035F5BD5D1D1520E5AF12FCE487FA09E.pdf

Aree di ricerca
Logica Matematica

Temi principali di ricerca: logica intuizionista, matematica costruttiva, topologia pointfree.

Pubblicazioni
F. Ciraulo "σ-locales and Booleanization in Formal Topology" (submitted).

F. Ciraulo "Overlap Algebras as Almost Discrete Locales" (submitted).

F. Ciraulo - G. Sambin "Reducibility, a constructive dual of spatiality" (submitted).

F. Ciraulo - G. Sambin "Embedding locales and formal topologies into positive topologies", Archive for Mathematical Logic (2017).

F. Ciraulo - S. Vickers "Positivity relations on a locale", Annals of Pure and Applied Logic 167 (2016), pp. 806-819.

F. Ciraulo - D. Rinaldi - P. Schuster "Lindenbaum's Lemma via Open Induction", in R. Kahle and T. Strahm and T.Studer (eds.) "Advances in Proof Theory", Progress in Computer Science and Applied Logic 28, Birkhäuser Basel (2016).


F. Ciraulo "Intuitionistic Overlap Structures", Logic and Logical Philosophy 22 (2013), pp. 201-212.

F. Ciraulo - M. E. Maietti - G. Sambin "Convergence in Formal Topology: a unifying notion", Journal of Logic and Analysis 5:2 (2013), pp. 1-45.

F. Ciraulo - M. E. Maietti - P. Toto "Constructive version of Boolean algebra", Logic Journal of the IGPL 21 (2013), pp. 44-62.

F. Ciraulo "Regular opens in constructive topology and a representation theorem for overlap algebras", Annals of Pure and Applied Logic 164 (2013), pp. 421-436.

F. Ciraulo - G. Sambin "A constructive Galois connection between closure and interior", Journal of Symbolic Logic 77 (2012), pp. 1308-1324.

F. Ciraulo "A constructive investigation of satisfiability", Annals of Pure and Applied Logic 163 (2012), pp. 111-121.

F. Ciraulo "Sull'algebra degli insiemi in matematica intuizionista" in E. Ballo and C. Cellucci (eds.), "La ricerca logica in Italia. Studi in onore di Corrado Mangione", Quaderni di Acme 124, pp. 261-274, Cisalpino, Milano (2011).

F. Ciraulo - G. Sambin "The overlap algebra of regular opens", Journal of Pure and Applied Algebra 214 (2010), pp. 1988 -1995 (preprint version .pdf).

C.G. Bartolone - F. Ciraulo “A Class of Imprimitive Groups”, Algebra Colloquium 17 (2010), pp. 565-576.

F. Ciraulo “A constructive semantics for non-deducibility”, Mathematical Logic Quarterly 54 (2008), pp. 35–48.

F. Ciraulo - G. Sambin “Finiteness in a Minimalist Foundation”, Lecture Notes in Computer Science 4941 (2008), pp. 51–68.

F. Ciraulo - G. Sambin “Finitary Formal Topologies and Stone’s Representation Theorem”, Theoretical Computer Science 405 (2008), 11-23.

F. Ciraulo "Soddisfacibilità costruttiva", La Matematica nella Società e nella Cultura, Rivista dell'Unione Matematica Italiana, Serie I, Vol. I, pp. 275-278 (2008).

Insegnamenti dell'AA 2018/19
Corso di studio (?) Curr. Codice Insegnamento CFU Anno Periodo Lingua Responsabile
IA1870 001PD SUP3050724 9 III Primo
semestre
ITA FRANCESCO CIRAULO
SC1172 010PD SC02119739 6 I Secondo
semestre
ITA FRANCESCO CIRAULO
SC1159 COMUNE SCL1000444 6 II Secondo
semestre
ITA CINZIA BONOTTO