19

07-abr-2014

Objetivo Habilidades Características Actividades Ejercicios Conceptos Referencias Compiladores Videos

Objetivo Conocer los procedimientos de inferencia lógica por medio del cálculo de predicados. Habilidades Realizar cálculos de tipo lógico y realizar demostraciones de inferencia. Características El cálculo de predicados se basa en un conjunto de reglas de operaciones lógicas. Actividades Elaborar ejemplos de tablas de verdad utilizando el evaluador lógico. Ejercicios Introducción a la lógica Juego de las 8 reinas Conceptos ·         Proposición, tipos de proposiciones, enlaces, operaciones lógicas. Referencias ·         Lógica de predicados ·         logical-formula-evaluator Video

Juego de las 8 reinas