Sinopse1 | Como o título sugere, este livro contém uma exposição dos principais tópicos de lógica clássica elementar, incluindo um capítulo sobre lógica proposicional, outro sobre lógica de primeira ordem e um terceiro sobre os fundamentos da aritmética. Nele podem ser encontradas provas para resultados como a consistência, a correção e a completude da lógica proposicional e da lógica de primeira ordem para o teorema de Church, da indecidibilidade da lógica de primeira ordem, e para os teoremas de incompletude de Gödel, além de uma apresentação da primeira versão da prova de Gentzen para a consistência da aritmética. Certamente, constitui um material de referência útil para estudantes de disciplinas de lógica clássica em curso de graduação ou de pós-graduação nas áreas de Matemática, Computação ou Filosofia. Considerando que sua leitura e compreensão não pressupõem mais do que um domínio de noções básicas de teoria dos conjuntos, ele pode também ser útil para pessoas do público geral interessadas por lógica matemática. |
---|---|
Autor1 | MONTAGNOLI, CARLOS LUCIANO |
ISBN | 9788530200152 |
---|---|
Título | Lógica Elementar |
Editora | EDUEL |
Formato | 16 X 23 cm |
Espessura | 2,0 cm |
Páginas | 0 |
Idioma | Português |
Assunto | CIENCIAS BIOLOGICAS, EXATAS, NATURAIS E |
Tipo de Capa | LIVRO BROCHURA (PAPERBACK) |
Ano de Publicação | 2020 |
Veja os livros que os outros também se interessam!
Veja os livros que os outros também se interessam!
Veja os livros mais vendidos desta categoria!
Redes Sociais