Buscar
Mostrando ítems 1-10 de 37
Some fragments of second-order logic over the reals for which satisfiability and equivalence are (un)decidable
(Jagiellonian University, 2014-05)
We consider the Σ1 0-fragment of second-order logic over the vocabulary h+, ×, 0, 1, <, S1, ..., Ski, interpreted over the reals, where the predicate symbols Si are interpreted as semi-algebraic sets. We show that, in this ...
Proofs of the undecidability of stegananalysis techniques
(SpringerCH, 2020)
Steganalysis comprises a set of techniques that strive to find concealed information within diverse types of digital media. On the contrary, Steganography involves a group of methods that, by manipulation of a cover object, ...
Two's Company: The Humbug Of Many Logical Values
(Birkhäuser Verlag Basel • Boston • Berlin, 2005)
Matemáticas financieras como base del análisis financiero empresarial
It is normal that the students of the universities do not notice the different levels that they are achieving in each of the professional competences or abilities of their career; one of these competences is the skill or ...
Modeling and simulating for the treatment of subjectivity in the process of choosing personnel using fuzzy logic
(Universidad de la Costa, 2020)
Módulo de unificación aritmética pre-hamburguesa y otras teorías decidibles
(Universidad Autónoma de Bucaramanga UNAB, 2001-12-01)
Presentamos un algoritmo de unificación general módulo Presburger Arithmetic para una clase restringida de teorías especificadas modularmente donde los símbolos de función de la teoría objetivo tienen clases de codominio ...
Soluções de equações quadráticas por 'Abd al Hamid Ibn Turk na formação inicial do professor de matemática: uma perspectiva orientada pela história da matemática
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM ENSINO DE CIÊNCIAS NATURAIS E MATEMÁTICA, 2020-06-04)
The present work deals with the presentation of a notebook of activities that aims at the
integration between the History of Mathematics (HM) and the Digital Technologies of
Information and Communication (TDIC) through ...