Emelt Diszkrét Matematika 1 – Kiemelt bizonyítások (2015)

„A három bizonyítandó tétel közül kettő a kiemeltek közül várható.”

1. Ekvivalenciareláció és osztályfelbontás kapcsolata

2. Diszjunktív normálformára hozás

3. Részbenrendezés és szigorú részbenrendezés kapcsolata

4. Általános asszociativitás, kommutativitás

5. A racionális számok testet alkotnak

6. Műveletek komplex számokkal

7. De Moivre-azonosság

8. n-edik gyökök előállítása

9. n elem k-ad osztályú ismétlés nélküli variációi száma

10. Az ismétléses kombinációk száma

11. Az ismétléses permutációk száma

12. Polinomiális tétel

13. Binet-formula

14. Cantor-Schröder-Bernstein-tétel

15. Megszámlálhatóan végtelen halmazok megszámlálhatóan végtelen családjának egyesítése

megszámlálhatóan végtelen

16. Cantor-tétel

17. A valós számok halmaza nem megszámlálható

18. Minden prím felbonthatatlan

19. Maradékos osztás

20. Számrendszerek

21. Legnagyobb közös osztó létezése

22. Számelmélet alaptétele

23. Eratoszthenészi-szita

24. Teljes és redukált maradékrendszer lineáris transzformációi

25. Euler-tétel

26. Az ax ≡ b (m) lineáris kongruencia megoldhatósága és megoldásszáma

27. Kínai maradéktétel

28. Euler-féle ϕ-függvény multiplikatív