Prova por resolução

Use este identificador para citar ou linkar para este item: http://hdl.handle.net/123456789/1046

Registro completo de metadados

Campo DC	Valor	Idioma
dc.contributor.author	Levada, Alexandre Luis Magalhães	-
dc.date.accessioned	2012-12-10T18:27:59Z	-
dc.date.available	2012-12-10T18:27:59Z	-
dc.date.issued	2012-12-10	-
dc.identifier.uri	http://livresaber.sead.ufscar.br/handle/123456789/1046	-
dc.description.abstract	Estes slides pretendem possibilitar entender como a prova por resolução, método sintático de prova fundamentado em uma única regra de inferência, pode ser utilizada na demonstração de teoremas e na verificação de argumentos. Discutem e ilustram o conceito por meio de vários exemplos.	pt_BR
dc.language.iso	pt_BR	pt_BR
dc.subject	Prova por resolução	pt_BR
dc.subject	Demonstração (álgebra)	pt_BR
dc.subject	Árvore de refutação	pt_BR
dc.subject	Argumento válido (álgebra)	pt_BR
dc.title	Prova por resolução	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	21 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_Prova por resolução.pdf		415,59 kB	Adobe PDF	Visualizar/Abrir

Este arquivo é protegido por direitos autorais

Ver licença

Mostrar registro simples do item Visualizar estatísticas

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