Lógica matemática /

Diseñado para estudiantes avanzados de matemáticas, filosofía y computación, este libro provee una introducción a la vez accesible, vasta y técnicamente sólida a los temas centrales de la lógica proposicional clásica, así como a algunas de sus extensiones o variantes. En cada caso, parte de un enfoq...

Descripción completa

Detalles Bibliográficos
Clasificación:QA9 C3.77
Autor principal: Castro Tapia, Max Fernández (autor)
Otros Autores: Villegas Silva, Luis Miguel (autor)
Formato: Libro
Idioma:Español
Publicado: México, D. F. : Universidad Autónoma Metropolitana, Unidad Iztapalapa, 2011.
Temas:
Lógica matemática
Logic, Symbolic and mathematical

MARC

LEADER 00000nam a2200000 i 4500
001 000133461
005 20230216145300.0
007 ta
008 120418s2011 mx a fr z000 0 spa d
020 |a 9786074774580 
040 |a MX-MxUAM  |b spa  |e rda  |c MX-MxUAM 
041 0 |a spa 
050 4 |a QA9  |b C3.77 
090 |a QA9  |b C3.77 
100 1 |a Castro Tapia, Max Fernández,  |e autor 
245 1 0 |a Lógica matemática /  |c Max Fernández de Castro Tapia, Luis Miguel Villegas Silva. 
264 1 |a México, D. F. :  |b Universidad Autónoma Metropolitana, Unidad Iztapalapa,  |c 2011. 
300 |a volumen :  |b ilustraciones ;  |c 22 cm. 
336 |a texto  |b txt  |2 rdacontent 
337 |a sin medio  |b n  |2 rdamedia 
338 |a volumen  |b nc  |2 rdacarrier 
504 |a Incluye referencias bibliográficas 
505 0 0 |g v.1.  |t Lógica proposicional, intuicionista y modal. --  |g v.2.  |t Clásica, intuicionista y modal. 
520 |a Diseñado para estudiantes avanzados de matemáticas, filosofía y computación, este libro provee una introducción a la vez accesible, vasta y técnicamente sólida a los temas centrales de la lógica proposicional clásica, así como a algunas de sus extensiones o variantes. En cada caso, parte de un enfoque intuitivo que justifica los desarrollos posteriores, presenta diversos métodos y algoritmos para la derivación de fórmulas, una semántica que corresponde a nuestra lectura intuitiva de las fórmulas, así como diversas pruebas de que los tratamientos sintácticos coinciden extensionalmente con los semánticos. Entre los métodos de derivación revisados están la axiomatización, sistemas de deducción natural, tableaux y resolución. algunas aplicaciones importantes de la lógica proposicional son exploradas (circuitos eléctricos, redes lógicas, diagramas binarios de decisión). Las introducciones a las lógicas modales y la lógica intuicionista con que finaliza el texto proveen interesantes ejemplos de cómo la lógica puede también ser aplicada al estudio de las pruebas constructivas y a la modelización de la inferencia en otro tipo de contextos. 
538 |a PUBUAMI 
650 4 |a Lógica matemática 
650 0 |a Logic, Symbolic and mathematical 
700 1 |a Villegas Silva, Luis Miguel,  |e autor 
905 |a LIBROS 
905 |a PUBUAMI 
938 |a Comunidad  |c CBI 
949 |a Biblioteca UAM Iztapalapa  |b Colección General  |c QA9 C3.77 

Ejemplares similares