Servizio momentaneamente sospeso per manutenzione.
Rubrica
Qualifica
Professore Associato
Indirizzo
VIA TRIESTE, 63 - TORRE ARCHIMEDE - PADOVA
Telefono
0498271357
Vedi:
http://www.math.unipd.it/~ciraulo/cv.html
Avvisi
Orari di ricevimento
presso Studio n. 406, corridoio A-B, quarto piano, Torre Archimede (Dip. di Matematica), Via Trieste 63. Oppure in modalità telematica a distanza via Zoom.
Il ricevimento è per appuntamento: si prega di contattare il docente via email.
Insegnamenti
- MATEMATICA PER LA FORMAZIONE DI BASE 2, AA 2023 (SUP3050724)
- MATEMATICHE COMPLEMENTARI, AA 2023 (SC02119739)
- MATEMATICA PER LA FORMAZIONE DI BASE 2, AA 2022 (SUP3050724)
- MATEMATICHE COMPLEMENTARI, AA 2022 (SC02119739)
- MATEMATICA PER LA FORMAZIONE DI BASE 2, AA 2021 (SUP3050724)
- MATEMATICHE COMPLEMENTARI, AA 2021 (SC02119739)
- MATEMATICA PER LA FORMAZIONE DI BASE 2, AA 2020 (SUP3050724)
- MATEMATICHE COMPLEMENTARI, AA 2020 (SC02119739)
- MATEMATICA PER LA FORMAZIONE DI BASE 2, AA 2019 (SUP3050724)
- MATEMATICHE COMPLEMENTARI, AA 2019 (SC02119739)
Pubblicazioni
F. Ciraulo "σ-locales and Booleanization in Formal Topology" (submitted).
F. Ciraulo "Overlap Algebras as Almost Discrete Locales" (submitted).
F. Ciraulo - T. Kawai - S. Maschio "Factorizing the Top-Loc adjunction through positive topologies", Archive for Mathematical Logic (to appear in 2021).
F. Ciraulo - S. Maschio "Solving Knights-and-Knaves with One Equation", The College Mathematics Journal 51 (2020), pp. 82-89.
F. Ciraulo - M. Contente "Overlap Algebras: a constructive look at complete Boolean algebras", Logical Methods in Computer Science 16:1 (2020), pp.13:1–13:15 (arXiv:1904.13320)
F. Ciraulo - G. Sambin "Reducibility, a constructive dual of spatiality", Journal of Logic and Analysis 11 (2019), pp. 1-26.
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).
Area di ricerca
Logica Matematica
Temi principali di ricerca: logica intuizionista, matematica costruttiva, topologia pointfree.
Tesi proposte
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 della matematica.
