This course provides an introduction to computational logic. It covers the fundamentals of classical logic with an emphasis on computational aspects. There will be in-depth discussions of basic deduction methods and of a variety of logical systems, such as modal logics, that are relevant to applications in computer science.
The course grades will be based on assignments and exams according to the following formula:Decisions about make-up exams, where necessary, will be made on an individual basis.
- Assignments - 20%
- Midterm exams (2) - 40%
- Final exam - 40%
Prof. Leo Bachmair
1427 Computer Science Building
Office hours: TuTh 1-3pm, W 2-3pm
Phone: (631) 632-8452
Email: leo@cs.sunysb.edu
Bo Li
Office hours: F 9-11am
Email: bli@cs.sunysb.edu
Check out the departmental page on professional ethics and computer science.
If you have a physical, emotional or medical disability that may impact your ability to complete the course work or which requires extra time on examinations, please contact the Disabled Student Services staff. DSS will review your concerns and determine, with you, what accommodations are necessary and appropriate. All information and documentation of disability is confidential.
Page maintained by Leo Bachmair leo@cs.sunysb.edu