Lógica simbólica /

La lógica simbólica es un instrumento que sirve de ayuda al ejercicio inteligente del sentido común y a la práctica de la investigación científica y la reflexión filosófica. Forma parte del bagaje cultural del hombre del siglo XX, y el radio se sus aplicaciones comprende esferas tan diversas del sab...

Descripción completa

Detalles Bibliográficos
Clasificación:BC135 G3.52 2001
Autor principal: Garrido, Manuel, 1925-2015
Formato: Libro
Idioma:Español
Publicado: Madrid : Tecnos, 2001.
Edición:4a. ed.
Colección:Filosofía y ensayo
Temas:
Logic, Symbolic and mathematical
Lógica
Lógica simbólica y matemática

MARC

LEADER 00000cam a2200000 a 4500
001 000158362
005 20220228120400.0
008 170202s2001 sp grb 001 0 spa d
020 |a 8430937471 
020 |a 9788430937479 
040 |a ZZAND  |b spa  |c ZZAND  |d BNM  |d MX-MxUAM 
041 0 |a spa 
050 4 |a BC135  |b G3.52 2001 
090 |a BC135  |b G3.52 2001 
100 1 |a Garrido, Manuel,  |d 1925-2015 
245 1 0 |a Lógica simbólica /  |c Manuel Garrido. 
250 |a 4a. ed. 
260 |a Madrid :  |b Tecnos,  |c 2001. 
300 |a 540 p. :  |b il. ;  |c 21 cm. 
440 0 |a Filosofía y ensayo 
500 |a Reimpresiones: (1a, 2003)-(2a, 2005) 
500 |a Incluye "Reglas básicas del cálculo de conectores". 
504 |a Incluye referencias bibliográficas (p. 537-540) e índice 
505 2 0 |g Cap. I.  |t ¿Qué es la lógica? --  |g Cap. II.  |t El lenguaje de la lógica --  |g Cap. III.  |t Deducción y consecuencia --  |g Cap. IV.  |t Tautologías --  |g Cap. V.  |t Estrategias de deducción natural. 
520 1 |a La lógica simbólica es un instrumento que sirve de ayuda al ejercicio inteligente del sentido común y a la práctica de la investigación científica y la reflexión filosófica. Forma parte del bagaje cultural del hombre del siglo XX, y el radio se sus aplicaciones comprende esferas tan diversas del saber cómo la matemática, la lingüística, la informática, las ciencias naturales y sociales, la jurisprudencia y la filosofía. Este libro es una introducción a la lógica simbólica para personas de formación humanística. Su objetivo es facilitar a lectores que carezca de base matemática y científica, sin ayuda de profesor, un dominio de las técnicas modernas de deducción lógica, e introducir a los alumnos de humanidades en la compresión de las principales nociones teóricas que sirven de fundamento a la metodología de las ciencias educativas. A diferencia de la mayoría de manuales y tratados de lógica simbólica o matemática, esta obra toma también en consideración la lógica tradicional aristotélica; da cuenta completa, sin ceñirse a uno solo, de la pluralidad de métodos deductivos que enriquecen la lógica contemporánea; incluye un tratamiento de la automatización de la lógica y de sus conexiones con la informática, y explora sumariamente, a través de su historia, las relaciones de la lógica con la filosofía y con la ciencia matemática. 
650 0 |a Logic, Symbolic and mathematical 
650 4 |a Lógica 
650 4 |a Lógica simbólica y matemática 
905 |a LIBROS 
938 |a Comunidad  |c CSH 
949 |a Biblioteca UAM Iztapalapa  |b Colección General  |c BC135 G3.52 2001 

Ejemplares similares