Logica computacional¡¡

Ver el tema anterior Ver el tema siguiente Ir abajo

Logica computacional¡¡

Mensaje  kamus530 el Miér Nov 19, 2008 10:01 pm

a 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 proposicional y de predicados, y con procedimientos de decisión e inferencia.




Buena vibra desde mi pueblo caluroso !!!


Transfusión, de magia pura para el corazón
Rimel de miel pa corregir la tristeza
Tattoo mental para marcarse la imaginación
Tragos de luz, para alegrarse la vida

kamus530

Mensajes : 1
Fecha de inscripción : 19/11/2008

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.