flâneur

Logic in Computer Science

courses.grainger.illinois.edu · 1,030 words · saved by 1 readers

This course introduces mathematical logic from the perspective of computer science, emphasizing decidable fragments of logic and decision procedures. Course Objectives. The goal of the course is to prepare students for using logic as a formal tool in computer science. By the end of course, students will be exposed to different fragments of logics and decision procedures for them, and connections between logic, algorithms and computational complexity. They will have seen tools and techniques that exploit logic to come up with algorithms to solve problems, and establish lower bounds. Students will be informed of some of the major open problems in the field and current efforts to solve them. Course Contents. Motivated by applications in artificial intelligence, databases, formal methods and theoretical computer science, the course will roughly cover the following topics: Propositional Logic and Proof complexity, First order logic, decidable first order theories, monadic second order logic

Logic in Computer Science CS 474: Logic in Computer Science Resources Draft of Lecture Notes by P. Madhusudan and Mahesh Viswanathan. Mediaspace channel with lecture recordings. Spring 2017 offering of this class by Madhusudan Parthasarthy . A Mathematical Introduction to Logic , by H.B. Enderton. An Introduction to Logic by Madhavan Mukund and S.P. Suresh . Calculus of Computation by Aaron Bradley and Zohar Manna . Elements of Finite Model Theory by Leonid Libkin . --> Course Information Instructor: Mahesh Viswanathan Lectures: Tu/Th 9:30am to 10:45am on zoom Office Hours: Tu/Th 10:45am to 11

saved by

related reading