Lógica Matemática
Lógica Matemática é uma obra de natureza introdutória, porém completa, centrada no desenvolvimento da lógica clássica de primeira ordem. Inicia-se com reflexões sobre paradoxos e (meta)linguagem, e contém também capítulos e apêndices sobre lógica proposicional clássica, teoria dos conjuntos (ingênua e formalizada), construções de conjuntos numéricos e álgebras de Boole. O objetivo do autor é introduzir ao estudante de matemática de licenciatura ou de bacharelado os fundamentos da lógica de primeira ordem, mostrando como essa pode ser utilizada para formalizar a matemática, tornando mais precisas as definições, notações e demonstrações que nela aparecem. Todos os conceitos são definidos e explicados no texto, porém, é aconselhável que o leitor tenha alguma experiência em demonstrações matemáticas informais, adquiridas em disciplinas como álgebra, álgebra linear e análise real para acompanhar a leitura com fluência.
Características | |
Autor | Rogério Augusto dos Santos Fajardo |
Biografia | Lógica Matemática é uma obra de natureza introdutória, porém completa, centrada no desenvolvimento da lógica clássica de primeira ordem. Inicia-se com reflexões sobre paradoxos e (meta)linguagem, e contém também capítulos e apêndices sobre lógica proposicional clássica, teoria dos conjuntos (ingênua e formalizada), construções de conjuntos numéricos e álgebras de Boole. O objetivo do autor é introduzir ao estudante de matemática de licenciatura ou de bacharelado os fundamentos da lógica de primeira ordem, mostrando como essa pode ser utilizada para formalizar a matemática, tornando mais precisas as definições, notações e demonstrações que nela aparecem. Todos os conceitos são definidos e explicados no texto, porém, é aconselhável que o leitor tenha alguma experiência em demonstrações matemáticas informais, adquiridas em disciplinas como álgebra, álgebra linear e análise real para acompanhar a leitura com fluência. |
Comprimento | 23 |
Edição | 1 |
Editora | EDUSP |
ISBN | 9788531416729 |
Largura | 16 |
Páginas | 208 |