product
611519MANUAL DE LOGICA ELEMENTALhttps://www.gandhi.com.mx/manual-de-logica-elemental/phttps://gandhi.vtexassets.com/arquivos/ids/4562307/9786071726858.jpg?v=638540304157200000https://gandhi.vtexassets.com/arquivos/ids/7073543/9786071726858.jpg?v=638810108512500000https://gandhi.vtexassets.com/arquivos/ids/7089820/9786071726858.jpg?v=638814545449030000https://gandhi.vtexassets.com/arquivos/ids/7198020/9786071726858.jpg?v=638852596908070000MXNTrillasOutOfStock/Libros/No ficción//Libros/En este texto introductorio a la lógica formal se da un tratamiento básico a los temas y problemas de la lógica clásica de primer orden, con énfasis en los aspectos semánticos de los sistemas lógicos. El libro se divide en tres partes: en la primera se introducen elementos de la teoría estándar de conjuntos y conceptos básicos de lógica formal. Las partes segunda y tercera se enfocan en la lógica proposicional y en la lógica de cuantificadores, respectivamente, de manera que se respeta el orden común de temas en manuales universitarios de lógica simbólica: primero se revisa la estructura y el funcionamiento de cada lenguaje formal, luego e presenta una semántica que lo interpreta y, finalmente, el cálculo o los cálculos correspondientes a tal lenguaje y semántica. El lector encontrará aquí explicaciones claras y didácticas- cuidando el rigor y la precisión formal requeridos en la lógica simbólica contemporánea- que presentan de manera progresiva los elementos de cada parte, y en las que lo revisado se ilustra con diversos ejemplos.609597MANUAL DE LOGICA ELEMENTAL575575https://www.gandhi.com.mx/manual-de-logica-elemental/phttps://gandhi.vtexassets.com/arquivos/ids/4562307/9786071726858.jpg?v=638540304157200000https://gandhi.vtexassets.com/arquivos/ids/7073543/9786071726858.jpg?v=638810108512500000https://gandhi.vtexassets.com/arquivos/ids/7089820/9786071726858.jpg?v=638814545449030000https://gandhi.vtexassets.com/arquivos/ids/7198020/9786071726858.jpg?v=638852596908070000OutOfStockMXN0FITapa blanda1a Edición20169786071726858_En este texto introductorio a la lógica formal se da un tratamiento básico a los temas y problemas de la lógica clásica de primer orden, con énfasis en los aspectos semánticos de los sistemas lógicos. El libro se divide en tres partes: en la primera se introducen elementos de la teoría estándar de conjuntos y conceptos básicos de lógica formal. Las partes segunda y tercera se enfocan en la lógica proposicional y en la lógica de cuantificadores, respectivamente, de manera que se respeta el orden común de temas en manuales universitarios de lógica simbólica: primero se revisa la estructura y el funcionamiento de cada lenguaje formal, luego e presenta una semántica que lo interpreta y, finalmente, el cálculo o los cálculos correspondientes a tal lenguaje y semántica. El lector encontrará aquí explicaciones claras y didácticas- cuidando el rigor y la precisión formal requeridos en la lógica simbólica contemporánea- que presentan de manera progresiva los elementos de cada parte, y en las que lo revisado se ilustra con diversos ejemplos.9786071726858_Trillas9786071726858_9786071726858180.0000x240.0000x17.0000Mario Alberto Lozano GonzálezEspañolMéxico2016-06-30T00:00:00+00:00350180.0000240.0000591.000017.0000Trillas