SpisTreściDoRomka, studia, Matma, Matma Dyskretna


  1. Tautologia, rachunek zdań oraz schematy równoważne

  2. Podstawowe” tautologie: (1.8…1.15)

  3. Własności schematów równoważnych

  4. Zdefiniować za pomocą v i ~ funktory: , >, >

  5. Zdefiniować za pomocą B8 (przypomnienie├ (p B8q)~(pq)) funktory v,~, 

  6. Reguła dowodzenia

  7. Funkcja zdaniowa

  8. Wniosek 2.1 (wzory (2.2)(2.3) i (2.4)

  9. Twierdzenie 2.3 oraz Dowód punktu a)

  10. Kwantyfikatory: ogólne, egzystencjalne. Pojecie zmiennej wolnej i związanej z kwantyfikatorem.

  11. Twierdzenie 2.6 oraz jego dowód.

  12. Tautologie rachunku funkcyjnego

  13. Tautologie rachunku dot. rozdzielności kwantyfikatorów

  14. Prawa przestawiania kwantyfikatorów

  15. Tautologie (2.48)(2.49)

  16. Twierdzenie 3.5 i jego Dowód.

  17. Różnica symetryczna zbiorów

  18. Twierdzenie 3.8 Dowód

  19. Dopełnienie zbioru

  20. Twierdzenie 3.12 Dowod (c….f)

  21. Zbiór potęgowy, ciało zbioru

  22. Twierdzenie 3.14 i Dowod punktu b)

  23. Para uporządkowana, produkt kartezjański

  24. Twierdzenia 3.15 3.16

  25. Relacja dwuczłonowa

  26. Relacja zwrotna, przeciwzwrotna itd.

  27. Relacja równoważności , klasa abstrakcji, przestrzeń ilorazowa

  28. Twierdzenie 3.20 i Dowod c i d

  29. „Przetrawic” przykłady 3.3 i 3.7

  30. Aksjomaty 4.1…4.5 dla zbioru liczb naturalnych.

  31. Dodawanie i mnożenie liczb naturalnych

  32. Twierdzenie (4.2) Dowod

  33. Twierdzenie 4.4

  34. Twierdzenie (4.6)(4.8)

  35. Def (5.2) twierdzenie 5.2

  36. Aksjomat 5.1

  37. Zbiór przeliczalny

  38. Twierdzenie 5.3

  39. Twierdzenie (5.4) (5.5) (5.6) (5.7)

  40. Twierdzenie 5.9 i dowod

  41. Zbiory przeliczalne - przykłady

  42. Zbiory nieprzeliczalne - przykłady

  43. Nierówność dla liczb kardynalnych

  44. Moc continuum

  45. Twierdzenia(5.17)(5.18)(5.19)

  46. Moc Continuum - przykłady

  47. Funkcja charakterystyczna

  48. Twierdzenie (5.22)(5.23)(5.24)

  49. Twierdzenie 5.25 przykłady

  50. Twierdzenie (5.26)(5.27)(5.28)

  51. Twierdzenie (5.29) i dowód

  52. Twierdzenie 5.31

  53. Twierdzenie 5.32

  54. Zastosowanie teorii równoliczności i mocy zbiorów



Wyszukiwarka

Podobne podstrony:
Romekbeta2.0, studia, Matma, Matma Dyskretna
matma dyskretna 05 id 287941 Nieznany
matma dyskretna 04 id 287940 Nieznany
matma dyskretna 02
matma dyskretna 10
analiza sciaga, studia, Matma, Analiza Matematyczna, analiza, Ściągi
matma dyskretna 06
Pochodnesciagi, studia, Matma, Analiza Matematyczna, analiza, Ściągi
matma dyskretna-09
matma dyskretna-01
matma dyskretna-02
matma dyskretna-03
matma dyskretna 08
Szeregi o wyrazach dowolnych itd, studia, Matma, Analiza Matematyczna, analiza, Ściągi
Matma Dyskretna Vol 2 Arytmetyka(zadania przyklady)
matma dyskretna 03

więcej podobnych podstron