Buscar
Mostrando ítems 1-10 de 171
Propositional calculus and binary calculusPropositional calculus and binary calculus (ESP)
(Universidad Nacional, Costa Rica, 1990)
Propositional calculus and binary calculusPropositional calculus and binary calculus (ESP)
(Universidad Nacional, Costa Rica, 1990)
Propositional calculus and binary calculusPropositional calculus and binary calculus (ESP)
(Universidad Nacional de Costa Rica, 2016)
Lógica matemática: uma introdução ao cálculo proposicional
(Curitiba, 1991-03)
Propositional calculus and binary calculus
(Universidad Nacional [Costa Rica], 1990-01-01)
We present an efficient method of propositional calculus which allows the manipulation of logical functions with an arbitrary number of propositional variables. This method is base on the use of binary sequences (in other ...
ASA-CALCPRO: uma ferramenta de cálculo proposional e sua utilização no ensino
(Centro Federal de Educação Tecnológica do ParanáPrograma de Pós-Graduação em Engenharia Elétrica e Informática Industrial, 2005)
The adequate use of computational environments can increase the quality and comfort of the teaching-learning process for some of the academic disciplines. A review of the literature reveals the lack of existing tools for ...
As leis lógicas do pensar coerente
(Curitiba, 1991-09)
Teoria da argumentação e análise inferencial em lógica matemática
(Curitiba, 1993-03)
Sobre a lógica da verdade pragmática em cálculo de sequentes
(Universidade Estadual Paulista (Unesp), 2021-02-26)
O objetivo central desta pesquisa é desenvolver um método dedutivo alternativo para a Lógica da Verdade Pragmática (Logic of Pragmatic Truth - LPT) em cálculo de sequentes. Neste sentido, apresentaremos inicialmente o ...