Lógica simbólica /
La lógica simbólica es un instrumento que sirve de ayuda al ejercicio inteligente sel 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 radi se sus aplicaciones comprende esferas tan diversas del sabe...
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Գիրք |
| Լեզու: | իսպաներեն |
| Հրատարակություն: | 4ª edición |
| Շարք: | Serie de filosofía y ensayo
|
| Խորագրեր: | |
| Առցանց հասանելիություն: | Դիտել ՀՕԱՔ-ում |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
MARC
| LEADER | 00000nam a22000007a 4500 | ||
|---|---|---|---|
| 007 | ta | ||
| 008 | 150127b2001 sp ||||| |||| 00| 0 spa d | ||
| 020 | |a 8430937471 | ||
| 037 | |b Editorial tecnos ; Juan Ignacio Luca de Tena, 15; 28027, Madrid | ||
| 040 | |a SV-SsUSB |b spa |e rda | ||
| 082 | 4 | |2 21 |a 511.3 |b G377l | |
| 100 | 1 | |a Garrido, Manuel |d 1925- |e autor | |
| 245 | 1 | 0 | |a Lógica simbólica / |c Manuel Garrido. |
| 250 | |a 4ª edición | ||
| 264 | |a Madrid ; |b Tecnos, |c 2001 | ||
| 300 | |a 540 páginas : |b ilustraciones, |c 22 cm | ||
| 336 | |2 rdacontent |a texto |b txt | ||
| 337 | |2 rdamedia |a no mediado |b n | ||
| 338 | |2 rdacarrier |a volumen |b nc | ||
| 490 | 1 | |a Filosofía y ensayo | |
| 504 | |a Incluye bibliografía | ||
| 505 | |a ¿Que es la lógica? -- El lenguaje de la lógica -- Deducción y consecuencia -- Estratégias de deducción natural -- Tablas semánticas -- Cálculo de reglas derivadas -- Logica de predicados(calculo cuantificacional) -- Deducción cuantificacional -- Silogística -- Axiomatización de la lógica -- Automatización de la lógica(las bases logicas de la informatica) -- Lógica y representación del conocimiento -- La lógica de internet -- Breve historia de la logica. | ||
| 520 | |a La lógica simbólica es un instrumento que sirve de ayuda al ejercicio inteligente sel 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 radi se sus aplicaciones comprende esferas tan diversas del saber como lamatemática, la l ingüí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ófica con la filosofía y con la ciencia matemática. | ||
| 521 | |a Audiencia general | ||
| 650 | 7 | |2 lemb |a Lógica simbólica | |
| 650 | 7 | |2 lemb |a Lógica matemática | |
| 830 | 0 | |a Serie de filosofía y ensayo | |
| 942 | |2 Dewey Decimal Classification |c Libros | ||
| 990 | |a omontano | ||
| 990 | |a bc_lorena | ||
| 999 | |c 29579 |d 29579 | ||
| 952 | |1 Disponible |2 Dewey Decimal Classification |8 Colección General |a Biblioteca Central |b Biblioteca Central |c Colección General |d 2011-12-06 |e Clasicos Roxsil |g 39.23 |i 65075 |l 3 |o 511.3 G377l |p 10048274 |r 2022-07-29 00:00:00 |s 2022-07-11 |w 2015-01-27 |y Libros | ||