CENG424Undergraduate
Logic for Computer Science
Printed in the catalogue as LOGIC FOR COMPUTER SCIENCE
Course content
Overview of propositional and first-order logic. Computational aspects of logic: definite clauses, resolution, unification, and clausal forms. Modal, temporal, and other non-standard logics. Applications of various logics in computer science.
More in CENG
- CENG100Computer Engineering Orientation
- CENG111Introduction to Computer Eng. Concepts
- CENG140C Programming
- CENG213Data Structures
- CENG222Statistical Methods for Computer Engineering
- CENG223Discrete Computational Structures
- CENG232Logic Design
- CENG240Programming with Python for Engineers