La lógica del en de informática describe los asuntos donde la lógica se aplica al la inteligencia artificial de informática de y. Éstos incluyen:
Investigaciones del
en lógica que son dirigidas por usos en de informática. Por ejemplo: Lógica combinatoria e interpretación abstracta ;
Lógica boleana, porque los circuitos usados en procesadores de la computadora.
Conceptos fundamentales en de informática que son naturalmente expresables en lógica formal. Por ejemplo: Semántica formal de los lenguajes de programación, de la lógica de Hoare, y de la programación de lógica ;
Aspectos de la teoría del cómputo que echó la luz en cuestiones fundamentales de la lógica formal. Por ejemplo: Correspondencia de Curry-Howard y semántica del juego;
Herramientas para los lógicos considerados como de informática. Por ejemplo: Teorema automatizado que prueba y modelo que comprueba ;
Lógicas del conocimiento y de la creencia (de agentes humanos y artificiales);
Lógicas para el razonamiento espacial, e. sobre la mudanza en el espacio euclidiano (que no se debe confundir con las lógicas espaciales usadas para los sistemas concurrentes);
Métodos formales y lógicas por razonar sobre el cómputo. Por ejemplo la lógica de predicado y los armazones lógicos se utilizan para probar los programas correctos, y las lógicas tales como lógica temporal y las lógicas espaciales se utilizan por razonar sobre la interacción entre el concurrente y los procesos distribuidos. Las lógicas del programa son a menudo la lógica dinámica modal de las lógicas e. o la lógica de Hennessy-Milner;
Las idiomas de especificación proporcionan una base para el desarrollo de programas formal; en este contexto, la noción de la institución se ha desarrollado como formalización abstracta de la noción del sistema lógico, con la meta de manejar el " explosion" de la población; de las lógicas usadas en de informática.
El estudio de la lógica matemática básico tal como lógica proposicional y lógica de predicado (normalmente conjuntamente con la teoría determinada ) se considera un apoyo teórico importante a cualquier curso de informática del estudiante. Una lógica más alta de la orden no se enseña normalmente, sino es importante en el teorema que prueba las herramientas de como HOL .
Libros
Lógica matemática del para de informática de Mordechai Ben-Ari. Saltador-Verlag, 2da edición, 2003 .Lógica del en de informática: El modelado y el razonar sobre los sistemas de Michael Huth, marcan a Ryan. Prensa, 2da edición, 2004 de la Universidad de Cambridge.
Lógica del para las matemáticas y de informática de Stanley N. Prentice Pasillo, 1997.