Navegação Informática na Educação por Assunto "Natural deduction in posicional logic"
Resultados 1-1 de 1
-
Identificando conhecimentos a partir da aplicação das regras de dedução natural na lógica proposicional, um estudo prático
(2019) [Tese]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 ...