Course Infrastructure -- Course Syllabus ♦ Suggested Process of Engagement ♦ Special Covid Related Note
Assignment Specifications -- GEB CCS: Opening Reading Assignment ♦ GEB PPS: The MIU System & Partial Template ♦ GEB PPS: The pq- System ♦ Person/Contribution Assignment ♦ Short Video Assignment ♦ Markov Analysis / Algorithmic Composition ♦ An Investigation of Markov Processes ♦ GEB PPS: The tq- System ♦ L-systems/Fractals Assignment ♦ GEB CCS: Recursion, RTNs, and More ♦ GEB PPS: Propositional Calculus
Miscellaneous Lessons -- Models: Lesson 1 "Models" ♦ Models: Lesson 2 "Template Grammars"
Markov Process Lessons -- MP: Lesson 1 "TS in ABC Land" ♦ MP: Lesson 2 "Simple Simulations Involving TS in ABC Land" ♦ MP: Lesson 3 "Markov Processes: Concepts and Terminology" ♦ MP: Lesson 4 "Little Tune Example" ♦ MP: Lesson 5 "Markov, Music and MKRs"
L-system Lessons -- L-systems: Lesson 1 "The Basics" ♦ L-systems: Lesson 2 "Turtle Graphcis Interpretation of L-systems" ♦ L-systems: Lesson 3 "Compositional Method with MxM for L-Systems"
Formal Languages Lessons -- Formal Languages: Lesson 1 "Formal Languages" ♦ Formal Languages: Lesson 2 "Context Free Grammars"
Formal Logic Lessons -- Formal Logic: Lesson 1 "Introduction to Formal Logic" ♦ Formal Logic: Lesson 2 "Computing with Normal Forms" ♦ Formal Logic: Lesson 3 "Principles of Prolog"
Lambda Calculus Lessons -- Lambda Calculus Lesson 1 "Introduction to Lambda Calculus"
Final Exam -- Final Exam Notes ♦ Final Exam Part 1: Critical Thinking ♦ Final Exam Part 2: Formal Systems