http://hdl.handle.net/11320/3582 2026-06-01T07:52:22Z 2026-06-01T07:52:22Z Bancerek, Grzegorz http://hdl.handle.net/11320/3620 2017-10-05T22:55:42Z 2011-01-01T00:00:00Z

Tytuł: Representation Theorem for Stacks Autorzy: Bancerek, Grzegorz Abstrakt: In the paper the concept of stacks is formalized. As the main result the Theorem of Representation for Stacks is given. Formalization is done according to [13].

2011-01-01T00:00:00Z Narita, Keiko Korniłowicz, Artur Shidama, Yasunari http://hdl.handle.net/11320/3619 2020-02-03T07:51:43Z 2011-01-01T00:00:00Z

Tytuł: More on the Continuity of Real Functions Autorzy: Narita, Keiko; Korniłowicz, Artur; Shidama, Yasunari Abstrakt: In this article we demonstrate basic properties of the continuous functions from R to Rn which correspond to state space equations in control engineering.

2011-01-01T00:00:00Z Jaeger, Peter http://hdl.handle.net/11320/3618 2017-10-05T22:55:41Z 2011-01-01T00:00:00Z

Tytuł: Borel-Cantelli Lemma Autorzy: Jaeger, Peter Abstrakt: This article is about the Borel-Cantelli Lemma in probability theory. Necessary definitions and theorems are given in [10] and [7].

2011-01-01T00:00:00Z Korniłowicz, Artur http://hdl.handle.net/11320/3617 2017-10-05T22:55:41Z 2011-01-01T00:00:00Z

Tytuł: Cayley's Theorem Autorzy: Korniłowicz, Artur Abstrakt: The article formalizes the Cayley's theorem saying that every group G is isomorphic to a subgroup of the symmetric group on G.

2011-01-01T00:00:00Z