PIERRE MERCURIALI

General links and documents

• Github.
• CV en français (une page).
• Academic Curriculum Vitae: List of publications, teaching, etc.

NLP, LOGIC, and A.I.

• Read my PhD thesis on theoretical computer science (Boolean functions!). Diapositives here.
• Mon livre, Logique et Preuves Mathématiques, publié chez Dunod !
• TUDelft's course on Symbolic Logic for Artificial Intelligence, as a series of videos alongside the document below.
  • 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).

Light reading

• «Né trop tard pour explorer la Terre, né trop tôt pour explorer l'espace». (FR)
• «On apprécie d’autant plus les choses qu’elles ont requis un travail». (FR)

Visuals

• Coming soon: generative mathematical art.
• Coming soon: acrylic paintings portfolio.
• Coming soon: wood sculpture portfolio.