Logic for Mathematics and Computer Science

COM S 421

Offered during Fall Semester each year.

  1. Credits and contact hours: 3 credits, 3 contact hours
  2. Instructor’s or course coordinator’s name: Giora Slutzki (deceased February 2021)
  3. Text book, title, author, and year: None required
  4. Other supplemental materialsA Mathematical Introduction to Logic, 2nd Edition, Enderton; A Course in Mathematical Logic, Machover Bell; A First Course in Logic, Hedman; Computability and Logic, 5th Edition, Boolos, Burgess, Jeffrey; Mathematical Logic, 2nd edition, Ebbinghaus, Flum, Thomas; Mathematical Logic Part 1, Lascar Cori

Specific course information

  1. Brief description of the content of the course: Propositional and predicate logic. Topics selected from Horn logic, equational logic, resolution and unification, foundations of logic programming, reasoning about programs, program specification and verification, model checking and binary decision diagrams, temporal logic and modal logic.
  2. Prerequisites or co-requisites: MATH 207 or MATH 301 or MATH 317 or COM S 230
  3. Required, elective, or selected elective? Selected Elective

Specific goals for the course

  1. Specific outcomes of instruction:
  • An ability to apply computer science theory and software development fundamentals to produce computing based (6)

Brief list of topics to be covered

  • Propositional and predicate logic