Search results for "Mathematica"
showing 10 items of 7971 documents
Closedness properties in team learning of recursive functions
1997
This paper investigates closedness properties in relation with team learning of total recursive functions. One of the first problems solved for any new identification types is the following: “Does the identifiability of classes U1 and U2 imply the identifiability of U1∪U2?” In this paper we are interested in a more general question: “Does the identifiability of every union of n−1 classes out of U1,...,Un imply the identifiability of U1∪...∪Un?” If the answer is positive, we call such identification type n-closed. We show that n-closedness can be equivalently formulated in terms of team learning. After that we find for which n team identification in the limit and team finite identification t…
A constructive semantics for non-deducibility
2008
This paper provides a constructive topological semantics for non-deducibility of a first order intuitionistic formula. Formal topology theory, in particular the recently introduced notion of a binary positivity predicate, and co-induction are two needful tools. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)
On P-compatible hybrid identities and hyperidentities
1994
P-compatible identities are built up from terms with a special structure. We investigate a variety defined by a set ofP-compatible hybrid identities and answer the question whether a variety defined by a set ofP-compatible hyperidentities can be solid.
Introduction to General Duality Theory for Multi-Objective Optimization
1992
This is intended as a comprehensive introduction to the duality theory for vector optimization recently developed by C. Malivert and the present author [3]. It refers to arbitrarily given classes of mappings (dual elements) and extends the general duality theory proposed for scalar optimization by E. Balder, S. Kurcyusz and the present author [1] and P. Lindberg.
Applied Linear Algebra: Electrical Networks
2016
This chapter shows how mathematical theory is not an abstract subject which has no connection with the real world. On the contrary, this entire book is written by stating that mathematics in general, and algebra in this case, is an integrating part of every day real life and that the professional life of computational scientists and engineers requires a solid mathematical background. In order to show how the contents of the previous chapters have an immediate technical application, the last chapter of this book describes a core engineering subject, i.e. electrical networks, as an algebraic exercise. Furthermore, this chapter shows how the combination of the algebraic topics give a natural r…
Local functions on finite groups
2020
We study local properties of finite groups using chains of p p -subgroups.
Continuity of solutions of linear, degenerate elliptic equations
2009
We consider the simplest form of a second order, linear, degenerate, divergence structure equation in the plane. Under an integrability condition on the degenerate function, we prove that the solutions are continuous.
Derivations of quasi *-algebras
2004
The spatiality of derivations of quasi*-algebras is investigated by means of representation theory. Moreover, in view of physical applications, the spatiality of the limit of a family of spatial derivations is considered.
Unification in superintuitionistic predicate logics and its applications
2018
AbstractWe introduce unification in first-order logic. In propositional logic, unification was introduced by S. Ghilardi, see Ghilardi (1997, 1999, 2000). He successfully applied it in solving systematically the problem of admissibility of inference rules in intuitionistic and transitive modal propositional logics. Here we focus on superintuitionistic predicate logics and apply unification to some old and new problems: definability of disjunction and existential quantifier, disjunction and existential quantifier under implication, admissible rules, a basis for the passive rules, (almost) structural completeness, etc. For this aim we apply modified specific notions, introduced in proposition…
Orthogonal functions analysis of singular systems with impulsive responses
1990
Presents a systematic study using piecewise-constant orthogonal functions for the analysis of impulsive responses of singular systems. Walsh and block-pulse functions solutions are examined.