Quadro comparativo dos métodos dos tableaux e das resoluções

Detalhes bibliográficos
Autor(a) principal: Knoblauch, Helmut Willy
Data de Publicação: 2001
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: http://repositorio.ufsc.br/xmlui/handle/123456789/82117
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação.
id UFSC_1bd41e6f64c8850f8ec744062e089260
oai_identifier_str oai:repositorio.ufsc.br:123456789/82117
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Quadro comparativo dos métodos dos tableaux e das resoluçõesInformaticaCiência da computaçãoLogicaTransformações(Matematica)AlgoritmosDissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação.Expõe que ambos os métodos, tanto dos Tableaux como das Resoluções fazem parte daquilo que se chama prova automática de teoremas. O método da Resolução trabalha com prova por refutação: "se a negação de um teorema é falsa, então ele será verdadeiro." Este método é baseado em uma regra de inferência única, chamada regra de resolução, e utiliza intensivamente um algoritmo de casamento de padrões chamado algoritmo de unificação. Faz-se algumas comparações entre os dois métodos, pois, o algoritmo dos Tableaux não necessita de transformações para qualquer forma normal. Revela que a principal vantagem do método dos Tableaux, em relação ao método tradicional e conhecido de Resolução é fato deste evitar utilização de cláusulas nas suas formas. Forma de Medição no Processo de Alfabetização dos (as) Alunos (as) com Necessidades Educativas EspeciaisFlorianópolis, SCBarreto, Jorge MunizUniversidade Federal de Santa CatarinaKnoblauch, Helmut Willy2012-10-19T11:45:02Z2012-10-19T11:45:02Z20012001info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf184301http://repositorio.ufsc.br/xmlui/handle/123456789/82117porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2014-09-26T00:14:39Zoai:repositorio.ufsc.br:123456789/82117Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732014-09-26T00:14:39Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Quadro comparativo dos métodos dos tableaux e das resoluções
title Quadro comparativo dos métodos dos tableaux e das resoluções
spellingShingle Quadro comparativo dos métodos dos tableaux e das resoluções
Knoblauch, Helmut Willy
Informatica
Ciência da computação
Logica
Transformações
(Matematica)
Algoritmos
title_short Quadro comparativo dos métodos dos tableaux e das resoluções
title_full Quadro comparativo dos métodos dos tableaux e das resoluções
title_fullStr Quadro comparativo dos métodos dos tableaux e das resoluções
title_full_unstemmed Quadro comparativo dos métodos dos tableaux e das resoluções
title_sort Quadro comparativo dos métodos dos tableaux e das resoluções
author Knoblauch, Helmut Willy
author_facet Knoblauch, Helmut Willy
author_role author
dc.contributor.none.fl_str_mv Barreto, Jorge Muniz
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Knoblauch, Helmut Willy
dc.subject.por.fl_str_mv Informatica
Ciência da computação
Logica
Transformações
(Matematica)
Algoritmos
topic Informatica
Ciência da computação
Logica
Transformações
(Matematica)
Algoritmos
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação.
publishDate 2001
dc.date.none.fl_str_mv 2001
2001
2012-10-19T11:45:02Z
2012-10-19T11:45:02Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv 184301
http://repositorio.ufsc.br/xmlui/handle/123456789/82117
identifier_str_mv 184301
url http://repositorio.ufsc.br/xmlui/handle/123456789/82117
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Florianópolis, SC
publisher.none.fl_str_mv Florianópolis, SC
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652002256748544

Registros relacionados