Produção Nacional
Fabiane Flores Penteado Galafassi, Jo�ão Carlos Gluz, Lucas Gomes, Marcel Mossmann,
... aprendizagem, o sistema Heráclito aborda o ensino da dedução natural na lógica proposicional. Tem seu foco associado ao ...
Tópico(s): Education and Digital Technologies
2013 - | Anais ... Workshops do Congresso Brasileiro de Informática na Educação
Davi Romero de Vasconcelos, Maria Viviane de Menezes,
... Tecnologia da Informação e Comunicação. O sistema de Dedução Natural é amplamente utilizado para o ensino de demonstrações ... Natural Deduction Proof Assistant, para o sistema de Dedução Natural em Lógica Proposicional e Lógica de Predicados, no ...
Tópico(s): Logic, Reasoning, and Knowledge
2024 - | Revista Brasileira de Informática na Educação
Produção Nacional
Revisado por pares
Ana Claudia De Jesus Golzio, Angela Pereira Rodrigues,
... é apresentar a Lógica TK em sistemas de dedução natural, cálculo de sequentes e tableaux assim como demonstrar ...
Tópico(s): Chemistry Education and Research
2010 - | Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia
Produção Nacional
Fabiane Penteado Galafassi, Rafael Koch Peres, Alan Velasques Santos, Rosa Maria Viccari, Jo�ão Carlos Gluz,
... de argumentos formais por meio das regras da Dedução Natural. Sua atual versão de interface foi desenvolvida utilizando ...
Tópico(s): Teaching and Learning Programming
2015 - | Anais ... Workshops do Congresso Brasileiro de Informática na Educação
Produção Nacional
... a interpretação da silogística como um sistema de dedução natural, proposta por Corcoran e Smiley nos anos 1970, ...
Tópico(s): Social and Economic Solidarity
2017 - PONTIFÍCIA UNIVERSIDADE CATÓLICA DE SÃO PAULO | Cognitio-Estudos Revista Eletrônica de Filosofia
Produção Nacional
Agnaldo Rodrigues, Matheus Campezatto Galão, Gustavo Schwarz, Jo�ão Carlos Gluz,
The need of tools to help teachers, which are able to assist them in planning, implementation and monitoring of the teaching-learning process, is an important necessity in the educational area.In some cases, difficulties to access to these technologies, coupled with the lack of knowledge and understanding on the part of teachers, undermines the way in which educational contents could be developed and used.This is the main motivation behind the creation of SAAPIEnS authoring and monitoring.The tool ...
Tópico(s): Semantic Web and Ontologies
2014 - | Anais do ... Simpósio Brasileiro de Informática na Educação/Anais do Simpósio Brasileiro de Informática na Educação
Produção Nacional
... estudo sugere-se uma comparação do cálculo de dedução natural como os sistemas Alfa e Beta dos GEs, ...
Tópico(s): Pragmatism in Philosophy and Education
2015 - | Analytica Revista de Filosofia
... Clássica e 2) o cálculo de Lambek em Dedução Natural. Para isso, cada uma dessas axiomatizações são apresentadas ...
Tópico(s):
2006 - UNIVERSIDADE FEDERAL DO PARANÁ | Revista Letras
Produção Nacional
Fabiane Flores Penteado Galafassi, Cristiano Galafassi, Jo�ão Carlos Gluz, Rosa Maria Viccari, Rafael Bueno,
... provas de argumentos por meio das regras da Dedução Natural. Desta forma, o ambiente disponibiliza o Caderno Eletrônico ...
Tópico(s): Education and Digital Technologies
2018 - | Anais ... Workshops do Congresso Brasileiro de Informática na Educação
... e limitações em se tomar os sistemas de dedução natural como instrumento de análise de demonstrações em linguagem ...
Tópico(s): Wittgensteinian philosophy and applications
2020 - Faculdade Católica de Fortaleza | Perspectiva Filosófica
Produção Nacional
... na grande obra dos Princípios Matemáticos da Filosofia Natural. Salientamos, particularmente, a dedução efetuada por Newton das leis do movimento planetário ...
Tópico(s): Experimental and Theoretical Physics Studies
2015 - SOCIEDADE BRASILEIRA DE FÍSICA | Revista Brasileira de Ensino de Física
... quantum na forma de energia é a forma natural de ocorrência. Apresenta uma dedução matemática confusa e altamente “conduzida” de forma errada ...
Tópico(s): Environmental Sustainability and Education
2023 - Servicios Academicos Intercontinentales | Cuadernos de Educación y Desarrollo
... Wissenschaftslehre em suas ciências reais ao problema da dedução da consciência efetiva. Em seguida, discuto o programa da Fundamentação do Direito Natural, enfatizando o papel da interação (1). Em segundo ...
Tópico(s): Philosophy and Historical Thought
2016 - | EDUCAÇÃO E FILOSOFIA
Produção Nacional
... estética, encontramos reiteradas considerações sobre a arte na “Dedução transcendental” exposta nos §§30-38. Neste trabalho, argumento que há duas centralidades distintas em operação nessa obra. O belo natural é paradigmático porque sua predicação é a que ...
Tópico(s): Philosophy and Historical Thought
2023 - | Discurso
Produção Nacional
Osvaldo Alves Pereira, Victor Hugo de Morais Danelichen, Noel Flávio Costa Ferreira, Eduardo Nogueira dos Santos, Jonathan Willian Zangeski Novais, Henry Camargo, Benedito Felipe Da Silva Filho,
Este trabalho teve como objetivo mostrar a dedução física e matemática do método de Bowen na conversão de fluxo de calor latente em unidade de volume de água. A evapotranspiração é o processo natural de fluxo de água para atmosfera. Dentre as técnicas meteorológicas existentes, o método de Bowen consiste na razão entre os fluxos de calor ...
Tópico(s): Geography and Environmental Studies
2021 - | UNICIÊNCIAS
Produção Nacional
... só, a intensidade de tráfego permite ainda a dedução de outras medidas de desempenho importantes nos sistemas de filas, tais como o tamanho médio da fila ou o número esperado de usuários no sistema. Nesse estudo, a estimativa é feita baseada na observação do número de chegadas de clientes durante o tempo de atendimento de um cliente, uma forma bastante natural e prática de coleta de dados. É apresentada ...
Tópico(s): Advanced Statistical Process Monitoring
2021 - INSTITUTO FEDERAL DO PARANÁ | Revista Mundi Engenharia Tecnologia e Gestão (ISSN 2525-4782)
Produção Nacional
Revisado por pares
Vítor Henrique Santos da Silva,
Analisando orações complexas em que a matriz é nucleada pelos verbos inferir, deduzir, concluir, perceber, observar e ver, este trabalho objetiva testar a hipótese de que, se esses verbos expressam inferência ou dedução, subtipos evidenciais de acordo com Hengeveld e Hattnher (2015), o tempo e o modo da encaixada é diferente a depender do subtipo. Os resultados comprovam essa hipótese, já que, nos dados analisados, a encaixada com a informação deduzida só se apresenta em tempos do passado e do presente ...
Tópico(s): Linguistics and Education Research
2021 - Grupo de Estudos Linguísticos do Estado de São Paulo | Estudos Linguísticos (São Paulo 1978)
Produção Nacional
Revisado por pares
... de Fichte, entrea discussão da Aufforderung e a dedução do reconhecimento jurídico, que procura articulálacomo interface entre ...
Tópico(s): Brazilian Legal Issues
2007 - UNIVERSIDADE FEDERAL DO PARANÁ | DoisPontos
Maria Magdalena Cunha de Mendonça,
Procuraremos neste artigo revisitar a compreensão do filósofo escocês, David Hume acerca da noção de causalidade, partindo dos textos Investigação acerca do Entendimento Humano, Tratado da Natureza Humana, e os Diálogos sobre a religião natural. Em seguida se apresenta uma exposição e análise do que Karl Popper denomina “problema de Hume” e a metodologia da falseabilidade de teorias científicas por ele proposta em Conhecimento Objetivo, Conjecturas e Refutações, Lógica da Pesquisa Científica.
Tópico(s): Science and Science Education
2015 - UNIVERSIDADE FEDERAL DO RECONCAVO DA BAHIA | Griot Revista de Filosofia
Produção Nacional
Acreditamos que Kant se equivocou na dedução do princípio de universalidade do que é produzido no simples ajuizamento, cujo paradigma é o juízo de gosto puro, sobre o belo. ...
Tópico(s): Philosophical Ethics and Theory
2017 - Faculdade Católica de Fortaleza | Perspectiva Filosófica
Produção Nacional
Revisado por pares
P. Rosario, Carolina da Costa Pedro,
... dos subtipos evidenciais de Percepção de Evento e Dedução.
Tópico(s): Linguistics and Language Studies
2024 - Grupo de Estudos Linguísticos do Estado de São Paulo | Estudos Linguísticos (São Paulo 1978)