Tag: discrete mathematics
- Constructing a Kripke model where $p \rightarrow \Box \Diamond q$ is false.
- Strongly connected? Binary numbers of length n with bounded hamming weight
- Catalan numbers in numerical sequences
- Number of bipartite graphs given two sets
- Formal proof that an infinite complete binary tree has countably many infinite nodes
- Probability of at least one ace in a hand without using complementary event
- Sum of the fifth powers of the first n numbers
- Prove that at least one student solved all the problems using PHP
- Number of ways to arrange objects in a circle, some of which may be identical
- Derive a homogenous linear recurrence from $x_n=2^n+F_n$