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 - 25%
- Midterm exam - 25%
- Final exam - 50%
Prof. Leo Bachmair
1427 Computer Science Building
Office hours: TuTh 12-1:45, W 11-12
Phone: (631) 632-8452
Email: leo (at) cs (dot) sunysb (dot) edu
Check out the departmental page on professional ethics and computer science.
If you have a physical, psychological, medical, or learning disability that may impact your course work, please contact Disability Support Services at (631) 632-6748 or here. They will determine with you what accommodations are necessary and appropriate. All information and documentation is confidential.Students who require assistance during emergency evacuation are encouraged to discuss their needs with their professors and Disability Support Services. For procedures and information go to the following web site.
Page maintained by Leo Bachmair