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.
Textbook and topics
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 exams (2) - 40%
- Final exam - 35%
Prof. Leo Bachmair
1427 Computer Science Building
Office hours: TuTh 2:30-3:30, W 10-12
Phone: (631) 632-8452
Email: leo (at) cs (dot) sunysb (dot) edu
Each student must pursue his or her academic goals honestly and be personally accountable for all submitted work. Representing another person's work as your own is always wrong. Comprehensive information on academic integrity, including categories of academic dishonesty, can be found on the Academic Judiciary's web site.
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. They will review your concerns and 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: http://www.ehs.sunysb.edu and search Fire Safety and Evacuation and Disabilities.
Page maintained by Leo Bachmair