Buscar
Mostrando ítems 31-40 de 520
Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness
(Robert Rosebrugh, 2015-06)
We introduce an apparent strengthening of Sufficient Cohesion that we call Stable Connected Codiscreteness (SCC) and show that if $p: E --> S$ is cohesive and satisfies SCC then the internal axiom of choice holds in $S$. ...
Cabri's role in the task of proving within the activity of building part of an axiomatic system
(Facultad de Educación, 2007)
We want to show how we use the software Cabri, in a Geometry class for preservice mathematics teachers, in the process of building part of an axiomatic system of Euclidean Geometry. We will illustrate the type of tasks ...
Introduction to Program VerificationIntroducción a la Verificación de Programas
(Revista Abierta de Informática Aplicada, 2022)
Axiomatic design applied to the development of a system for monitoring and teleoperation of a cnc machine through the internet
(Elsevier B.V, 2016)
The new era of manufacturing, called industry 4.0, will require the intensive use of mechatronics products. In this context, there are CyberPhysical Systems and Internet of Things (IoT). These are represented by platforms ...
Teoria dos conjuntos: um estudo introdutório
(Universidade Tecnológica Federal do ParanáToledoBrasilLicenciatura em MatemáticaUTFPR, 2018-06-04)
The present text introduces Axiomatic Set Theory of Zermelo-Fraenkel with Axiom of Choice. Set Theory serves as a foundation for several areas of Mathematics. From axioms and basic constructions like relations, functions ...
Internal proof calculi for modal logics with separating conjunction
(Oxford University Press, 2021-04)
Modal separation logics are formalisms that combine modal operators to reason locally, with separating connectives that allow to perform global updates on the models. In this work, we design Hilbert-style proof systems for ...
SPECIFYING ACTIVE RULES FOR DATABASE MAINTENANCE
(SPRINGER, 2000)
In this article we extend previous work on the development of logical foundations for the specification of the dynamics of databases. In particular, we deal with two problems. Firstly, the derivation of active rules that ...
Axiomatic scalar data interpolation on manifolds
(IEEE, 2003)
We discuss possible algorithms for interpolating data given in a set of curves and/or points in a surface in /spl Ropf//sup 3/. We propose a set of basic assumptions to be satisfied by the interpolation algorithms which ...