Welcome to CSc 74010

This is the course home page for the course called "Logical Foundations of Computer Science". Despite the name (which is an artifact of the evolving PhD program) this is a course in artificial intelligence.

Please refer to the links on the left for details about other specific topics. Throughout the semester, these pages will be updated regularly.

The information page contains details about the lecture schedule and the course description.

The syllabus page will be updated after every lecture, with an outline of what was covered in class. The brief notes found there are not a substitute for coming to class.

The FAQ page will be updated with answers to questions about anything of general interest.

The news page will be updated every time that this site changes, as well as whenever I have osmething to tell you all. You are strongly encouraged to keep abreast of the notes posted there.

Please feel free to contact me with any questions and/or concerns. Email is by far the best way to reach me: parsons@sci.brooklyn.cuny.edu