CSE 259: Logic in Computer Science
Class: SCOB 228, M/W, 12:15--1:30PM
Office Hours: BYENG 594, M/W, 11:00--12:00PM
Mehrdad (TA): BYENG 221, Th&F, 3-4PM; Recitations: M&Tu&W
Akshay(TA): BYENG 221, Tu 3-5PM; Recitations: Th&F
| Course home | Syllabus | Schedule | Student Projects |
Course 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), etc. This course is a mathematically solid introduction to propositional logic, first order logic, logic programming, and their applications in computer science. Broad topics covered: 1. Propositional logic; 2. First-order logic; 3. Logic programming; 4. Applications of logic programming;
Prerequisites: CSE 205 with C or better.
Instructor: Dr. Yu Zhang
- Office: BYENG 594
- Email: yzhan442@asu.edu