1. Programación Lógica.
1.1. consiste en la aplicación del corpus de conocimiento sobre lógica para el diseño de lenguajes de programación;
1.1.1. ▪ Sistemas expertos, donde un sistema de información imita las recomendaciones de un experto sobre algún
1.1.2. dominio de conocimiento.
1.1.3. ▪ Demostración automática de teoremas, donde un programa genera nuevos teoremas sobre una teoría
1.1.4. existente.
1.1.5. ▪ Reconocimiento de lenguaje natural, donde un programa es capaz de comprender (con limitaciones) la
1.1.6. información contenida en una expresión lingüística humana.
2. Circuitos computacionales.
2.1. una computadora está constituido por circuitos electrónicos que responden a diferentes señales eléctricas, esto es, compuertas lógicas que devuelven un valor dependiendo de las entradas que se le dan al sistema.
3. Fundamentación.
3.1. La lógica ocupa un rol central en los estudios de sistemas de información tanto en los aspectos ligados al diseño de sistemas como a los aspectos más estrictamente computacionales, ligados a los desarrollos actuales de la informática.
3.1.1. • La lógica proporciona lenguajes formales para representar y analizar problemas de los campos más
3.1.2. • diversos y sistemas formales que permiten resolver esos problemas.
3.1.3. • La lógica proporciona las herramientas para formalizar diferentes tipos de inferencias que se emplean tanto en la vida cotidiana como en la actividad científica.
3.1.4. • La lógica posibilita la organización de la información a través de sistemas deductivos y no deductivos.
3.1.5. • La lógica se aplica en la construcción de sistemas expertos y otro tipo de herramientas informáticas
3.1.6. • La lógica se aplica en el desarrollo de lenguajes de programación (programación lógica).
3.1.7. • La lógica es una de las disciplinas que constituyen la inteligencia artificial y las ciencias cognitivas.
3.1.8. • Los lenguajes formales que la lógica estudia son aptos para formalizar teorías científicas.
3.1.9. • La lógica es una condición necesaria para el análisis epistemológico del conocimiento científico.
3.1.10. • La lógica comparte con la teoría de circuitos estructuras matemáticas, de modo que métodos de aquella • pueden aplicarse en esta.
3.1.11. • La lógica proporciona metodologías para el diseño de sistemas de información.