La lógica es particularmente importante para la informática porque es la base matemática del software. Así, este libro tiene como objetivo desarrollar sólidas bases formales que permitan al estudiante entender las relaciones entre la lógica y la informática, y cómo los cálculos deductivos pueden ser un soporte para la computació Libros recomendados para leer: si buscas recomendaciones en libros te traemos esta seleccion de nuestros libreros en la que encontraras grandes lecturas La lógica es particularmente importante para la informática porque es la base matemática del software. Así, este libro tiene como objetivo desarrollar sólidas bases formales que pe
La lógica es particularmente importante para la informática porque es la base matemática del software. Así, este libro tiene como objetivo desarrollar sólidas bases formales que permitan al estudiante entender las relaciones entre la lógica y la informática, y cómo los cálculos deductivos pueden ser un soporte para la computación. Este libro se centra principalmente en el estudio de las características y propiedades fundamentales de los sistemas lógicos tradicionales: la lógica de las proposiciones y el predicado. Sin olvidar el rigor matemático, se ha dado gran importancia a las técnicas de formalización, y más generalmente a las técnicas de representación del conocimiento a través de la lógica, así como a los procesos deductivos. Conscientemente, se ha buscado un equilibrio entre los dos extremos, lo que distingue este libro de otras propuestas existentes en la literatura, en las que se pone énfasis en los contenidos matemáticos y en la metatoreología, o en el estudio de la lógica meramente descriptiva y centrándose en los problemas De la deducción formal (en la propia lógica). También se presta atención a las lógicas no clásicas, por su gran influencia en la ciencia y la tecnología actuales: por ejemplo, lógica modal o lógicas multivalentes. Aspectos destacados: - Equilibrio entre contenidos formales y prácticos. -Presentación de conceptos. - Énfasis en conceptos recurrentes. -Más de 85 ejemplos y 120 problemas y problemas propuestos. Específicamente, el libro está dirigido tanto a los estudiantes de primer año de Ingeniería Técnica e Ingeniería Superior de Computación. Sin embargo, aunque la selección de los temas se ha hecho pensando en las necesidades de estos, también puede ser útil para los estudiantes de matemáticas u otra ingeniería.
El Libro Logica Simbolica Para Informaticos - Pascual Julian Iranzo -
Comunicaciones Diseno y autoedicion Informatica practica Multimedia Ofimatica Programacion y lenguajes Sistemas operativos Arte Autoayuda y Espiritualidad Ciencias Humanas Ciencias Politicas y Sociales Ciencias Cocina Comics Adultos Comics infantil y juvenil Deportes y juegos Derecho Economia Empresa Filologia Fotografia Guias de viaje Historia Infantil Idiomas Informatica Ingenieria Juegos educativos Juvenil Libros de Texto y Formacion Literatura Manualidades Medicina Musica Narrativa historica Novela negra Narrativa romantica Novela contemporanea Oposiciones Psicologia y Pedagogia Salud y Dietas