Lógica y matemática para ciencias de la computación

Tipo: Libro impreso / Print book

Tamaño / Size: 16.5 x 23 cm

Páginas / Pages: 472

Resumen / Summary:

Autor / Author: Fidel Barboza G
Editorial / Publisher: Universidad Piloto de Colombia
Entrega / Delivery : Nacional / International
Envio desde / Ships from: Colombia
Condición / Condition: Nuevo / New

Tabla de contenido / Table of contents:

Prólogo
Introducción

1. Elementos de Teoría de conjuntos

1.1. Introducción
1.2. Operaciones entre conjuntos
1.3. Álgebra de conjuntos
1.4. Conjuntos especiales
1.4.1. Conjuntos de cadenas.
1.4.2. Conjuntos difusos
1.4.3. Multiconjuntos

2. Relaciones y funciones

2.1. Relaciones y Bases de datos     
2.1.1. Operaciones con relaciones n-arias.
2.2. Representación de relaciones     
2.3. Relaciones de equivalencia y relaciones de orden
2.4. Árboles
2.5. Funciones
2.6. Cardinalidad

3. Cálculo de proposiciones

3.1. Dificultades en el lenguaje común
3.2. Sintaxis
3.3. Semántica     

4. Inferencia lógica

4.1. Argumentos     
4.2. Reglas de inferencia     
4.3. Consistencia de premisas
4.4. Prueba indirecta

5. Cálculo de predicados

5.1. Términos, predicados y cuantificadores
5.1.1. Términos     
5.1.2. Predicados         
5.1.3. Cuantificadores     
5.2. Cuantificadores en los argumentos
5.2.1. Regla de especificación universal.
5.2.2. Regla de generalización universal
5.2.3. Regla de generalización existencial
5.2.4. Regla de especificación existencial
5.2.5. Argumentos con dos o más cuantificadores
5.3. Forma normal Prenex
5.4. Inducción matemática     
5.4.1. Primer principio de Inducción matemática
5.4.2. Segundo principio de Inducción matemática
5.4.3. Segundo principio de Inducción matemática II
5.4.4. Inducción matemática finita

6. Álgebra de Boole

6.1. Introducción     
6.2. Álgebra de Boole   
6.3. Orden parcial de un álgebra de Boole
6.4. Funciones booleanas y Circuitos Lógicos
6.5. Compuertas lógicas
6.5.1. Compuerta OR
6.5.2. Compuerta AND
6.5.3. Compuerta NOT
6.5.4. Combinación de Compuertas
6.5.5. Semi-sumadores y Sumadores
6.6. Simplificación sistemática     
6.6.1. Método de Quine-McCluskey
6.6.2. Método de Veitch-Karnaugh

7. Matemáticas y algoritmos

7.1. Algoritmos de Markov
7.2. Lenguajes Post
7.3. Funciones recursivas
7.3.1. Inducción estructural
7.4. Gramáticas generativas
7.4.1. Clases de gramáticas
7.5. Máquinas de Turing

Apéndice

Ver todas las reseñas