Geração de fórmulas 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  à  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. [...]


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