introducción a la lógica matemática / (Record no. 6339)
[ view plain ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 02442 a2200277 4500 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | 2004 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9686708014 |
| 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 | BC135S8572004 |
| 100 ## - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
| Nombre de persona | Suppes Patrick |
| 245 ## - MENCIÓN DEL TÍTULO | |
| Título | introducción a la lógica matemática / |
| Resto del título | EDICION ECONOMICA |
| 246 ## - FORMA VARIANTE DEL TITULO | |
| Título propio/Titulo breve | introducción a la lógica matemática / |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. | |
| Nombre del editor, distribuidor, etc. | Reverté |
| 504 ## - NOTA DE BIBLIOGRAFÍA, ETC. | |
| Nota de bibliografía, etc. | Suppes, P., & Hill, S. (2012). Introducción a la lógica matemática. Reverté. <br/>Suppes, P., Hill, S., & Linés Escardó, E. (1980). Introducción a la lógica matemática. Reverté. <br/>Enderton, H. B. (2012). Una introducción matemática a la lógica. Instituto de Investigaciones Filosóficas, UNAM. <br/>del Valle, J., et al. (2023). Introducción a la lógica matemática. Editorial Unimagdalena. |
| 505 ## - NOTA DE CONTENIDO CON FORMATO | |
| Nota de contenido con formato | 1En este curso nos dedicaremos a la lógica matemática de primer orden. Poco a pocotrataremos de dejar claro a que se refiere ese enunciado.Una definición de lógica que puede encontrarse con frecuencia es que se encargade analizar los métodos de razonamiento. En particular, la lógica matemática se encar-garía de analizar los métodos de razonamiento en matemáticas. Paro no es el caso.A continuación haremos una descripción más detallada de los motivos de la lógicamatemática. No se trata de dar una aburrida reseña histórica, o desarrollar ingeniososacertijos matematicos que por más divertidos que puedan sonar, desvirtúan en buenamedida los objetivos de la lógica matemática. Al alumno le debe quedar muy clarocuál será el fundamento del curso y los posibles alcances del mismo. De otra forma,fácilmente se perderá o carecerá de la motivación mínima requerida para enfrentar ex-itosamente esta materia. |
| 520 ## - RESUMEN, ETC. | |
| Resumen, etc. | La lógica matemática (es decir, la lógica simbólica) utiliza símbolos para representar las relaciones entre los elementos de un argumento y emplea reglas para extraer inferencias sobre dichos elementos . Las principales ramas de la lógica matemática son la teoría de conjuntos, la teoría de modelos, la teoría de la recursión (computabilidad) y la teoría de la demostración. |
| 526 ## - NOTA DE INFORMACIÓN SOBRE EL PROGRAMA DE ESTUDIO | |
| Program name | Ingeniería Industrial |
| 700 ## - ENTRADA AGREGADA--NOMBRE PERSONAL | |
| Nombre de persona | Hill Shirley |
| 856 ## - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS | |
| Texto de enlace | https://sanchezcab.wordpress.com/wp-content/uploads/2013/05/logicamatematicasuppes.pdf |
| 942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) | |
| Tipo de ítem Koha | Libro |
| Fuente del sistema de clasificación o colocación | Clasificación Decimal Dewey |
| 945 ## - CATALOGADORES | |
| Número del Creador del Registro | 1 |
| Nombre del Creador del Registro | admin |
| Número de último modificador del registro | 1260 |
| Nombre del último modificador del registro | Norma Gabriela Corona Arreguin |
No items available.
