Montserrat Martinez Reyes

Ver el tema anterior Ver el tema siguiente Ir abajo

Montserrat Martinez Reyes

Mensaje  Montserrat Martinez Reyes el Sáb Ene 17, 2009 12:15 pm

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.
La lógica computacional es una disciplina que estudia la aplicación de la lógica clásica formal para la representación computacional de argumentos, las técnicas de deducción automática y asistida por computadora; sus fundamentos relacionados con validez y completes de sistemas de proposiciones; y las aplicaciones de esas técnicas a las diferentes áreas de las ciencias computacionales en todas las etapas de desarrollo de software, es decir, en la especificación, diseño, construcción y verificación formal de programas. En este objetivo concurre junto con la teoría de la computación y el análisis de algoritmos. Siendo los temas de la lógica Computacional muy amplios, este curso es solo una introducción a los fundamentos de ella, trataremos de esta forma principalmente con las lógicas clásicas preposicional y de predicados, y con procedimientos de decisión e inferencia.

Montserrat Martínez Reyes
5° U

Montserrat Martinez Reyes

Mensajes : 5
Fecha de inscripción : 16/01/2009

Ver perfil de usuario

Volver arriba Ir abajo

Ver el tema anterior Ver el tema siguiente Volver arriba

- Temas similares

 
Permisos de este foro:
No puedes responder a temas en este foro.