CSCI 379: Foundations of AI - fall 2026

Welcome to CSCI 379, and this exceptionally plain page.

Materials for our course:

• our course schedule
• the syllabus
• the “beyond the text” assignment
• homework 0
• homework 1
• homework 2
• homework 3
• homework 4
• homework 5
• homework 6
• homework 7

Other pages, slides, resources, and so on:

• 09-17: A* search, and various heuristics and algorithms
• 09-22: minimax and α-β pruning visualizer
• 09-29: map coloring backtracker and the corresponding search trees
• 10-06: Hunt the wumpus with propositonal logic and model checking
• 10-15: First-order logic warmup
• 10-19: unification, forward chaining, backward chaining warmup