alguien me puede decir los principios de la lógica computacional por favor?

Answer 1

1: Proporcionar una formación sólida en los fundamentos formales de la lógica de primer orden, la demostración automática de teoremas y la programación lógica.

2: Desarrollar habilidades y aptitudes para la representación formal del conocimiento, la operación simbólica sobre sistemas formales, la demostración de teoremas y la
interpretación semántica.
3: Comprender los mecanismos computacionales asociados a las problemáticas de la
demostración automática y la programación lógica, y descubrir la importancia del control en su resolución.
4: Conocer el contexto de la Lógica en la Informática y captar su relación con ramas específicas como: Programación, Ingeniería del Software, Bases de Datos e Inteligencia
Artificial.

Answer 2

Lo unico que te puedo decir por el momento es basado en la ontologia fundacional es decir la inteligencia artifical, los esquemas, clasifficaciones, vocabularios y estructuras de las empresas en competencia. Y tambien lo que un experto en computacion llama lo que hay ahora mismo en cualquier idioma conocido aplicado a la computacion (ordenadores) "Una guerra semantica por una proyeccion mas enfatica, clara y ahorrativa en los medios informaticos"