Informatics and Computational Thinking
A 6-ECTS University of Urbino course for Filosofia dell’Informazione: Python, program verification, model checking, and their connections to risk analysis and ontology.
Course webpages
Teaching
Teaching by Stefano M. Nicoletti: Informatics and Computational Thinking at the University of Urbino, and Lean for Beginners.
// TEACHING
Learning to reason with systems.
I teach Informatics and Computational Thinking at the University of Urbino and introductory formal reasoning through Lean for Beginners.
Lean for Beginners
An introductory online course on Lean.
Visit the course ↗