Los principales objetivos de esto libro son: Introducir herramientas y conceptos básicos de la Lógica Matemática y sus aplicaciones. Ayudar a aprender a razonar y formalizar correctamente. Fijar las bases teóricas para el estudio de la Lógica Informática, así que se pueda tener una form...
Colección :COLECCIÓN CIENCIAS EXPERIMENTALES Y TECN
NumeroColeccion :37
Los principales objetivos de esto libro son: Introducir herramientas y conceptos básicos de la Lógica Matemática y sus aplicaciones. Ayudar a aprender a razonar y formalizar correctamente. Fijar las bases teóricas para el estudio de la Lógica Informática, así que se pueda tener una formación global acerca de los procedimientos formales y algorítmicos de razonamiento automático y resolución formal de problemas. Facilitar la comprensión de los conceptos teóricos de la Lógica Matemática, presentando una amplia colección de problemas con soluciones completas. La primera parte de la publicación trata la lógica proposicional y la segunda la lógica de predicados. El libro incluye también dos capítulos preliminares. El primero es una breve introducción histórica a la lógica y a sus relaciones con la Filosofía, las Matemáticas y la Informática. El segundo es un repaso de la teoría de conjuntos.
Este sitio web almacena datos como cookies para habilitar la funcionalidad necesaria del sitio, incluidos análisis y personalización. Puede cambiar su configuración en cualquier momento o aceptar la configuración predeterminada.
Las cookies necesarias ayudan a hacer una página web utilizable activando funciones básicas como la navegación en la página y el acceso a áreas seguras de la página web. La página web no puede funcionar adecuadamente sin estas cookies.
Personalización
Las cookies de personalización permiten a la página web recordar información que cambia la forma en que la página se comporta o el aspecto que tiene, como su idioma preferido o la región en la que usted se encuentra.
Análisis
Las cookies estadísticas ayudan a los propietarios de páginas web a comprender cómo interactúan los visitantes con las páginas web reuniendo y proporcionando información de forma anónima.
Marketing
Las cookies de marketing se utilizan para rastrear a los visitantes en las páginas web. La intención es mostrar anuncios relevantes y atractivos para el usuario individual, y por lo tanto, más valiosos para los editores y terceros anunciantes.
