| 000 | 02442 a2200277 4500 | ||
|---|---|---|---|
| 008 | 2004 | ||
| 020 | _a9686708014 | ||
| 040 |
_aGAMADERO _bspa _cGAMADERO |
||
| 041 | _aspa | ||
| 050 | 0 | 0 | _aBC135S8572004 |
| 100 | _aSuppes Patrick | ||
| 245 |
_aintroducción a la lógica matemática / _bEDICION ECONOMICA |
||
| 246 | _aintroducción a la lógica matemática / | ||
| 260 | _bReverté | ||
| 504 | _aSuppes, P., & Hill, S. (2012). Introducción a la lógica matemática. Reverté. Suppes, P., Hill, S., & Linés Escardó, E. (1980). Introducción a la lógica matemática. Reverté. Enderton, H. B. (2012). Una introducción matemática a la lógica. Instituto de Investigaciones Filosóficas, UNAM. del Valle, J., et al. (2023). Introducción a la lógica matemática. Editorial Unimagdalena. | ||
| 505 | _a1En 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 | _aLa 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 | _aIngeniería Industrial | ||
| 700 | _aHill Shirley | ||
| 856 | _yhttps://sanchezcab.wordpress.com/wp-content/uploads/2013/05/logicamatematicasuppes.pdf | ||
| 942 |
_cLIB _2ddc |
||
| 945 |
_a1 _badmin _c1260 _dNorma Gabriela Corona Arreguin |
||
| 999 |
_c6339 _d6339 |
||