Computational Logic [106500]
Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona. Departament de Filosofia)
Universitat Autònoma de Barcelona. Escola d'Enginyeria

Date:	2021-22
Abstract:	This course is an introduction to logic in computer science. Students will acquire the basic techniques for the logical analysis of reasoning, emphasizing the computational aspects of logic. We will introduce algorithmic problems in logic, such as SAT-solving and automated theorem proving. The course will present the basics of logic-based knowledge representation and reasoning in Artificial Intelligence, learning how knowledge can be represented symbolically and manipulated in an automated way by reasoning programs.
Rights:	Aquest document està subjecte a una llicència d'ús Creative Commons. Es permet la reproducció total o parcial, la distribució, la comunicació pública de l'obra i la creació d'obres derivades, fins i tot amb finalitats comercials, sempre i quan es reconegui l'autoria de l'obra original.
Language:	Anglès
Study plan:	Artificial Intelligence [1488]
Document:	Objecte d'aprenentatge

4 p, 294.2 KB

The record appears in these collections:
Course materials > Course guides