Lógica Simbólica para Informáticos

By:

Iranzo Pascual J

Contributor(s):

Pascual , Iranzo [Autor]

Language: EspañolQuinta Madrid - España ALFAOMEGA Grupo Editor S.A. de C.V. 2005Edition: Primera Edición Quinta ReimpresiónDescription: 299 páginas Tablas, figuras, 22.5 x 17 centímetrosISBN:

84-7897-619-1

Subject(s):

DDC classification:

23 005.1 L018589

Contents:

Prólogo, Introducción a la Lógica -- I. Lógica de Proposiciones -- 2. Semántica -- 3. Cálculo Axiomático y propiedades formales -- 4. Cálculo de Deducción Natural -- II. Lógica de Predicados -- 5. Semántica -- 6. Cálculo Axiomático y Propiedades Formales -- 7. Cálculo de Deducción Natural -- III. Extensiones y Otras Lógicas -- 8. Extensiones de la lógica de predicados -- 9. Otras Lógicas

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
Libros	Biblioteca Campus Sur Ingeniería en Tecnologías de Información y Comunicación	005.1 IRA L018589 (Browse shelf(Opens below))	01	Available		L018589

Browsing Biblioteca Campus Sur shelves, Shelving location: Ingeniería en Tecnologías de Información y Comunicación Close shelf browser (Hides shelf browser)


	005.1 IRA L018589 Lógica Simbólica para Informáticos

Incluye Dedicatoria, Índice general, Índice de figuras, Índice de tablas, Prólogo, Apéndice A Fundamentos Matemáticos, Apéndice B Notaciones para los Operadores Lógicos, Apéndice C Reglas de Inferencia

There are no comments on this title.

to post a comment.