Lógica simbólica para informáticos Pascual Julián Iranzo
By: Julián Iranzo, Pascual
Publisher: Paracuellos del Jarama (Madrid) : RA-MA, [2004]Description: XXII, 299 p. 24 cmISBN: 8478976191Subject(s): Lógica simbólica y matemática| Item type | Current location | Collection | Call number | Status | Date due | Barcode | Course reserves |
|---|---|---|---|---|---|---|---|
Libro
|
Biblioteca Universidad Europea del Atlántico Fondo General | No ficción | 510.6 JUL log | Available | 4106 |
Contiene índice
Contiene bibliografía
1. INTRODUCCIÓN A LA LÓGICA
I LÓGICA DE PROPOSICIONES
2. SEMÁNTICA
3. CÁLCULO AXIOMÁTICO Y PROPIEDADES FORMALES 49
4. CÁLCULO DE DEDUCCIÓN NATURAL
II LÓGICA DE PREDICADOS
5. SEMÁNTICA
6. CÁLCULO AXIOMÁTICO Y PROPIEDADES FORMALES 155
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 233
A. FUNDAMENTOS MATEMÁTICOS
B. NOTACIONES PARA LOS OPERADORES LÓGICOS
C. REGLAS DE INFERENCIA