TAUT

14 views
Skip to first unread message

Joao Marcos

unread,
Jul 10, 2019, 9:21:04 PM7/10/19
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
"Welcome to TAUT!

This is a website that contains randomly-generated, self-correcting
logic excercises. It runs directly on your browser, so there is no
need to download anything.
It was designed by Ariel Roffé (UBA / UNQ / CONICET), with support
from the BA-Logic group. For more information, see the FAQs."

https://www.taut-logic.com/


JM

Adolfo Neto

unread,
Jul 11, 2019, 1:40:41 PM7/11/19
to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Olá,

Muito interessante!
Eu só removeria o botão "Solve".

Abs.
Adolfo


--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgEte%3D9tTt9k3DbRz9eGNtF-ck_Xp_SRX5cVq4k1_mtGw%40mail.gmail.com.


--
==================================================================
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==================================================================
Reply all
Reply to author
Forward
0 new messages