发送简历时麻烦写上微信号,方便微信沟通课时费,该课程名称是 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