|
|||
CISC 604 - Logic in Computer Science (3cr.)Credit(s): 3LOGIC IN COMPUTER SCIENCE Component: Lecture Formal introduction to first-order logic with emphasis on its relevance to computer science. Syntax, semantics, models, formal proofs and results on soundness, consistency, completeness, compactness and undecidability. Automated theorem proving also covered. Repeatable for Credit: N Allowed Units: 3 Multiple Term Enrollment: N Grading Basis: Student Option PREREQ: CISC304 equivalent. RESTRICTIONS: Credit cannot be received for both CISC604 and CISC404. |
|||
All catalogs © 2024 University of Delaware. Powered by the Acalog™ Academic Catalog Management System™ (ACMS™).
|