Results 21 to 30 of about 2,875 (123)
Cartesian Products of Family of Real Linear Spaces [PDF]
, 2011 In this article we introduced the isomorphism mapping between cartesian products of family of linear spaces [4]. Those products had been formalized by two different ways, i.e., the way using the functor [:X, Y:] and ones using the functor "product".
Agata Darmochwał +22 more
core +2 more sources
Archiwa, Biblioteki i Muzea Kościelne, 2018 W ciągu wieków pojawiało się wiele rodzajów krzyży. Posiadały one różne formy, znaczenie i symbolikę. W czasach prehistorycznych krzyż był amuletem, chronił przed złymi mocami, ale też symbolizował bóstwa. Krzyże były związane zazwyczaj z formą kultu sił
Alina Czachorowska, Jolanta Wasilewska
doaj +1 more source
Vector Functions and their Differentiation Formulas in 3-dimensional Euclidean Spaces [PDF]
, 2010 In this article, we first extend several basic theorems of the operation of vector in 3-dimensional Euclidean spaces. Then three unit vectors: e1, e2, e3 and the definition of vector function in the same spaces are introduced.
Agata Darmochwał +15 more
core +1 more source
O poznańskich rękopisach i starych drukach w zbiorach Biblioteki Uniwersyteckiej w Uppsali
Biblioteka, 2014 Artykuł jest prezentacją wyników wstępnej kwerendy w Bibliotece Uniwersyteckiej w Uppsali, przeprowadzonej 14–18 maja 2012 roku. Jej celem był ogólny przegląd najstarszej części księgozbioru pod kątem znajdujących się w nim rękopisów i starych druków ...
Alicja Szulc +1 more
doaj +1 more source
Kolekcje w Bibliotece Liceum Krzemienieckiego
Z Badań nad Książką i Księgozbiorami Historycznymi, 2020 Artykuł stanowi krótką charakterystykę księgozbioru Liceum Krzemienieckiego. Książki trafiały tam za pośrednictwem zakupów, darów oraz przejmowania z likwidowanych szkół guberni wołyńskiej.
Zoja Jaroszewicz-Pieresławiec
doaj +1 more source
Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms [PDF]
, 2011 Second of a series of articles laying down the bases for classical first order model theory. A language is defined basically as a tuple made of an integer-valued function (adicity), a symbol of equality and a symbol for the NOR logical connective.
Agata Darmochwał +22 more
core +1 more source
Lektury lekarza – książka Leonarda Botalla w Bibliotece Uniwersyteckiej w Poznaniu
Biblioteka, 2009 Wśród druków francuskich Biblioteki Uniwersyteckiej w Poznaniu znajduje się interesujący zbiór (klocek) szesnastowiecznych traktatów medycznych, wydany w Lyonie przez Guillaume’a Rouillé oraz Paula Miraillet, zawierający dwa dzieła Galena: De naturalibus
Renata Wilgosiewicz – Skutecka +1 more
doaj +1 more source
Wielki apetyt na „miniburgera” . O problemach opracowania komiksów w formacie MARC 21
Biblioteka, 2010 Od 2007 roku Biblioteka Uniwersytecka w Poznaniu gromadzi komiksy oraz materiały ich dotyczące. Momentem znaczącym dla gromadzenia tych wydawnictw był zakup prywatnej kolekcji 4670 komiksów.
Agnieszka Szczecińska, Anna Kowalska
doaj +1 more source
Epsilon Numbers and Cantor Normal Form [PDF]
, 2009 An epsilon number is a transfinite number which is a fixed point of an exponential map: ωϵ = ϵ. The formalization of the concept is done with use of the tetration of ordinals (Knuth's arrow notation, ↑). Namely, the ordinal indexing of epsilon numbers is
Agata Darmochwał +10 more
core +4 more sources
Spis gazet polskich okresu międzywojennego (1918-1939) w Bibliotece Uniwersyteckiej w Poznaniu
Biblioteka, 2009 Informacja dotyczy retrospektywnej bazy gazet, dzienników i orędowników w wersji on-line znajdujących się w Bibliotece Uniwersyteckiej w Poznaniu. Baza gazet wydawanych w języku polskim obejmuje okres międzywojenny 1918-1939.
Barbara Góra, Aleksandra Mikołajska
doaj +1 more source