East Carolina University
Department of Computer Science

CSCI 5002
Logic for Mathematics and Computer Science (3 credits)

Catalog entry:

P: CSCI 2540 or CSCI 3200 or MATE 3223 or MATH 2427 or MATH 2775 or MATH 3256 or PHIL 3580 or equivalent. Methods of mathematical logic important in mathematics and computer science applications.