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 Dipartimento di Matematica (Torre Archimede), studio 4AB5 (IV piano, corridoio AB), Via Trieste 63. Oppure in modalità telematica a distanza via Zoom.
Il ricevimento è per appuntamento: si prega di contattare il docente via email (ciraulo AT math.unipd.it).
Insegnamenti
- COMPLEMENTARY MATHEMATICS, AA 2025 (SCQ4107263)
- MATEMATICA PER LA FORMAZIONE DI BASE 2, AA 2025 (SUP3050724)
- METODO ASSIOMATICO E TEORIA DEGLI INSIEMI, AA 2025 (SCL1000444)
- COMPLEMENTARY MATHEMATICS, AA 2024 (SCQ4107263)
- MATEMATICA PER LA FORMAZIONE DI BASE 2, AA 2024 (SUP3050724)
- MATEMATICA PER LA FORMAZIONE DI BASE 2, AA 2023 (SUP3050724)
- MATEMATICHE COMPLEMENTARI, AA 2023 (SC02119739)
Pubblicazioni
https://www.math.unipd.it/~ciraulo/research-papers.html
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.