Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/123456789/1047
Registro completo de metadados
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Levada, Alexandre Luis Magalhães | - |
dc.date.accessioned | 2012-12-10T18:49:19Z | - |
dc.date.available | 2012-12-10T18:49:19Z | - |
dc.date.issued | 2012-12-10 | - |
dc.identifier.uri | http://livresaber.sead.ufscar.br/handle/123456789/1047 | - |
dc.description.abstract | 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. | pt_BR |
dc.language.iso | pt_BR | pt_BR |
dc.subject | Lógica de predicados | pt_BR |
dc.subject | Lógica de primeira ordem | pt_BR |
dc.subject | Quantificador existência | pt_BR |
dc.subject | Quantificador universal | pt_BR |
dc.subject | Variável | pt_BR |
dc.subject | Lógica proposicional | pt_BR |
dc.title | Lógica dos predicados | pt_BR |
dc.type | Apresentacao | pt_BR |
dc.description.discipline | Fundamentos de Lógica Matemática | pt_BR |
dc.description.course | Sistemas de Informação | pt_BR |
dc.technical.duration | 20 slides | pt_BR |
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