Propositional calculus and binary calculus
Fecha
1990-01-01
Autores
Skliar, Osvaldo
Medina, Víctor
Título de la revista
ISSN de la revista
Título del volumen
Editor
Universidad Nacional [Costa Rica]
Resumen
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 words, sequences of digits which can only be either 0 or 1) and certain operation between them. This calculus is then implemented by using neural network type devices.
Presentamos un método eficiente de cálculo proposicional que permite la manipulación de funciones lógicas con un número arbitrario de variables proposicionales. Este método se basa en el uso de secuencias binarias (es decir, secuencias de dígitos que solo pueden ser 0 o 1) y ciertas operaciones entre ellos. Luego, este cálculo se implementa mediante el uso de dispositivos de tipo red neuronal.
Presentamos un método eficiente de cálculo proposicional que permite la manipulación de funciones lógicas con un número arbitrario de variables proposicionales. Este método se basa en el uso de secuencias binarias (es decir, secuencias de dígitos que solo pueden ser 0 o 1) y ciertas operaciones entre ellos. Luego, este cálculo se implementa mediante el uso de dispositivos de tipo red neuronal.
Descripción
Palabras clave
CALCULO (MATEMATICAS), CALCULATION (MATHEMATICS)