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: Cezary Kaliszyk  
Open Access
|Jan 2011

References

  1. [1] Grzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990.
    Search in Google Scholar
  2. [2] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.
    Search in Google Scholar
  3. [3] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.
    Search in Google Scholar
  4. [4] Czesław Byliński. The complex numbers. Formalized Mathematics, 1(3):507-513, 1990.
    Search in Google Scholar
  5. [5] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.
    Search in Google Scholar
  6. [6] Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.
    Search in Google Scholar
  7. [7] Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.
    Search in Google Scholar
  8. [8] Rafał Kwiatek. Factorial and Newton coefficients. Formalized Mathematics, 1(5):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. Formalized Mathematics, 16(3):283-288, 2008, doi:10.2478/v10037-008-0034-y.10.2478/v10037-008-0034-y
    Search in Google Scholar
  10. [10] Karol Pąk. Cardinal numbers and finite sets. Formalized Mathematics, 13(3):399-406, 2005.
    Search in Google Scholar
  11. [11] Konrad Raczkowski and Andrzej Nędzusiak. Real exponents and logarithms. Formalized Mathematics, 2(2):213-216, 1991.
    Search in Google Scholar
  12. [12] Konrad Raczkowski and Paweł Sadowski. Topological properties of subsets in real numbers. Formalized Mathematics, 1(4):777-780, 1990.
    Search in Google Scholar
  13. [13] Piotr Rudnicki and Andrzej Trybulec. Abian's fixed point theorem. Formalized Mathematics, 6(3):335-338, 1997.
    Search in Google Scholar
  14. [14] Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.
    Search in Google Scholar
  15. [15] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.
    Search in Google Scholar
  16. [16] Tetsuya Tsunetou, Grzegorz Bancerek, and Yatsuka Nakamura. Zero-based finite sequences. Formalized Mathematics, 9(4):825-829, 2001.
    Search in Google Scholar
  17. [17] Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.
    Search in Google Scholar
  18. [18] Yuguang Yang and Yasunari Shidama. Trigonometric functions and existence of circle ratio. Formalized Mathematics, 7(2):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
Publication frequency: 1 issue per year
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other

© 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)