Logic in Computer Science

Catalog description

Logic has been called the calculus of computer science. The argument is that logic plays a fundamental role in computer science, similar to that played by calculus in physical sciences and other engineering disciplines. Indeed, logic plays an important role in computer architecture (Boolean logic, digital gates, hardware verification); software engineering (specification, verification); programming languages (semantics, type theory, logic programming); databases (relational algebra, database query language); artificial intelligence (automated theorem proving, knowledge representation); algorithms and theory of computation (complexity, computability, expressiveness). This course is a mathematically solid introduction to propositional logic, first order logic, logic programming, and their applications in computer science.