Montserrat Martinez Reyes
Página 1 de 1.
Montserrat Martinez Reyes
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
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
Temas similares
» Montserrat Martinez Reyes
» Montserrat Martinez Reyes
» Montserrat Martinez Reyes
» Montserrat Martinez Reyes
» montserrat santiago
» Montserrat Martinez Reyes
» Montserrat Martinez Reyes
» Montserrat Martinez Reyes
» montserrat santiago
Página 1 de 1.
Permisos de este foro:
No puedes responder a temas en este foro.
|
|