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
Conceptos
·         Proposición, tipos de proposiciones, enlaces, operaciones lógicas.

Referencias
·         Lógica de predicados
·         logical-formula-evaluator

Video                                                                                                       

Juego de las 8 reinas




No hay comentarios:

Publicar un comentario