logica.?

2. Daniela Barrera Orozco.
10-7
P.M.P SENA

3. En este trabajo muestro todo lo necesario
que se tiene que saber de la lógica
computacional.

4.  El objetivo es conocer los métodos de la
lógica (concretamente de la lógica de
predicados y de la lógica modal) que más se
utilizan hoy en día en ciencias de la
computación, ingeniería del software e
inteligencia artificial.

5.  La lógica computacional es la misma lógica
matemática aplicada al contexto de las
ciencias de la computación. Su uso es
fundamental a varios niveles: en los circuitos
computacionales, en la programación lógica
y en el análisis y optimización (de recursos
temporales y espaciales) de algoritmos.

6.  La Lógica Computacional se dedica al ideal
de un programador que es concentrarse en la
descripción de un problema y no invertir
ningún tiempo en el mecanismo de
computación necesario. Este paradigma
único de la "programación relativa" hace que
el desarrollo de los programas sea sencillo y
rápido, y que asimismo sea fácil de entender
y de mantener.