Computer Science

CS 2800: Logic and Computation

Lecture - 4 credits

ND
EI
IC
FQ
SI
AD
DD
ER
WF
WD
WI
EX
CE
Introduces formal logic and its connections to computer and information science. Show more.

Pre-Requisites