[工作] 招聘CS兼职网课老师 (Computation and Formal Systems) [复制链接]

This course is an introduction to some of the most important formal models of computation, and their application to real-world computing problems. We learn the formal models, we learn the techniques for analyzing and understanding formal models, we implement something related to the formal models, and we learn how theory and practice go hand in hand in Computer Science.

The course consists of five units:

• Pattern Matching with Finite Automata and Regular Languages
• Context-Free Grammars and Parsing
• Turing Machines and Computability
• Relational Algebra and Databases
• Boolean Logic and Boolean Circuits
  

We will use the C programming language for all projects in this course. We will not spend much time learning C specifically. You will learn to adapt what you know from earlier Computer Science courses to programming in C if you don’t know it already.