Listar Informática en la Educación por tema "Dedução natural"
Mostrando ítems 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) [Tesis]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 ...