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

Filipe da Silva Oliveira, Elthon Oliveira

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


Texto completo:

PDF

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.


Apontamentos

  • Não há apontamentos.


SBMAC - Sociedade de Matemática Aplicada e Computacional
Edifício Medical Center - Rua Maestro João Seppe, nº. 900, 16º. andar - Sala 163 | São Carlos/SP - CEP: 13561-120
 


Normas para publicação | Contato