Raisonnement formel

CSI 4506 - Automne 2025

Marcel Turcotte

Version: août 29, 2025 13h59

Préambule

Objectifs d’apprentissage

• Clarifier…
• Résumer…
• Discuter…

Prologue

Russell, Stuart, et Peter Norvig. 2020. Artificial Intelligence: A Modern Approach. 4ᵉ éd. Pearson. http://aima.cs.berkeley.edu/.