Skip to Main Content

CISC *7420X Logic in Computer Science

(Prior to Fall 2010, this course was known as CIS 719.1.
The information below might still reflect the old course numbers. Bracketed numbers, if any, are the old course numbers. Learn more...)

37 hours plus conferences and independent work; 3 credits

Predicate calculus, semantics, models, proof systems and completeness theorems, Herbrand's Theorem, resolution-based theorem proving, applications to automated reasoning, applications to logic programming.

Prerequisite: Computer and Information Science 6004X [611X] or a course in discrete structures; and 6006X [622X] or a course in data structures.


The City University reserves the right, because of changing conditions, to make modifications of any nature in academic programs and requirements of the university and its constituent colleges without advanced notice. Students are advised to consult regularly with college and department counselors concerning their programs of study.

Return to full course list