REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2009, Volume 17, Issue 2

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • 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 (WInf)
    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