MARC details
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
07668 a2200301 4500 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
1997 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9701802616 |
| 040 ## - FUENTE DE CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
GAMADERO |
| Lengua de catalogación |
spa |
| Centro/agencia transcriptor |
GAMADERO |
| 041 ## - CÓDIGO DE IDIOMA |
|---|
| Código de lengua del texto/banda sonora o título independiente |
Español |
| 050 00 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
|---|
| Número de clasificación |
QA9 B8 1997 |
| 100 ## - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
ERAMIS BUENO Y LUCIANO GARCIA |
| 210 ## - TÍTULO ABREVIADO |
|---|
| Título abreviado |
INTRODUCCION A LA LOGICA MATEMATICA / |
| 245 ## - MENCIÓN DEL TÍTULO |
|---|
| Título |
INTRODUCCION A LA LOGICA MATEMATICA / |
| 250 ## - MENCION DE EDICION |
|---|
| Mención de edición |
1ERA |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Nombre del editor, distribuidor, etc. |
MEXICO |
| Lugar de publicación, distribución, etc. |
ENPES |
| Fecha de publicación, distribución, etc. |
1997 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
183 |
| Otras características físicas |
ILUSTRACION |
| Dimensiones |
20.3X13.7CM |
| 504 ## - NOTA DE BIBLIOGRAFÍA, ETC. |
|---|
| Nota de bibliografía, etc. |
Título Introducción a la lógica matemática: Eramis Bueno, Luciano García<br/>Autor Eramis Dr Bueno<br/>Contribuidores Instituto Politecnico Nacional (México), Cuba Ministerio de Educación Superior<br/>Editor Instituto Politécnico Nacional, 1997<br/>ISBN 9701802616, 9789701802618<br/>N.º de páginas 185 páginas |
| 505 ## - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
ÍNDICE<br/><br/>Prefacio ..................................................................................................................... 5<br/>Introducción ......................................................................................................... 7<br/><br/>Capítulo I: El álgebra de conjuntos<br/>La noción de conjunto ................................................................................... 9<br/>Subconjuntos y conjuntos notables ........................................................... 19<br/>Operaciones conjuntistas ............................................................................ 20<br/>Álgebra de conjuntos .................................................................................... 24<br/>Leyes del álgebra de conjuntos .................................................................. 29<br/>Operaciones generalizadas. Cubrimiento y partición ......................... 31<br/>El lenguaje conjuntual .................................................................................. 35<br/><br/>Capítulo II: Teoría de relaciones<br/>La noción de relación .................................................................................... 37<br/>Relaciones binarias ....................................................................................... 41<br/>Propiedades de las relaciones binarias .................................................... 43<br/>Operaciones con relaciones ........................................................................ 47<br/>Relaciones de equivalencia ......................................................................... 50<br/>Relaciones de orden ..................................................................................... 52<br/><br/>Capítulo III: Funciones<br/>La noción de función ..................................................................................... 54<br/>Clasificación de funciones: Definición ..................................................... 57<br/>Operaciones con funciones ......................................................................... 59<br/><br/>Capítulo IV: El álgebra de la lógica<br/>El cálculo proposicional ................................................................................ 63<br/>El lenguaje del cálculo proposicional ....................................................... 67<br/>Presentación algebraica del cálculo proposicional: El método matricial ............................................................... 73<br/>El problema de la decisión semántica y su solución para el cálculo proposicional ................................................................. 84<br/>Comparación entre el lenguaje conjuntual y el lenguaje del cálculo proposicional ............................................................... 90<br/>El cálculo proposicional como un modelo de las teorías de las álgebras booleanas .......................................................... 93<br/><br/>Capítulo V: La teoría de la deducción en el cálculo proposicional<br/>La teoría de la deducción ............................................................................. 115<br/>Formas de presentación de las teorías matemáticas .......................... 118<br/>Presentación axiomático-formal ............................................................... 120<br/>El sistema formal S* .................................................................................... 123<br/>Reglas subsidiarias. La deducción natural ............................................. 137<br/>Las propiedades del sistema formal ....................................................... 155<br/><br/>Capítulo VI: El lenguaje<br/>Aproximación intuitiva al cálculo de predicados .................................... 164<br/>El lenguaje 𝓛 ................................................................................................... 169<br/>El lenguaje 𝓛: realizaciones ........................................................................ 172<br/>El lenguaje 𝓛: su lógica ................................................................................ 177<br/><br/>Bibliografía ........................................................................................................... 183 |
| 520 ## - RESUMEN, ETC. |
|---|
| Resumen, etc. |
PREFACIO<br/><br/>Este Cuaderno ha sido escrito para servir de texto a los estudiantes de diferentes escuelas de la Universidad de La Habana que reciben por primera vez un curso de lógica. Como tal, es un libro para estudiar primariamente con la orientación de un profesor, si bien no dudamos que un lector aplicado y con conocimientos elementales en matemáticas, pueda emprender y llevar a feliz término su estudio.<br/><br/>El libro es propiamente la versión escrita unificada de diferentes cursos de lógica que, en el transcurso de varios años, los autores han impartido en diferentes escuelas de la Universidad de La Habana. Siendo estas escuelas, de manera predominante, escuelas de la Facultad de Humanidades, estos cursos se han caracterizado por la inclusión en sus programas de una introducción sobre las nociones fundamentales de la matemática (conjuntos, relaciones y funciones) y por el mantenimiento de un cierto límite en el tratamiento matemático de la lógica. El resultado ha sido el curso de lógica que aquí se ofrece: autocontenido de los conocimientos de matemática requeridos y con una exposición elemental lo más rigurosa posible.<br/><br/>Pretendemos capacitar al estudiante doblemente: suministrándole los conocimientos básicos de la lógica matemática para emprender el estudio de sus diferentes aplicaciones en su área de estudio propio y, además, capacitar a los interesados en el estudio de la lógica en niveles superiores.<br/><br/>La primera parte: “Conjuntos, relaciones y funciones” y la tercera parte; “El cálculo de predicados” fueron escritas por el profesor Luciano García; la segunda parte: “Cálculo proposicional” fue escrita por el profesor Eramis Bueno. No obstante esta distribución del trabajo, ambos hicieron conjuntamente la redacción final y adoptan la responsabilidad por el Cuaderno en todas sus partes. Esta primera impresión del cuaderno tiene un carácter provisional y los autores esperan de sus lectores todo tipo de crítica y sugerencia que ayude a una mejor elaboración futura del mismo.<br/><br/>La bibliografía al final más que una simple lista de libros, es el reconocimiento a los lógicos y autores que han influido sobre los autores. En especial justicia se rinde a Justo Nicolás, a quien este libro ha sido dedicado: un profesor con sus obras, su docencia, su orientación profesional, llena todo un período de desarrollo de la lógica moderna en Cuba.<br/><br/>LOS AUTORES |
| 526 ## - NOTA DE INFORMACIÓN SOBRE EL PROGRAMA DE ESTUDIO |
|---|
| Program name |
Ingeniería en Logística |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Matemáticas |
| 9 (RLIN) |
552 |
| 700 ## - ENTRADA AGREGADA--NOMBRE PERSONAL |
|---|
| Nombre de persona |
LUCIANO GARCIA |
| 9 (RLIN) |
567 |
| 942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) |
|---|
| Tipo de ítem Koha |
Libro |
| Fuente del sistema de clasificación o colocación |
Clasificación Decimal Dewey |
| Edición |
1ERA |
| Parte de la signatura que corresponde a la clasificación (Parte de la clasificación) |
QA9 B8 1997 |
| 945 ## - CATALOGADORES |
|---|
| Número del Creador del Registro |
1 |
| Nombre del Creador del Registro |
María Elena Olvera Picina |
| Número de último modificador del registro |
2 |
| Nombre del último modificador del registro |
Germán Gutiérrez |
