Spanische Bücher
 
 

Lógica simbólica para informáticos

  • Julián Iranzo, Pascual, (aut.)
  • Ra-Ma S.A. Editorial y Publicaciones
  • 1ª ed., 1ª imp.(04/2004)
  • 328 seiten; 24x17 cm
  • Sprache: Español
  • ISBN: 8478976191 ISBN-13: 9788478976195
  • Bindung: Rústica
  • Lieferzeit zwischen 20 und 25 Werktagen,  * Zahlung per Kreditkarte.
  • 19,9€ 18,9€ 
 
 

Encuadernación: Rústica

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.


 

Andere Kunden, die Lógica simbólica para informáticos , kauften, kauften auch:

AUTOEFICACIA DEL PROFESOR UNIVERSITARIO. Eficacia percibida y práctica docente

Autoeficacia Del Profesor Universitario. Eficacia Percibida Y Práctica Docente

  • 200 seiten
  • 19,5€  18,53
  • Las creencias de autoeficacia docente pueden marcar diferencias en la enseñanza y en el uso de las estrategias didácticas que utiliza el profesorado para potenciar la calidad del aprendizaje universitario, y se convierten en un motor importa
Introduccion a la logica formal

Introduccion A La Logica Formal

  • 432 seiten
  • 34,65€  32,92
  • La “Introducción a la lógica formal” pretende ofrecer unos fundamentos de lógica que, sin ceder en su rigor técnico, tienen una finalidad marcadamente didáctica, acentuada con la incorporación de un cap&
Manual De Logica

Manual De Logica

  • 174 seiten
  • 14,92€  14,18
  • La vieja y tradicional Lógica de Aristóteles y Bacon ya no satisface a este mundo nuevo de la Cultura. En ésta encontramos, ya no el mundo del ser sino fundamentalmente el mundo del devenir; ya no la ley necesaria, sino la finalidad c
El pensamiento lógico-matemático

El Pensamiento Lógico-matemático

  • 96 seiten
  • 9€  8,55
  • El pensamiento lógico-matemático reúne una serie de aspectos recurrentes que son identificables a lo largo de su historia. Desde los resultados incipientes de la aritmética pitagórica y de la geometría euclí
 
 
 
 

 

Suche: Titel, Autor, ISBN...