Lógica para informáticos / Rafel Farré [y otros cinco]

Contributor(s):

Material type: Text

TextLanguage: Spanish Publisher: México : Alfaomega, 2012Edition: Primera ediciónDescription: xii, 206 páginas : ilustraciones ; 23 cmContent type:

texto

Media type:

sin medio

Carrier type:

volumen

ISBN:

9786077071655

Subject(s):

DDC classification:

21 004.0151 L687 2012

Contents:

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.

Summary: 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.

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	Collection	Call number	Copy number	Status	Notes	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

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.

to post a comment.

Click on an image to view it in the image viewer