L1 — novice

Level 1 · Novice

You have never written a rule for a computer to reason with. By the end of this level you will have stated facts and rules separately, watched a machine work out consequences nobody wrote down, and seen a proof that those consequences always follow.

Subject	Page
Logic	logic.md
Agents	agent.md
Machine learning	ml.md
Reinforcement learning	learning.md
Minds	minds.md
Mathematics	maths.md

At this level a sample uses no notation it has not introduced: ∀, ⇒ and ∧, and nothing else.