REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/3525
Pełny rekord metadanych
Pole DCWartośćJęzyk
dc.contributor.authorKorniłowicz, Artur-
dc.date.accessioned2015-12-01T19:26:33Z-
dc.date.available2015-12-01T19:26:33Z-
dc.date.issued2009-
dc.identifier.citationFormalized Mathematics, Volume 17, Issue 2, 2009, Pages 99-115-
dc.identifier.issn1426-2630-
dc.identifier.issn1898-9934-
dc.identifier.urihttp://hdl.handle.net/11320/3525-
dc.description.abstractThe article starts with definitions of sets of opposite and inverse numbers of a given number membered set. Next, collective addition, subtraction, multiplication and division of two sets are defined. Complex numbers cases and extended real numbers ones are introduced separately and unified for reals. Shortcuts for singletons cases are also defined.-
dc.language.isoen-
dc.publisherDe Gruyter Open-
dc.titleCollective Operations on Number-Membered Sets-
dc.typeArticle-
dc.identifier.doi10.2478/v10037-009-0011-0-
dc.description.AffiliationInstitute of Computer Science, University of Białystok, Sosnowa 64, 15-887 Białystok Poland-
dc.description.referencesGrzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.-
dc.description.referencesAndrzej Trybulec. Enumerated sets. Formalized Mathematics, 1(1):25-34, 1990.-
dc.description.referencesAndrzej Trybulec. On the sets inhabited by numbers. Formalized Mathematics, 11(4):341-347, 2003.-
dc.description.referencesZinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.-
Występuje w kolekcji(ach):Artykuły naukowe (WMiI)
Formalized Mathematics, 2009, Volume 17, Issue 2

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
v10037-009-0011-0.pdf212,15 kBAdobe PDFOtwórz
Pokaż uproszczony widok rekordu Zobacz statystyki


Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons