Geraçaão de argumentos válidos da Lógica Proposicional

Autores

  • Filipe da Silva Oliveira UFAL
  • Elthon Oliveira UFAL

Resumo

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] [...]

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.

Downloads

Publicado

2021-12-20

Edição

Seção

Resumos