Logica computacional¡¡

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