Formula generator

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-01-05-
Data de envio: dc.date.issued2010-
Data de envio: dc.date.issued2013-03-15-
Data de envio: dc.date.issued2013-03-15-
Data de envio: dc.date.issued2013-03-15-
Fonte completa do material: dc.identifierhttp://objetoseducacionais2.mec.gov.br/handle/mec/22802-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/495262-
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-
Idioma: dc.languageen-
Publicador: dc.publisherWolfram demonstrations project-
Relação: dc.relationFormulaGenerator.nbp-
Direitos: dc.rightsDemonstration freeware using MathematicaPlayer-
???dc.source???: dc.sourcehttp://demonstrations.wolfram.com/FormulaGenerator/-
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-
???dc.description2???: dc.description2Gerar fórmulas de primeira ordem com até 5 variáveis-
???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.