Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/123456789/2781| Título: | Fundamentos de lógica matemática |
| Tipo: | Livro |
| Autor(es): | Levada, Alexandre Luis Magalhães |
| Palavras-chave: | Lógica, Tabelas-verdade, Álgebra, Inferência, Dedução |
| Data do documento: | 29-Nov-2017 |
| Resumo: | O livro introduz o raciocínio lógico e a importância do cálculo proposicional. O livro é composto por oito capítulos: 1 Lógica proposicional; 2 Tabelas-verdade; 3 Consequência e equivalência lógicas; 4 álgebra proposicional; 5 Inferência lógica; 6 Técnicas dedutivas; 7 Prova por resolução; 8 Lógica de predicados. O livro contém também listas de exercícios. |
| URI: | http://hdl.handle.net/123456789/2781 |
| Curso: | Sistemas de Informação |
| Aparece nas coleções: | Livros publicados na coleção UAB-UFSCar |
Arquivos associados a este item:
| Arquivo | Tamanho | Formato | |
|---|---|---|---|
| SI_Alexandre_FundamentosLogicaMat.pdf | 7,99 MB | Adobe PDF | Visualizar/Abrir |
Este arquivo é protegido por direitos autorais |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.