Geração de fórmulas da Lógica Proposicional
Resumo
MOOCs -Massive Open Online Courses são cursos online abertos e acessíveis a qualquer pessoa com acesso à internet [1]. Esses ambientes geralmente possuem uma grande quantidade de estudantes. Por isso, torna-se inviável a criação de exercícios únicos para cada aluno. [...]
Downloads
Não há dados estatísticos.
Referências
Fassbinder, A., Delmiro, M. E. e Barbosa, E. F. Constru ̧c ̃ao e Uso de MOOCs: Uma Revis ̃aoSistem ́atica,TEMA, 25:332–341, 2014. DOI: http://dx.doi.org/10.5753/cbie.sbie.2014.332.
Jackson, D.Software Abstractions: logic, language, and analysis. MIT press, 2012.
Solar-Lezama, A.Program synthesis by sketching. University of California, Berkeley, 2008.
