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

Detalhes bibliográficos
Ano de defesa: 2001
Autor(a) principal: Knoblauch, Helmut Willy
Orientador(a): Barreto, Jorge Muniz
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Florianópolis, SC
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Link de acesso: 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
spelling Universidade Federal de Santa CatarinaKnoblauch, Helmut WillyBarreto, Jorge Muniz2012-10-19T11:45:02Z2012-10-19T11:45:02Z20012001184301http://repositorio.ufsc.br/xmlui/handle/123456789/82117Dissertaçã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 EspeciaisporFlorianópolis, SCInformaticaCiência da computaçãoLogicaTransformações(Matematica)AlgoritmosQuadro comparativo dos métodos dos tableaux e das resoluçõesinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINAL184301.pdfapplication/pdf1994981https://repositorio.ufsc.br/bitstream/123456789/82117/1/184301.pdf06897e01ca96b80d4e81bfbdf621f13cMD51123456789/821172014-09-25 21:14:39.913oai:repositorio.ufsc.br:123456789/82117Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestsandra.sobrera@ufsc.bropendoar:23732014-09-26T00:14:39Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.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.pt_BR.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Knoblauch, Helmut Willy
dc.contributor.advisor1.fl_str_mv Barreto, Jorge Muniz
contributor_str_mv Barreto, Jorge Muniz
dc.subject.classification.pt_BR.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.submitted.pt_BR.fl_str_mv 2001
dc.date.issued.fl_str_mv 2001
dc.date.accessioned.fl_str_mv 2012-10-19T11:45:02Z
dc.date.available.fl_str_mv 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 http://repositorio.ufsc.br/xmlui/handle/123456789/82117
dc.identifier.other.pt_BR.fl_str_mv 184301
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.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
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/82117/1/184301.pdf
bitstream.checksum.fl_str_mv 06897e01ca96b80d4e81bfbdf621f13c
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv sandra.sobrera@ufsc.br
_version_ 1851758937134596096

Registros relacionados