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

Data:	2021-22
Resum:	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.
Drets:	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.
Llengua:	Anglès
Pla d'estudis:	Artificial Intelligence [1488]
Document:	Objecte d'aprenentatge

4 p, 294.2 KB

El registre apareix a les col·leccions:
Materials acadèmics > Guies docents