LOGICA SIMBOLICA PARA INFORMATICOS.pdf

LOGICA SIMBOLICA PARA INFORMATICOS

Iranzo, Pascual Julian

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.

Durante mucho tiempo se han distinguido tres grandes partes de la lógica: la lógica formal, la lógica simbólica y la lógica matemática. En la actualidad existen  ...

2.83 MB Tamaño del archivo
9788478976195 ISBN
Gratis PRECIO
LOGICA SIMBOLICA PARA INFORMATICOS.pdf

Tecnología

PC e Mac

Lea el libro electrónico inmediatamente después de descargarlo mediante "Leer ahora" en su navegador o con el software de lectura gratuito Adobe Digital Editions.

iOS & Android

Para tabletas y teléfonos inteligentes: nuestra aplicación gratuita de lectura tolino

eBook Reader

Descargue el libro electrónico directamente al lector en la tienda www.wictorkoch.se o transfiéralo con el software gratuito Sony READER FOR PC / Mac o Adobe Digital Editions.

Reader

Después de la sincronización automática, abra el libro electrónico en el lector o transfiéralo manualmente a su dispositivo tolino utilizando el software gratuito Adobe Digital Editions.

Notas actuales

avatar
Sofi Voighua

Información General. Autores: Pascual Julián Iranzo; Editores: RA-MA; Año de publicación: 2004; País: España; Idioma: español; ISBN : 84-7897-619-1 ...

avatar
Mattio Mazios

Lógica simbólica para informáticos. P. Julian-Iranzo. L´ogica Simb´olica para Inform´aticos Pascual Juli´ an Iranzo Departamento de Inform´atica Universidad de ... 2 Jun 2004 ... La lógica es particularmente importante para la informática porque constituye la base matemática del software. Así pues, este libro aspira a ...

avatar
Noe Schulzzo

[Leer.p5ZG] Logica Simbolica para Informaticos [Leer.p5ZG] Logica Simbolica para Informaticos Puede descargar en forma de un libro electr nico: pdf, kindle ebook, ms palabra aqu y m s soft tipo de archivo. [Leer.p5ZG] Logica Simbolica para Informaticos, este es un gran libro que creo. Lógica Simbólica Para Informáticos Pascual Julián Iranzo Alfaomega Agapea 2003 ensayos y trabajos de investigación Logica Para La Informatica INTRODUCCION El presente proyecto se basa en el diseño grafico, en la base de desarrollo de un programa informático , en los principios básicos que necesitaremos en el futuro para nuestra carrera profesional.

avatar
Jason Statham

Información General. Autores: Pascual Julián Iranzo; Editores: RA-MA; Año de publicación: 2004; País: España; Idioma: español; ISBN : 84-7897-619-1 ... Comprar el libro Lógica simbólica para informáticos de Pascual Julián Iranzo, Ra -Ma S.A. Editorial y Publicaciones (9788478976195) con descuento en la ...

avatar
Jessica Kolhmann

LOGICA SIMBOLICA PARA INFORMATICOS del autor PASCUAL JULIAN IRANZO (ISBN 9788478976195). Comprar libro completo al MEJOR PRECIO nuevo o segunda mano en Casa del Libro México