Lógica para informáticos / Rafel Farré [y otros cinco]
Material type: TextLanguage: Spanish Publisher: México : Alfaomega, 2012Edition: Primera ediciónDescription: xii, 206 páginas : ilustraciones ; 23 cmContent type:- texto
- sin medio
- volumen
- 9786077071655
- 21 004.0151 L687 2012
Item type | Current library | Collection | Call number | Materials specified | Copy number | Status | Notes | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|---|---|
Libros | Biblioteca Alba Lucia Corredor Gómez (Medellín) General Stacks | General | 004.0151 L687 2012 (Browse shelf(Opens below)) | Ej.1 | Available | 503750986 | ||||
Libros | Biblioteca Alba Lucia Corredor Gómez (Medellín) General Stacks | General | 004.0151 L687 2012 (Browse shelf(Opens below)) | Ej.2 | Available | 503750987 | ||||
Libro de Reserva | Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) | Reserva | 004.0151 L687 2012 (Browse shelf(Opens below)) | Ej. 1 | Available | Colección 1, Isla 1, Lado A, Módulo 2 | 100000152 | |||
Libros | Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) | General | 004.0151 L687 2012 (Browse shelf(Opens below)) | Ej. 2 | Available | Colección 1, Isla 1, Lado A, Módulo 2 | 100000153 |
Browsing Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) shelves, Collection: Reserva Close shelf browser (Hides shelf browser)
004.0151 B389 2012 Conceptos elementales de lógica informática / | 004.0151 G984 2010 Matemáticas para informática / | 004.0151 J617 2009 Matemáticas para la computación / | 004.0151 L687 2012 Lógica para informáticos / | 004.16 A473 2009 Estructura de computadores : programación del procesador MIPS y su ensamblador / | 004.16 G215 2010 Compilador C CCS y simulador Proteus para microcontroladores PIC / | 004.160288 B592 1998 Herramientas de diagnóstico para reparación de computadores / |
1. Preliminares -- 2. Definición de la lógica proposicional -- 3. Deducción de la lógica proposicional -- 4. Definición de la lógica de primer orden -- 5. Deducción en la lógica de primer orden -- 6. Fundamentos de la programación lógica -- 7. Ejercicios resueltos.
La finalidad de este libro es proporcionar al lector fundamentos de lógica en el ámbito de las ciencias de la computación. La audiencia principal son pues los estudiantes de titulaciones en informática, aunque el libro también es útil como complemento en la formación básica de otras ciencias e ingenierías. En esta obra sólo se asumen conocimientos previos muy básicos de matemáticas, conocimientos que además se revisan brevemente en un capítulo de preliminares. El libro está escrito de forma amena y cercana, simplificando al máximo la carga notacional y con numerosos ejemplos que ilustran los conceptos explicados.
There are no comments on this title.