Skolemization

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorUniversidade Estadual Paulista (UNESP)-
Autor(es): dc.creatorZenil, Hector-
Data de aceite: dc.date.accessioned2019-08-21T18:03:11Z-
Data de disponibilização: dc.date.available2019-08-21T18:03:11Z-
Data de envio: dc.date.issued2013-09-25-
Data de envio: dc.date.issued2013-09-25-
Data de envio: dc.date.issued2013-09-25-
Fonte completa do material: dc.identifierhttp://acervodigital.unesp.br/handle/unesp/70222-
Fonte completa do material: dc.identifierhttp://objetoseducacionais2.mec.gov.br/handle/mec/22676-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/462292-
Descrição: dc.descriptionEducação Superior::Ciências Exatas e da Terra::Matemática-
Descrição: dc.descriptionThe process of removing all the existential quantifiers from a formula is known as Skolemization. The result is a formula in Skolem normal form that is equivalent in computational complexity to the original. This Demonstration shows the rewriting process of a Skolemization step by step for all general cases up to three quantifier alternations and seven variables or constants-
Publicador: dc.publisherWolfram demonstrations project-
Relação: dc.relationSkolemization.nbp-
Direitos: dc.rightsDemonstrations freeware using MathematicaPlayer-
Palavras-chave: dc.subjectEducação Superior::Ciências Exatas e da Terra::Matemática::Lógica Matemática-
Palavras-chave: dc.subjectDemonstrações de teoremas-
Título: dc.titleSkolemization-
Aparece nas coleções:Repositório Institucional - Acervo Digital Unesp

Não existem arquivos associados a este item.