LOGICA SIMBOLICA PARA INFORMATICOS (En papel)

PASCUAL JULIAN IRANZO, RA-MA, 2004
ISBN 9788478976195

(0 valoraciones )

Otros formatos y ejemplares disponibles

Otras novedades de Introducción a la informática

¿Tienes un ejemplar y quieres venderlo? Véndelo ahora

Entrega aproximada 12 días con envío urgente

19.90 €

Te faltan 19.00€ para conseguir el envío gratis

Añadir a mi compra

Accede para activar la Compra en 1 paso

Inseparables, comprar "LOGICA SIMBOLICA PARA INFORMATICOS " junto con:

matlab y sus aplicaciones en las ciencias y la ingenieria-9788420535371

MATLAB Y SUS APLICACIONES EN LAS CIENCIAS Y LA INGENIERIA CESAR PEREZ

Cómpralos hoy por
56,85 €

valoracion medica del daño corporal: guia practica para la explor acion y evaluacion de lesionados (2ª ed.)-9788445810705

VALORACION MEDICA DEL DAÑO CORPORAL: GUIA PRACTICA PARA LA EXPLOR ACION Y EVALUACION DE LESIONADOS (2ª ED.) CLAUDIO HERNANDEZ CUETO

Cómpralos hoy por
109,80 €

verdad matematica: introduccion a los fundamentos de la matematic a-9788495599681

VERDAD MATEMATICA: INTRODUCCION A LOS FUNDAMENTOS DE LA MATEMATIC A JULIAN GARRIDO GARRIDO

Cómpralos hoy por
42,40 €

Datos del libro

Nº de páginas: 328 págs.
Editorial: RA-MA
Lengua: CASTELLANO
Encuadernación: Tapa blanda
ISBN: 9788478976195
Año edicón: 2004
Plaza de edición: MADRID

Sinopsis

La lógica es particularmente importante para la informática porque constituye la base matemática del software. Así pues, este libro aspira a desarrollar sólidas bases formales que permitan al alumno entender las relaciones existentes entre la lógica y la informática, y cómo los cálculos deductivos pueden constituir un soporte para el cómputo. 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 proposiciones y la de predicados. Sin desdeñar 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 mediante la lógica, así como a los procesos deductivos. Conscientemente se ha buscado un equilibrio entre ambos extremos, lo que distingue a este libro de otras propuestas existentes en la literatura, en las que o bien se hace hincapié en los contenidos matemáticos y la metateoría, o bien se aborda el estudio de la lógica de forma meramente descriptiva y centrándose en los problemas de deducción formal (en la propia lógica). También se dedica atención a las lógicas no clásicas, por su gran influencia en la ciencia y tecnología actuales: por ejemplo, la lógica modal o las lógicas multivalentes. Características destacadas: -Equilibrio entre los contenidos formales y los prácticos. -Presentación gradual de los conceptos. -Énfasis en los conceptos recurrentes. -Más de 85 ejemplos y 120 cuestiones y problemas propuestos. Específicamente, el libro va dirigido tanto a alumnos de primer curso de las Ingenierías Técnicas como de la Ingeniería Superior en Informática. Ahora bien, aunque la selección de los temas se ha hecho pensando en las necesidades de éstos, también puede ser útil a alumnos de matemáticas u otras ingenierías.