Categories
1 results found in 1 ms.
Page 1 of 1
More OCW like this |
|
Published by: Universidad Politécnica de Madrid | Language: Spanish
Published by: Universidad Politécnica de Madrid | Language: Spanish
Share in:
This course is about the computational part of Mathematical Logic. Here, "computational" refers to what is amenable to be computed by means of an automatic process. In this sense, the goal of Computational Logic is to automatize the operation of proving a fact as a theorem given some prior knowledge (axioms or premises).
Author(s):
Tag(s):
- ciencia de la computación e inteligencia artificial
- demostración automática
- lógica computacional
- programación lógica
- resolución
1 results found.
Page 1 of 1