Profesor de Ingeniería de Ontologías, Lógica de predicados de 1er. Orden

El Curso de Ingeniería de Ontologías puede ser generalizado en sus formalismos para el desarrollo de una serie de temas como la implementación de bases de datos basadas en lógicas de 1er. orden, lógicas de 2do. orden, lógicas modales, lógicas erotéticas, lógicas teleológicas, etc.; sus categorías pueden ser de interés para los especialistas de áreas como Matemáticas, Física de Partículas, Ingeniería, CC.SS., Historia, etc.; en todos ellos los formalismos desarrollados por la antigua Programación Orientada a Objetos pueden ser aplicados con fruicción y prometedores resultados a varios tipos de problemas; desde los de las ciencias formales hasta las Ciencias Fácticas.