Meetings Link to heading
This is where we publish all of our weekly content, along with any other related material. These will be listed in reverse chronological order. If there is anything missing, let us know.
Spring 2023 Link to heading
This semester, we are running meetings about combinatorial structures and algorithms. Much of the material is being based out of Donald Knuth’s “The Art of Computer of Computer Programming” Volumes 4A and 4B. We will also probably look into other sources as the field is quite vast.
Fall 2022 Link to heading
This semester was our first semester! As such, we decided to start with some more introductory material. The material was loosely based on Michael Sipser’s “Introduction to the Theory of Computation”
- Aditya - Lisp [slides] [answers] [source]
- Husnain - Generating Functions [slides] [source]
- Phil - Lambda Calculus [slides] [source]
- Anakin - Reductions [slides] [source]
- Anakin - Decidability and Recognizability [slides] [source]
- Sam - Turing Machines and Decidability [slides] [source]
- Hassam - Parsing [slides] [source]
- Anakin - CFGs and PDAs [slides] [source]
- Aditya - Hardware [slides] [source]
- Anakin - NFAs and CFGs [slides] [source]
- Anakin - Regex and DFAs [slides] [source]
- SIGma - Introduction [slides] [source]