Browsing Multidisciplinary by Subject "Student model"
Now showing items 1-1 of 1
-
Identificando conhecimentos a partir da aplicação das regras de dedução natural na lógica proposicional, um estudo prático
(2019) [Thesis]Lógica é um componente curricular encontrado em matrizes de cursos de Bacharelado e Licenciatura em Computação, sendo ministrado tipicamente no primeiro ou segundo semestre desses cursos. Neste contexto, esta pesqnisa ...