PIERRE R. MERCURIALI

Teacher. Researcher. Logician.

• My Github.
• My Twitter (now X?).
• Mon livre, Logique et Preuves Mathématiques, publié chez Dunod !

Documents

• CV en français (une page).
• My (academic) Curriculum Vitae. List of publications, teaching, etc.
• My (visual) artistic portfolio. Mostly acrylic paintings.
• Pretty and interesting computer-generated pictures.
• Read my PhD thesis on theoretical computer science (Boolean functions!). The diapositives are here.
• TUDelft's course on Symbolic Logic for Artificial Intelligence, as a series of videos alongside the document below. Videos : Introduction, What are symbols?, Why use symbols?, How to build propositionl logic formulas?, Interpretation(s) and truth(s), Limits of PL; other logics
• A self-contained course on symbolic artificial intelligence, with exercices, and their correction.
• TUDelft's Knowledge Representation and Reasoning course (the parts about logic).