Geraçaão de argumentos válidos da Lógica Proposicional
Resumen
MOOCs -Massive Open Online Courses são cursos online abertos e acessíveis a qualquer pessoa com acesso `a internet [1]. Esses ambientes possuem uma grande quantidade de estudantes, o que torna inviável a criação de exercícios únicos para cada aluno. Neste trabalho e apresentada uma abordagem à geração automática de argumentos válidos da Lógica Matemática Proposicional. ́E utilizada uma combinação de especificações matemáticas com uma técnica de Síntese de Programas chamada Geração por Esboço [3] [...]
Descargas
Citas
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.
