Formula generator

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/70223-
Fonte completa do material: dc.identifierhttp://objetoseducacionais2.mec.gov.br/handle/mec/22802-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/462293-
Descrição: dc.descriptionWe show the first 3083 equational first-order formulas with up to five variables. This is done according to an enumeration procedure that assures going through all such formulas, which are in Skolemized form. The function g is a pairing function and f is an interpretation function-
Descrição: dc.descriptionEducação Superior::Ciências Exatas e da Terra::Matemática-
Publicador: dc.publisherWolfram demonstrations project-
Relação: dc.relationFormulaGenerator.nbp-
Direitos: dc.rightsDemonstration 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.titleFormula generator-
Aparece nas coleções:Repositório Institucional - Acervo Digital Unesp

Não existem arquivos associados a este item.