Aplicativos úteis para estudantes de Matemática, Lógica, Programação, Ciências da Computação em geral