DSpace Kolekcja: http://hdl.handle.net/11320/3582 2026-06-01T07:52:22Z Representation Theorem for Stacks 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]. 2011-01-01T00:00:00Z More on the Continuity of Real Functions 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. 2011-01-01T00:00:00Z Borel-Cantelli Lemma 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]. 2011-01-01T00:00:00Z Cayley's Theorem 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. 2011-01-01T00:00:00Z