D. Vasconcelos, Robson Teixeira Paula, Maria Viviane Menezes
{"title":"NADIA -自然扣除证明助手","authors":"D. Vasconcelos, Robson Teixeira Paula, Maria Viviane Menezes","doi":"10.5753/wei.2022.222875","DOIUrl":null,"url":null,"abstract":"A disciplina de Lógica para Computação faz parte da maioria dos cursos de Tecnologia da Informação e Comunicação. O sistema de Dedução Natural é amplamente utilizado para o ensino de demonstrações e este conteúdo consta em muitos dos livros-texto de Lógica. Este trabalho apresenta um assistente de provas, NADIA (Natural Deduction Proof Assistant), para o sistema de Dedução Natural em Lógica Proposicional, no estilo de Fitch (caixas), com a finalidade de auxiliar no ensino-aprendizagem de estudantes de graduação e pós-graduação. NADIA permite que os estudantes escrevam suas demonstrações de forma mais próxima possível das provas que realizam no papel. NADIA verifica automaticamente se a demonstração está correta e, caso contrário, exibe os erros encontrados. Para avaliar a experiência dos estudantes no uso do NADIA realizamos uma avaliação da ferramenta com alunos de cinco turmas da disciplina de Lógica para Computação que foram ofertadas em 2021.1 e 2021.2.","PeriodicalId":446481,"journal":{"name":"Anais do XXX Workshop sobre Educação em Computação (WEI 2022)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-07-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"NADIA - Natural DeductIon proof Assistant\",\"authors\":\"D. Vasconcelos, Robson Teixeira Paula, Maria Viviane Menezes\",\"doi\":\"10.5753/wei.2022.222875\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A disciplina de Lógica para Computação faz parte da maioria dos cursos de Tecnologia da Informação e Comunicação. O sistema de Dedução Natural é amplamente utilizado para o ensino de demonstrações e este conteúdo consta em muitos dos livros-texto de Lógica. Este trabalho apresenta um assistente de provas, NADIA (Natural Deduction Proof Assistant), para o sistema de Dedução Natural em Lógica Proposicional, no estilo de Fitch (caixas), com a finalidade de auxiliar no ensino-aprendizagem de estudantes de graduação e pós-graduação. NADIA permite que os estudantes escrevam suas demonstrações de forma mais próxima possível das provas que realizam no papel. NADIA verifica automaticamente se a demonstração está correta e, caso contrário, exibe os erros encontrados. Para avaliar a experiência dos estudantes no uso do NADIA realizamos uma avaliação da ferramenta com alunos de cinco turmas da disciplina de Lógica para Computação que foram ofertadas em 2021.1 e 2021.2.\",\"PeriodicalId\":446481,\"journal\":{\"name\":\"Anais do XXX Workshop sobre Educação em Computação (WEI 2022)\",\"volume\":\"13 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-07-31\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Anais do XXX Workshop sobre Educação em Computação (WEI 2022)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5753/wei.2022.222875\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Anais do XXX Workshop sobre Educação em Computação (WEI 2022)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5753/wei.2022.222875","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A disciplina de Lógica para Computação faz parte da maioria dos cursos de Tecnologia da Informação e Comunicação. O sistema de Dedução Natural é amplamente utilizado para o ensino de demonstrações e este conteúdo consta em muitos dos livros-texto de Lógica. Este trabalho apresenta um assistente de provas, NADIA (Natural Deduction Proof Assistant), para o sistema de Dedução Natural em Lógica Proposicional, no estilo de Fitch (caixas), com a finalidade de auxiliar no ensino-aprendizagem de estudantes de graduação e pós-graduação. NADIA permite que os estudantes escrevam suas demonstrações de forma mais próxima possível das provas que realizam no papel. NADIA verifica automaticamente se a demonstração está correta e, caso contrário, exibe os erros encontrados. Para avaliar a experiência dos estudantes no uso do NADIA realizamos uma avaliação da ferramenta com alunos de cinco turmas da disciplina de Lógica para Computação que foram ofertadas em 2021.1 e 2021.2.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
