COMP 3400
Computational Logic and Automated Reasoning
Applications of formal logic in computer science. Symbolic logics such as classical predicate calculus are used to represent domain knowledge, to model computational problems and to solve them by means of automated reasoners. Applications include artificial intelligence, software engineering, data management and hardware verification.
2018
Topics
- resentation, data management, algorithms, declarative programming, and formal
- attending the next lecture.
- tory reading; and, unless otherwise stated, comprehension of their contents may be
- tested throughout the evaluation process.
- Additional Reading Material (supplementary)
- accessible through CU Library)
- Library)
Prerequisites & course information
Prerequisite(s): COMP 2804 . Lectures three hours a week.
Sources
- Course catalogue ↗2026–2027
- Computational Logic ↗2018