0
LOGICA SIMBOLICA PARA INFORMATICOS

LOGICA SIMBOLICA PARA INFORMATICOS

JULIAN IRANZO,PASCUAL

20,90 €
IVA incluido
No disponible, consultenos
Editorial:
RA-MA
Año de edición:
2004
ISBN:
978-84-7897-619-5
Páginas:
328
Colección:
VARIAS
20,90 €
IVA incluido
No disponible, consultenos
Añadir a favoritos

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.

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.

Artículos relacionados

  • EL MÓN D'AHIR #35
    EL MÓN D'AHIR #35
    SOLER I GUASCH, ANTONI
    La història de la civilització britànica és tan petita com el vell regne de Wessex i tan gran com l’imperi transoceànic a través del qual la Royal Navy governava els mars. És la història d’un idioma que va fer-se universal a través de les conquestes, però també amb els versos de Shakespeare. És el relat d’un poble tenaç, gelós de la seva sobirania, com tots els pobles illencs; ...
    Disponibilidad inmediata

    20,00 €

  • ARRELS #19
    ARRELS #19
    SUCARRATS I MIRÓ, JOSEP MARIA
    Les festes populars són el punt de trobada de les comunitats rurals, entre si mateixes i amb els forans que les visiten amb aquest pretext. Aquest número d’Arrels s’interessarà pels valors antropològics i patrimonials que justifiquen que aquestes festes continuïn vives, es transformin i continuïn exercint la funció ancestral per la qual van néixer. Davant d’un món contemporani ...
    Disponibilidad inmediata

    9,95 €

  • LA SAGA DE LOS LONGEVOS 3. EL CAMINO DEL PADRE
    LA SAGA DE LOS LONGEVOS 3. EL CAMINO DEL PADRE
    GARCÍA SÁENZ DE URTURI, EVA
    ¿Y si la mayor amenaza para los longevos son ellos mismos? LA CUENTA ATRÁS HA LLEGADO A SU FIN. NO TE PIERDAS LA SAGA MÁS ESPERADA DE LA AUTORA DE EL SILENCIO DE LA CIUDAD BLANCA Cinco cadáveres, junto a cinco conchas de cauri, aparecen calcinados tras una brutal explosión en la clínica de Nueva York donde han operado a Nagorno para tratar de salvar su vida. Temiendo que los cu...
    Disponibilidad inmediata

    22,90 €

  • EL VERANO EN QUE ME ENAMORE
    EL VERANO EN QUE ME ENAMORE
    JENNY HAN
    La novela en la que se ha inspirado la serie.Por la autora del fenómeno A todos los chicos de los que me enamoré. Primer volumen de la Trilogía El verano en que me enamoré. Belly nunca ha sido la clase de chica a la que le pasan cosas. Año tras año, sus vacaciones transcurren en la casa de la playa junto a su hermano, su madre, la mejor amiga de ésta y sus hijos Conrad y Jeremi...
    Disponibilidad inmediata

    10,95 €

  • LAS LEYES DEL PODER
    LAS LEYES DEL PODER
    TRACY, BRIAN
    Descubre las leyes que transformarán tu vida y te guiarán paso a paso hacia el éxito, la felicidad y la realización plena. Brian Tracy es autor del best seller Si lo crees, lo creas, con más de 200.000 ejemplares vendidos solo en español. Desde la Antigüedad, los sabios han aplicado ciertos principios para alcanzar metas extraordinarias capaces de transformar el mundo. En este ...
    Disponibilidad inmediata

    21,90 €

  • PERDUDES PEL BOSC
    PERDUDES PEL BOSC
    ATWOOD, MARGARET
    Perdudes pel bosc aplega quinze contes extraordinaris amb la memòria com a fil conductor: les dues germanes intrèpides del relat que dóna títol al volum fan cara al dol i al record en un vespre destiu perfecte; «La impacient Griselda» indaga en lalienació i els malentesos mitjançant un gir enginyós en un clàssic del folklore, i «La bruixa de ma mare» examina una relació materno...
    Disponibilidad inmediata

    18,00 €