The aim of the course is the presentation of the logical foundations of computer science: propositional calculus and predicate calculus, theorem proving methods, Boolean algebras and Boolean functions. The connection with logic programming and logic circuits is presented. Additionally, notions related to information representation are introduced.
- Teacher: Mihaiela Lupea