Go to Main Content
 

HELP | EXIT

Catalog Entries

 

Fall 2013 Semester
Apr 19, 2014
Transparent Image
Information Select the Course Number to get further detail on the course. Select the desired Schedule Type to find available classes for the course.

CS 2800 - Logic and Computation
Introduces formal logic and its connections to computer and information science. Offers an opportunity to learn to translate statements about the behavior of computer programs into logical claims and to gain the ability to prove such assertions both by hand and using automated tools. Considers approaches to proving termination, correctness, and safety for programs. Discusses notations used in logic, propositional and first order logic, logical inference, mathematical induction, and structural induction. Introduces the use of logic for modeling the range of artifacts and phenomena that arise in computer and information science. Prereq. (a) CS 1800, MATH 1365, or MATH 2310 and (b) CS 2500. Coreq. CS 2801.
4.000 Credit hours
4.000 Lecture hours

Levels: Undergraduate
Schedule Types: Lecture

Computer Science Department

Course Attributes:
NU Core Math/Anly Think Lvl 2, Computer&Info Sci


Return to Previous New Search XML Extract
Transparent Image
Skip to top of page
Release: 8.5.4