Novo Software Para Wandering Mango
As deduções é um software educativo projetado para ajudar os alunos a aprender provas de lógica formal. Destina-se a ser utilizado por professores e alunos de cursos de lógica de nível universitário de filosofia, matemática e ciência da computação. Ele dá...
A intuição é um avanço em jogos de quebra-cabeça que combina out-of-the-box pensar com diversão provocando cérebro. Inspirado no MU-Puzzle em livro de Douglas Hofstædter vencedor do Prêmio Pulitzer, Godel, Escher, Bach: An Eternal Golden Braid, intuição...
