Module
Discrete Math Refresh for PL
Sign in to add this module to your path and practice.
About
Sets, relations, functions, induction, trees/graphs, and basic logic as used in grammars, typing rules, and proofs about programs.
Goal
Apply induction and logical notation to simple language properties and grammar derivations.
Unlocks
Tutor
Ask questions about this module.
Hi — I'm your tutor for Discrete Math Refresh for PL. Ask about the concepts, goal, or where you're stuck.