Computational Logic [106500]
Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona. Departament de Filosofia)
Universitat Autònoma de Barcelona.
Escola d'Enginyeria
| Fecha: |
2021-22 |
| Resumen: |
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. |
| Derechos: |
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.  |
| Lengua: |
Anglès |
| Plan de estudios: |
Artificial Intelligence [1488] |
| Documento: |
Objecte d'aprenentatge |
El registro aparece en las colecciones:
Materiales académicos >
Guías docentes
Registro creado el 2021-07-27, última modificación el 2023-01-21
visitante ::
identificación
