http://hdl.handle.net/11320/3582 Mon, 01 Jun 2026 07:52:22 GMT 2026-06-01T07:52:22Z http://hdl.handle.net/11320/3620 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]. Sat, 01 Jan 2011 00:00:00 GMT http://hdl.handle.net/11320/3620 2011-01-01T00:00:00Z http://hdl.handle.net/11320/3619 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. Sat, 01 Jan 2011 00:00:00 GMT http://hdl.handle.net/11320/3619 2011-01-01T00:00:00Z http://hdl.handle.net/11320/3618 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]. Sat, 01 Jan 2011 00:00:00 GMT http://hdl.handle.net/11320/3618 2011-01-01T00:00:00Z http://hdl.handle.net/11320/3617 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. Sat, 01 Jan 2011 00:00:00 GMT http://hdl.handle.net/11320/3617 2011-01-01T00:00:00Z