Propositional logic puzzle generator

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorUniversidade Estadual Paulista (UNESP)-
Autor(es): dc.creatorHafner, Izidor-
Data de aceite: dc.date.accessioned2019-08-21T18:32:04Z-
Data de disponibilização: dc.date.available2019-08-21T18:32:04Z-
Data de envio: dc.date.issued2016-10-26-
Data de envio: dc.date.issued2016-10-26-
Fonte completa do material: dc.identifierhttp://acervodigital.unesp.br/handle/unesp/368123-
Fonte completa do material: dc.identifierhttp://objetoseducacionais2.mec.gov.br/handle/mec/22788-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/474330-
Descrição: dc.descriptionEducação Superior::Ciências Exatas e da Terra::Matemática-
Descrição: dc.descriptionThis Demonstration shows a propositional logic generator. A simple two-dimensional world is inhabited by triangles, squares, and pentagons, each with three sizes and two colors. The task is to find labels for the figures. We are given the truth values of some statements about the world-
Publicador: dc.publisherWolfram demonstrations project-
Relação: dc.relationPropositionalLogicPuzzleGenerator.nbp-
Direitos: dc.rightsDemonstratios freeware using MathematicaPlayer-
Palavras-chave: dc.subjectLógica matemática-
Palavras-chave: dc.subjectEducação Superior::Ciências Exatas e da Terra::Matemática::Lógica Matemática-
Título: dc.titlePropositional logic puzzle generator-
Tipo de arquivo: dc.typetexto-
Aparece nas coleções:Repositório Institucional - Acervo Digital Unesp

Não existem arquivos associados a este item.