|
|
|
|
LEADER |
00000cam a2200000Mu 4500 |
001 |
on1388490875 |
003 |
OCoLC |
005 |
20241006213017.0 |
006 |
m o d |
007 |
cr cnu|||||||| |
008 |
230701s2023 ck o ||| 0 spa d |
040 |
|
|
|a EBLCP
|b eng
|c EBLCP
|d JSTOR
|d DGITA
|d OCLCF
|d OCLCO
|d SFB
|d SXB
|d OCLCQ
|
020 |
|
|
|a 9789587466096
|q (electronic bk.)
|
020 |
|
|
|a 9587466098
|q (electronic bk.)
|
035 |
|
|
|a (OCoLC)1388490875
|
037 |
|
|
|a 22573/cats4470391
|b JSTOR
|
050 |
|
4 |
|a QA9
|
049 |
|
|
|a HCDD
|
100 |
1 |
|
|a Tinoco del Valle, Jesús.
|
245 |
1 |
0 |
|a Introducción a la lógica Matemática
|h [electronic resource].
|
260 |
|
|
|a Bogota :
|b Editorial UniMagdalena,
|c 2023.
|
300 |
|
|
|a 1 online resource (228 p.).
|
490 |
1 |
|
|a Ciencias Naturales Series
|
500 |
|
|
|a Description based upon print version of record.
|
505 |
0 |
|
|a Front Matter -- Introducción -- Presentación -- Capítulo 0 El desarrollo de la lógica matemática -- Capítulo 1 Los sistemas axiomáticos -- Capítulo 2 Proposiciones -- Capítulo 3 Interpretaciones oracionales -- Capítulo 4 La inferencia o deducción proposicional -- Capítulo 5 Teoremas y métodos de demostración -- Capítulo 6 Lógica cuantificacional -- Capítulo 7 El método de inducción matemática -- Capítulo 8 Apéndice -- Bibliografía -- Índice alfabético -- Back Matter.
|
520 |
|
|
|a El libro Introducción a la Lógica Matemática parte del reconocimiento de la importancia de la lógica, en el sentido de contribuir con el lector en mejorar sus procesos de argumentación en contextos tanto científicos como coloquiales. Entre los propósitos de este libro está el de servir de texto de consulta para asignaturas como Lógica Matemática o áreas a fines y de ayudar a las personas que se interesan por esta temática a evitar la excesiva axiomatización, de tal manera que les permita hacer uso racional de la duda. El contenido desarrollado en el libro se presenta en siete capítulos que tratan asuntos como la descripción de los sistemas axiomáticos en una ruta histórica de la evolución de la lógica, la relación de las proposiciones con el idioma y bases para una argumentación adecuada, los procesos de deducción proposicional y cuantificacional, estructura lógica de teoremas y métodos de demostración. Cada capítulo del libro inicia con una actividad exploratoria que le permitirá al lector valorar qué tanto conoce sobre el tema. Al final de los capítulos se proponen numerosas situaciones o ejercicios cuyo propósito es lograr un dominio conceptual y contribuir con el desarrollo de destrezas en los temas correspondientes.
|
650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
650 |
|
7 |
|a Logic, Symbolic and mathematical
|2 fast
|
700 |
1 |
|
|a Hernández Sastoque, Eric.
|
700 |
1 |
|
|a Escorcia Caballero, Edgardo.
|
776 |
0 |
8 |
|i Print version:
|a Tinoco del Valle, Jesús
|t Introducción a la lógica Matemática
|d Bogota : Editorial UniMagdalena,c2023
|
830 |
|
0 |
|a Ciencias Naturales Series.
|
856 |
4 |
0 |
|u https://ebookcentral.proquest.com/lib/holycrosscollege-ebooks/detail.action?docID=30611463
|y Click for online access
|
903 |
|
|
|a EBC-AC
|
994 |
|
|
|a 92
|b HCD
|