Computer Science 3200:
Algorithmic Techniques for Artificial Intelligence
(Fall 2025)
Instructor
Office
Office Hours
Lectures
Todd Wareham
harold@mun.ca
EN-2034
(709) 864-4601
TBA
TR, 14:00-15:15 am
Room EN-1054
Course outline
Course diary
Assignments
Home pages for previous offerings of this course:
Fall 2024 (Wareham)
COMP 3200
(Dave Churchill; 2018-2023)
On-line resources:
Russell and Norvig (2010)
Artificial Intelligence: A Modern Approach
(3rd Edition)[
PDF
]
Russell and Norvig (2022)
Artificial Intelligence: A Modern Approach
(4th Edition)[
PDF
]
Recorded lecture on Constraint Satisfaction Problems (CSPs) (follows Russell and Norvig (2010)) (
Link
)
Recorded lectures on Logical Reasoning (follows Russell and Norvig (2010))
Propositional Logic (
Link
)
Models and Knowledge Bases (
Link
)
Entailment (
Link
)
Inference and Resolution (
Link
)
Resolution (
Link
)
Forward and Backward Chaining (
Link
)
Knowledge based agents (
Link
)
First-order Logic (FOL)
Link
)
Inference in FOL (
Link
)
Recommended reading:
BBC News - Instagram sorry for adding 'terrorist' to some Palestinian user bios
BBC Technology - What is 'AI washing' and why is it a problem?
AP News - The European Unions world-first artificial intelligence rules are officially taking effect
BBC News - AI in healthcare: what are the risks for the NHS?
BBC News - 'It looks like cat food': The grey goop dreamed up by artificial intelligence
BBC News - 'It stains your brain': How social media algorithms show violence to boys
AP News - UN experts urge United Nations to lay foundations for global governance of artificial intelligence
BBC News - When robots can't riddle: What puzzles reveal about the depths of our own minds
BBC News - How have social media algorithms changed the way we interact?
BBC News - 'Maybe we can role-play something fun': When an AI companion wants something more
BBC Future - AI art: The end of creativity or the start of a new movement?
BBC News - Will AI make work burnout worse?
BBC News - How robotaxis are trying to win passengers' trust
Recommended viewing:
Rory vs. The Robot
BBC Reel - Can artificial intelligence ever be sentient?
BBC reel - AI vs The Mind: Meet the world's first artist robot
Thanks are extended to Dave Churchill, Adam Andrews, Parsa Esmkhani, Subhan Haq, T.A. Loeffler, Zayd Loya, Sam Sheppard, and Martha Snelgrove for helping to compile and maintain the materials on this website.
Notices
:
July 10, 11:05am
Open for business!
Created: July 10, 2025
Last Modified: July 10, 2025