Skolemization

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.creatorZenil, Hector-
Data de aceite: dc.date.accessioned2019-08-21T19:36:04Z-
Data de disponibilização: dc.date.available2019-08-21T19:36:04Z-
Data de envio: dc.date.issued2010-
Data de envio: dc.date.issued2010-01-05-
Data de envio: dc.date.issued2013-03-13-
Data de envio: dc.date.issued2013-03-13-
Data de envio: dc.date.issued2013-03-13-
Fonte completa do material: dc.identifierhttp://objetoseducacionais2.mec.gov.br/handle/mec/22676-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/495261-
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-
Idioma: dc.languageen-
Publicador: dc.publisherWolfram demonstrations project-
Relação: dc.relationSkolemization.nbp-
Direitos: dc.rightsDemonstrations freeware using MathematicaPlayer-
???dc.source???: dc.sourcehttp://demonstrations.wolfram.com/Skolemization/-
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-
???dc.description2???: dc.description2Mostrar o processo de reescrever uma fórmula, cujos quantificadores foram removidos pelo processo Skolemização-
???dc.description3???: dc.description3This demonstration needs the "MathematicaPlayer.exe" to run. Find it in http://objetoseducacionais2.mec.gov.br/handle/mec/4737-
Aparece nas coleções:Repositório Institucional - MEC BIOE

Não existem arquivos associados a este item.