SMAISymbolic Methods for AI
Learn symbolic AI from the ground up.
An interactive journey through natural numbers, sets, relations, SML, grammars, and complexity — built on Prof. Michael Kohlhase's FAU lecture. Every concept has a worked example, an animation, and a mastery gate.
Topics
66
Completed
0
Progress
0%
Curriculum
Chapter 0
Course Preliminaries
Framing the SMAI journey
0%
0/0
Chapter 1
Foundations
Natural numbers, reasoning, defining operations
0%
0/0
Chapter 2
Mathematical Reasoning
Proof techniques and induction
0%
0/0
Chapter 3
Elementary Discrete Math
Sets, relations, functions
0%
0/0
Chapter 4
Standard ML
Pure functional programming
0%
0/0
Chapter 5
Mathematical Structures
Magma hierarchy & theory graphs
0%
0/0
Chapter 6
Graphs and Trees
The language of structure
0%
0/0
Chapter 7
Formal Languages
BNF, parse trees, Chomsky hierarchy
0%
0/0
Chapter 8
ARS & Confluence
Abstract reduction systems (bonus)
0%
0/0
Chapter 9
Complexity Analysis
Landau sets and growth
0%
0/0
Chapter 10
Conclusion
Where symbolic methods shine
0%
0/0
Interactive playgrounds
Tools to explore concepts hands-on. No progress gating — jump in any time.