Use este identificador para citar ou linkar para este item: http://hdl.handle.net/123456789/1047
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.authorLevada, Alexandre Luis Magalhães-
dc.date.accessioned2012-12-10T18:49:19Z-
dc.date.available2012-12-10T18:49:19Z-
dc.date.issued2012-12-10-
dc.identifier.urihttp://livresaber.sead.ufscar.br/handle/123456789/1047-
dc.description.abstractApesar 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.isopt_BRpt_BR
dc.subjectLógica de predicadospt_BR
dc.subjectLógica de primeira ordempt_BR
dc.subjectQuantificador existênciapt_BR
dc.subjectQuantificador universalpt_BR
dc.subjectVariávelpt_BR
dc.subjectLógica proposicionalpt_BR
dc.titleLógica dos predicadospt_BR
dc.typeApresentacaopt_BR
dc.description.disciplineFundamentos de Lógica Matemáticapt_BR
dc.description.courseSistemas de Informaçãopt_BR
dc.technical.duration20 slidespt_BR
Aparece nas coleções:Textos e apresentações

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
Fundamentos Lógica Matemática_Lógica dos predicados.pdf319,83 kBAdobe PDFVisualizar/Abrir


Este arquivo é protegido por direitos autorais



Este item está habilitado sob uma Licença Creative Commons Creative Commons