pq-system explorer

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.creatorCaviness, Ken-
Data de aceite: dc.date.accessioned2019-08-21T19:36:02Z-
Data de disponibilização: dc.date.available2019-08-21T19:36:02Z-
Data de envio: dc.date.issued2010-01-04-
Data de envio: dc.date.issued2010-
Data de envio: dc.date.issued2013-03-22-
Data de envio: dc.date.issued2013-03-22-
Data de envio: dc.date.issued2013-03-22-
Fonte completa do material: dc.identifierhttp://objetoseducacionais2.mec.gov.br/handle/mec/23084-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/495251-
Descrição: dc.descriptionEducação Superior::Ciências Exatas e da Terra::Matemática-
Descrição: dc.descriptionThe pq-system [1] is a formal system in which theorems can be derived or generated from axioms or from other theorems by using a rule of inference. Use only the upper sliders to adjust the "pq-string" and test whether it is an axiom or a theorem or neither. (Axioms must follow the axiom schema or pattern "xp-qx", where x represents a string of hyphens.) This Demonstration is a power tool for exploring this sample formal system, but the exploration process occurs in your own mind: do not use the lower slider or buttons until you have thoroughly explored the system or you short-circuit the process-
Idioma: dc.languageen-
Publicador: dc.publisherWolfram demonstrations project-
Relação: dc.relationPqSystemExplorer.nbp-
Direitos: dc.rightsDemonstrations freeware using MathematicaPlayer-
???dc.source???: dc.sourcehttp://demonstrations.wolfram.com/PqSystemExplorer/-
Palavras-chave: dc.subjectDemonstrações de teoremas-
Palavras-chave: dc.subjectEducação Superior::Ciências Exatas e da Terra::Matemática::Lógica Matemática-
Título: dc.titlepq-system explorer-
???dc.description2???: dc.description2Testar teoremas de sistemas formais, a fim de verificar se são axiomas, teoremas-realmente- ou nenhuma ds opções anteriores-
???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.