Results for:
"
Czeslaw+Rzepinski&action
" in Documents
- Dr. Czeslaw Kozlowski
-
Rating:
Views: (5)
Pages: ()
Uploaded: 1972-1-1
- banach cj?
- Abstract ? The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal abstract model ...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 22-01-08
- Galois Connections 1
- algebras.
-
Rating:
Views: (1009)
Pages: ()
Uploaded: 08-04-09
- Yatsuka Nakamura
- and terminology for this paper.
-
Rating:
Views: (1011)
Pages: ()
Uploaded: 08-04-09
- JOURNAL OF FORMALIZED MATHEMATICS
- the objects of all sets X ? V, morphisms of all mappings from X into Y, with the usual composition of mappings. By a mapping we mean a triple where f is a function from X into Y. The notations and con...
-
Rating:
Views: (1015)
Pages: ()
Uploaded: 08-04-09
- 2 BASIC PROPERTIES OF SETS
- Summary. In this article some basic theorems about singletons, pairs, power sets, unions of families of sets, and the cartesian product of two sets are proved.
-
Rating:
Views: (1018)
Pages: ()
Uploaded: 08-04-09
- MML Identifier JORDAN8 Gauges
- D is a set, f is a finite sequence of elements of D, and G is a matrix over D. One can prove the following propositions: (1) If len f = 2, then f ?2 = < f1, f2>. (2) If k + 1 = len f, then f ?(k + 1) ...
-
Rating:
Views: (1009)
Pages: ()
Uploaded: 08-04-09
- Functions from a set to a set 1989 984 citations ? 26 self
- function from a set X into a set Y, denoted by ?Function of X,Y ?, the set of all functions from a set X into a set Y, denoted by Funcs(X,Y), and the permutation of a set (mode Permutation of X, where...
-
Rating:
Views: (1000)
Pages: ()
Uploaded: 08-04-09