

CIRAULO FRANCESCO
Contacts
Office hours
(updated on 19/04/2017 13:09)
Proposals for thesis
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 logicomatematici.  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/ Lecturer's Curriculum (PDF): 035F5BD5D1D1520E5AF12FCE487FA09E.pdf Research areas
Logica Matematica
Temi principali di ricerca: logica intuizionista, matematica costruttiva, topologia pointfree. Publications
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. 806819. 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. 201212. F. Ciraulo  M. E. Maietti  G. Sambin "Convergence in Formal Topology: a unifying notion", Journal of Logic and Analysis 5:2 (2013), pp. 145. F. Ciraulo  M. E. Maietti  P. Toto "Constructive version of Boolean algebra", Logic Journal of the IGPL 21 (2013), pp. 4462. F. Ciraulo "Regular opens in constructive topology and a representation theorem for overlap algebras", Annals of Pure and Applied Logic 164 (2013), pp. 421436. F. Ciraulo  G. Sambin "A constructive Galois connection between closure and interior", Journal of Symbolic Logic 77 (2012), pp. 13081324. F. Ciraulo "A constructive investigation of satisfiability", Annals of Pure and Applied Logic 163 (2012), pp. 111121. 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. 261274, 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. 565576. F. Ciraulo “A constructive semantics for nondeducibility”, 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), 1123. F. Ciraulo "Soddisfacibilità costruttiva", La Matematica nella Società e nella Cultura, Rivista dell'Unione Matematica Italiana, Serie I, Vol. I, pp. 275278 (2008). List of taught course units in A.Y. 2018/19


Università degli Studi di Padova, via 8 febbraio 2, 35122 Padova / P.IVA 00742430283 ‐ Informazioni sull'uso dei cookie 