Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/123456789/1047
Título: | Lógica dos predicados |
Tipo: | Apresentacao |
Autor(es): | Levada, Alexandre Luis Magalhães |
Palavras-chave: | Lógica de predicados;Lógica de primeira ordem;Quantificador existência;Quantificador universal;Variável;Lógica proposicional |
Data do documento: | 10-Dez-2012 |
Resumo: | Apesar de poderosa, a lógica proposicional não é suficiente para representar toda a base de conhecimento a respeito da resolução de problemas, assim neste conjunto de slides são apresentados os conceitos da lógica de predicados. Faz-se a identificação da lógica proposicional como um fragmento da lógica de predicados. Estuda-se a escrita de proposições e sentenças nesta lógica, bem como a negação de fórmulas quantificadas. |
URI: | http://livresaber.sead.ufscar.br/handle/123456789/1047 |
Curso: | Sistemas de Informação |
Disciplina: | Fundamentos de Lógica Matemática |
Duração: | 20 slides |
Aparece nas coleções: | Textos e apresentações |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Fundamentos Lógica Matemática_Lógica dos predicados.pdf | 319,83 kB | Adobe PDF | Visualizar/Abrir |
Este arquivo é protegido por direitos autorais |
Este item está habilitado sob uma Licença Creative Commons