A minha experiência com deficientes visuais vem de jogos online conhecidos como "MUDs". MUDs são diferentes da maior parte dos jogos online modernos por terem uma interface somente em texto. Os participantes caminham através de salas (que possuem "descrições"), efetuam ações e interagem socialmente entre si, tudo isso digitando comandos em um terminal. É um jogo bastante imaginativo.
MUDs são mais acessíveis à deficientes visuais do que boa parte dos jogos porque os leitores de tela modernos são adequados à leitura de qualquer tipo de texto. O MUD Valinor começou como um projeto voltado à fãs da obra de Tolkien (Senhor dos Anéis e etc), e ainda é, mas acabou voltado também à DVs por serem um público interessado. Eu lembro que no mud em que eu jogava (o MUD Valinor), um problema de acessibilidade eram "mapas" e outras imagens, feitos usando arte ASCII, que apesar de usarem apenas caracteres não são acessíveis à um leitor de tela. A solução adotada foi apresentar também descrições alternativas usando texto puro Olha um exemplo: http://mud.valinor.com.br/articles.php?id=43 A legenda dá pra ler por um leitor de tela, mas o mapa em si não. Um leitor de tela normalmente vai só ler os caracteres especiais (ponto, mais, porcentagem..), sendo portanto inútil. Mas então, programas baseados em texto (e que não possuam essas "imagens") podem ser uma boa escolha. Felizmente, os programas de suporte à lógica que conheço (como o Coq e o Isabelle) são também somente texto. De fato, usar o Coq como interpretador (ou outro programa de "linha de comando") é semelhante, operacionalmente, à jogar em um MUD: você digita comandos e vê o resultado deles. Acessar páginas em um browser também é bastante acessível (com algumas exceções). Um aplicativo web voltado ao ensino da lógica é o ProofWeb. A interface do proofweb é via browser (por exemplo, o Firefox), e ele tem suporte à maioria dos provadores. Eu uso o ProofWeb curso de lógica do João Marcos e Regivan (da UFRN), como interface ao provador Coq. Acredito que o ProofWeb seja acessível à DVs. Ele exibe a "prova" (um programa criado pelo aluno) em um lado, e a saída em outro. À medida que sua prova evolui, ele vai criando árvores de dedução natural. Estas árvores podem ou não ser acessíveis. Porém, o ProofWeb pode mostrar o desenvolvimento com "fitch-style box proofs" que acredito que sejam mais acessíveis. (Mas na verdade, visualizar a "evolução" da prova, apesar de útil, não é essencial. O fundamental é saber quais são suas hipóteses e o que você precisa provar, e isto o ProofWeb apresenta como texto) É possível usar o ProofWeb (selecione "Guest") aqui do grupo de lógica da UFRN: http://lolita.dimap.ufrn.br/proofweb/ Ou no site original, da holanda: http://prover.cs.ru.nl/login.php Alguma documentação: http://lolita.dimap.ufrn.br/proofweb/man.pdf http://lolita.dimap.ufrn.br/proofweb/manual.php http://lolita.dimap.ufrn.br/proofweb/manual-prop.php http://lolita.dimap.ufrn.br/proofweb/tutorial-video.htm Com o ProofWeb, é possível cadastrar alunos em um "curso", enviar exercícios para eles e acompanhar a resolução de forma on-line. Se você checar, existem várias turmas cadastradas no provador da holanda. No momento o ProofWeb daqui só tem duas turmas cadastradas (as duas de cursos de graduação da UFRN), mas já teve uma turma da UFMG. 2012/4/13 Aracele Garcia de Oliveira <[email protected]>: > Caros Lógicos desta lista, tudo bem? > Eu gostaria de saber se alguém possui experiência com o ensino de lógica > para pessoas com necessidades visuais (cegos totais ou parciais). > Sabem se existem ferramentas que podem ser utilizadas para o ensino de > tablôs ou calculo de sequentes/dedução natural/etc, por exemplo? > Estou considerando, neste caso, alunos cegos na disciplina de Lógica > Matemática, de um curso de Ciência da Computação. > A tabela verdade pode ser trabalhada através de planilhas, sem problemas. > Sempre realizando as atividades no notebook. > Mas, e no caso de sistemas dedutivos, por exemplo? > Qualquer informação será útil. > Grata _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
