Set of Binary Strings Proof
1409
Proving that the given set has at most $2^{n-1}$ elements
154445
balanced Shortest[] and string-patterns
65168
Proof of sequence inequality
658
Huffman Encoding Proof Probability and Length
37331
Prove that every set with more than one element has a permutation without fixed points
111032
Proof of Sets involving the Cartesian Product
104308
Proving a set is a Sigma Algebra
4221
Determining the number of bit strings of length n that contains no adjacent 0s
54135
Finding the set of strings over {a, b} that do not contain the substring aaa
64658
How many associative binary operations for a set of two elements?
95373
Additive set function on a semiring of sets
131132
Proofs using vector properties
42795
Number of bit strings with 3 consecutive zeros or 4 consecutive 1s
36486
Finding the total number of set-bits from 1 to n
148413
Proving $S_n$ is generated by the set $\{(1\text{ }2),(2\text{ }3),\cdots,(n-1\text{ }n)\}$ of $n-1$ transpositions.
109920
Ordered binary sequences of length n with no two consecutive 0's without using recursion
56828
A combinatorial proof that the alternating sum of binomial coefficients is zero