Skip to main content
Have a personal or library account? Click to login
Counting Derangements, Non Bijective Functions and the Birthday Problem Cover

Counting Derangements, Non Bijective Functions and the Birthday Problem

Formalized Mathematics
Volume 18 (2010): Issue 4 (December 2010)
By:   
Open Access
|Jan 2011
References

References

  1. [1] Grzegorz Bancerek. Cardinal numbers., 1():377-382, 1990.
    Search in Google Scholar
  2. [2] Grzegorz Bancerek. The fundamental properties of natural numbers., 1():41-46, 1990.
    Search in Google Scholar
  3. [3] Grzegorz Bancerek. The ordinal numbers., 1():91-96, 1990.
    Search in Google Scholar
  4. [4] Czesław Byliński. The complex numbers., 1():507-513, 1990.
    Search in Google Scholar
  5. [5] Czesław Byliński. Functions and their basic properties., 1():55-65, 1990.
    Search in Google Scholar
  6. [6] Czesław Byliński. Functions from a set to a set., 1():153-164, 1990.
    Search in Google Scholar
  7. [7] Agata Darmochwał. Finite sets., 1():165-167, 1990.
    Search in Google Scholar
  8. [8] Rafał Kwiatek. Factorial and Newton coefficients., 1():887-890, 1990.
    Search in Google Scholar
  9. [9] Yatsuka Nakamura and Hisashi Ito. Basic properties and concept of selected subsequence of zero based finite sequences., 16():283-288, 2008, doi:10.2478/v10037-008-0034-y.
    Open DOISearch in Google Scholar
  10. [10] Karol Pąk. Cardinal numbers and finite sets., 13():399-406, 2005.
    Search in Google Scholar
  11. [11] Konrad Raczkowski and Andrzej Nędzusiak. Real exponents and logarithms., 2():213-216, 1991.
    Search in Google Scholar
  12. [12] Konrad Raczkowski and Paweł Sadowski. Topological properties of subsets in real numbers., 1():777-780, 1990.
    Search in Google Scholar
  13. [13] Piotr Rudnicki and Andrzej Trybulec. Abian's fixed point theorem., 6():335-338, 1997.
    Search in Google Scholar
  14. [14] Michał J. Trybulec. Integers., 1():501-505, 1990.
    Search in Google Scholar
  15. [15] Zinaida Trybulec. Properties of subsets., 1():67-71, 1990.
    Search in Google Scholar
  16. [16] Tetsuya Tsunetou, Grzegorz Bancerek, and Yatsuka Nakamura. Zero-based finite sequences., 9():825-829, 2001.
    Search in Google Scholar
  17. [17] Edmund Woronowicz. Relations and their basic properties., 1():73-83, 1990.
    Search in Google Scholar
  18. [18] Yuguang Yang and Yasunari Shidama. Trigonometric functions and existence of circle ratio., 7():255-263, 1998.
    Search in Google Scholar
DOI: https://doi.org/10.2478/v10037-010-0023-9 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 197 - 200
Published on: Jan 5, 2011
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Related subjects:
Computer sciences,
Artificial intelligence,
Computer sciences, other,
Mathematics,
Logic and set theory,
General mathematics

© 2011 Cezary Kaliszyk, published by University of Białystok
This work is licensed under the Creative Commons License.

Volume 18 (2010): Issue 4 (December 2010)
Previous article
Next article