REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

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

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/21451
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorGrabowski, Adam-
    dc.date.accessioned2026-11-06T09:51:28Z-
    dc.date.available2026-11-06T09:51:28Z-
    dc.date.issued2004-
    dc.identifier.citationFormalized Mathematics, Volume 12, Issue 1, Pages 21-28pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/21451-
    dc.description.abstractWe present basic concepts concerning rough set theory. We define tolerance and approximation spaces and rough membership function. Different rough inclusions as well as the predicate of rough equality of sets are also introduced.pl
    dc.description.sponsorshipThis work has been partially supported by the CALCULEMUS grant HPRN-CT-2000-00102.pl
    dc.language.isoenpl
    dc.publisherUniversity of Białystokpl
    dc.rightsCC BY-SA 4.0-
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/4.0/-
    dc.titleBasic Properties of Rough Sets and Rough Membership Functionpl
    dc.typeArticlepl
    dc.rights.holder© 2005 University of Białystokpl
    dc.rights.holderThis work is licensed under the Creative Commons License.pl
    dc.description.referencesGrzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377–382, 1990.pl
    dc.description.referencesGrzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107–114, 1990.pl
    dc.description.referencesJózef Białas. Group and field definitions. Formalized Mathematics, 1(3):433–439, 1990.pl
    dc.description.referencesCzesław Byliński. Basic functions and operations on functions. Formalized Mathematics, 1(1):245–254, 1990.pl
    dc.description.referencesCzesław Byliński. Finite sequences and tuples of elements of a non-empty sets. Formalized Mathematics, 1(3):529–536, 1990.pl
    dc.description.referencesCzesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55–65, 1990.pl
    dc.description.referencesCzesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153–164, 1990.pl
    dc.description.referencesCzesław Byliński. Partial functions. Formalized Mathematics, 1(2):357–367, 1990.pl
    dc.description.referencesCzesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47–53, 1990.pl
    dc.description.referencesCzesław Byliński. The sum and product of finite sequences of real numbers. Formalized Mathematics, 1(4):661–668, 1990.pl
    dc.description.referencesAgata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165–167, 1990.pl
    dc.description.referencesAdam Grabowski. On the category of posets. Formalized Mathematics, 5(4):501–505, 1996.pl
    dc.description.referencesKrzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35–40, 1990.pl
    dc.description.referencesAndrzej Nędzusiak. Probability. Formalized Mathematics, 1(4):745–749, 1990.pl
    dc.description.referencesAndrzej Nędzusiak. σ-fields and probability. Formalized Mathematics, 1(2):401–407, 1990.pl
    dc.description.referencesBeata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223–230, 1990.pl
    dc.description.referencesKonrad Raczkowski and Paweł Sadowski. Equivalence relations and classes of abstraction. Formalized Mathematics, 1(3):441–444, 1990.pl
    dc.description.referencesKonrad Raczkowski and Paweł Sadowski. Topological properties of subsets in real numbers. Formalized Mathematics, 1(4):777–780, 1990.pl
    dc.description.referencesAndrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics.pl
    dc.description.referencesAndrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1(2):329–334, 1990.pl
    dc.description.referencesAndrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9–11, 1990.pl
    dc.description.referencesAndrzej Trybulec and Czesław Byliński. Some properties of real numbers. Formalized Mathematics, 1(3):445–449, 1990.pl
    dc.description.referencesWojciech A. Trybulec. Groups. Formalized Mathematics, 1(5):821–827, 1990.pl
    dc.description.referencesWojciech A. Trybulec. Partially ordered sets. Formalized Mathematics, 1(2):313–319, 1990.pl
    dc.description.referencesZinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990.pl
    dc.description.referencesEdmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73–83, 1990.pl
    dc.description.referencesEdmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181–186, 1990.pl
    dc.description.referencesEdmund Woronowicz and Anna Zalewska. Properties of binary relations. Formalized Mathematics, 1(1):85–89, 1990.pl
    dc.description.volume12pl
    dc.description.issue1pl
    dc.description.firstpage21pl
    dc.description.lastpage28pl
    dc.identifier.citation2Formalized Mathematicspl
    Występuje w kolekcji(ach):Artykuły naukowe (WInf)
    Formalized Mathematics, 2004, Volume 12, Issue 1

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    Basic_Properties_of_Rough_Sets_and_Rough_Membership_Function.pdf98,98 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


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