matika všechno teoretického Flashcards
(267 cards)
Na jaké množině je definována booleova algebra? Jaká množina je modulem boolovy algebry?
Množina + 2 binární operace (křížek a tečka) a 1 unární (doplněk)
Axiomy booleovy alge bry
Komutativnost
Asociativnost
Distributivnost
Neutrální prvek:
x + 0 = x
x * 1 = x
x + x’ = 1
x * x’ = 0
Množina
Soubor prvků
Jak zapsat množinu
Výčtem prvků
Zápis dané vlastnosti (x náleží N a je menší nebo rovno 5 - odděluju symbolem svislé čáry)
Množinové operace
Průnik, sjednocení, rozdíl, doplněk, náleží, rovnost, vlastni podmnožina (může být i samotná množina), podmnožina (nemůže být vlastní podmnožina), velikost množiny
Potenční množina
Počet všech podmnožin dané množiny
2 na n
Jak počítám s Vennovými diagramy
Opísmenkuju - tři kruhy a 4 obdélníky
Princip inkluze a exkljze
Velikost sjednocení množin A a B = Velikost A + Velikost B - velikost průniku
Výrok
Tvrzení, u kterého má smysl mluvit o jeho pravdivostí, ale neumsí být jeho Ph zjišěno
Jednoduchý vs složený výrok
Jednoduchý je samotný jeden výrok. Složený výrok je více jednoduchých + logické spojky
Kvantifikovaný výrok
Obsahuje kvantifikátor - Pro každé, Existuje, existuje právě jendo
Tautologie a kontradikce
Tautologie samé 1
Kontradikce samé 0
Negace konjukce (a zároveň)
Negace a nebo negace b
Negace disjunkce (nebo)
Negace a a zároveň negace b
Negace implikace
a a zároveň negace b
Negace ekvivalnce
(negace a ekvivalence b) ekvivalence (a ekvivalence negace b)
Jak rozdělujeme důkazy
Přímý, nepřímý, matematickou indukcí, ekvivalence
Přímý důkaz
Hledám cestu okolu
Nepřímé důkazy
Sporem, obměněnou implikací, důkaz implikace sporem
Důkaz sporem
Dokážu, že negace je nepravdivá
Důkaz obměnenou implikací
Využiju obměněnou implikaci a dokazuju správnost
Důkaz implikace sporem
Přepíšu na negaci implikace a snažím se dojít ke sporu
Důkaz matematickou indukcí a jaké řeším MI
Platí pro první prvek množiny
Platí-li pro k (indukční předpoklad), platí pro k + 1
Dělitelnost a rovnost
Důkaz ekvivalence
Implikace z obou stran