Buscar
Mostrando ítems 1-10 de 131
Algebraic semantics for Nelson’s logic S
(BrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2018-01-25)
Besides the better-known Nelson logic (3) and paraconsistent Nelson logic (4), in
Negation and separation of concepts in constructive systems (1959) David Nelson introduced
a logic that he called , with motivations ...
A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2013-06-03)
Logic courses represent a pedagogical challenge and the recorded number of cases of failures
and of discontinuity in them is often high. Amont other difficulties, students face
a cognitive overload to understand logical ...
Uma visita ao universo matemático de Lewis Carrol e o (re)encontro com sua lógica do nonsense
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em EducaçãoEducação, 2007-12-07)
Notable mathematics teacher, Lewis Carroll, pseudonym of Charles Lutwidge Dodgson (1832-1898), made the mixture of mathematics with literature a ludic environment for learning that discipline. Author of Alice s Adventures ...
Ambiente para desenvolvimento de aplicações fuzzy industriaisAmbiente para desenvolvimento de aplicações fuzzy industriais
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Engenharia ElétricaAutomação e Sistemas; Engenharia de Computação; Telecomunicações, 2009-12-22)
This paper describes the design, implementation and enforcement of a system for industrial process control based on fuzzy logic and developed using Java, with support for industrial communication protocol through the OPC ...
O papel modalizador dos adjetivos em redações do ENEM
(Universidade Tecnológica Federal do ParanáCuritibaBrasilPrograma de Pós-Graduação em Estudos de LinguagensUTFPR, 2020-10-22)
This dissertation is based on the relation between language and technology. Therefore, we understand that the language is a system of signs over which different symbolic forms are manifested (CASSIRER, 2001). For this ...
A Sprachkritik e os pressupostos (onto)lógicos do Tractatus
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Filosofia, 2019)
Metodologia de projeto de automação industrial visando a conversão automática de redes de petri interpretadas em códigos implementáveis
(Universidade Tecnológica Federal do ParanáCornelio ProcopioPrograma de Pós-Graduação em Engenharia Elétrica, 2013-04-08)
The objective of this work is to present a proposed methodology for the development of industrial automation projects by aggregating the advantages of using formalisms for representing Discrete Event Systems with the need ...
El origen invisible del pasado edificado. Valores formales de la vivienda tradicional del siglo XX, de la parroquia San Lucas, del cantón y provincia de Loja
(2019-06-24)
The present research. The invisible origin of the purified past. Formal values of the traditional housing of the 20th century, of the parish of San Lucas, of the Canton and Province of Loja, has the purpose of enhancing ...
O raciocínio lógico-matemático em correlação com a atividade musical na adolescência: Estudo contextualizado na perspectiva de construção de instrumento psicológico
(UNIVERSIDADE FEDERAL DE PERNAMBUCOUFPEBrasilPrograma de Pos Graduacao em Psicologia Cognitiva, 2016)
Um elo entre a arquitetura vernacular e a contemporaneidade: a incorporação de culturas e inteligências construtivas tradicionais
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM ARQUITETURA E URBANISMO, 2021-11-25)
This dissertation research has as main objective to investigate how traditions in the act of
building, present in vernacular architecture, are expressed in architectural works of the
contemporary period, associating formal ...