TEORETICKÉ ZÁKLADY INFORMATIKY Flashcards
MNOŽINY - základ
- Množina - souhrn objektů/prvků
- Určení množiny je možné dvěma způsby:
- Výčtem prvků - M={1,2,3}
- Vlastností - M = {nϵN | n < 4} (stejná množina jako výše)
- Počet prvků množiny značíme: |M| = 2
- Prázdná množina se zapisuje jako:
- Určení množiny je možné dvěma způsby:
MNOŽINY - základ
- Funkční symboly:
- A V B - sjednocení
- A ∧ B - průnik
- Pravidlem je, že každý podmnožina je podmnožinou sama sebe. Prázdná množina je podmnožinou každé množiny (I té prázdné)
- Potenční množina - značí se P(A). Tvoří se z množiny všech podmnožin určité množiny.
Doplňek množiny - Rozdíl prvků v množině A, a libovolné podmnožiny A. - Předikátové symboly:
MNOŽINY - základ
- Jsou taktéž nadefinované následující množiny:
- N - přirozená čísla; 1, 2, 3, … nekonečno
- Q - recionální čísla; desetinná čísla jež lze vyjádřit ve zlomku
R - reálná čísla; čísla, jež lze znázornit na číselné ose
C - komplexní čísla; uspořádaná dvojice reálných čísel.
Platí:
MNOŽINY - Kartézský součin
- Kartézský součin (A x B) - množina všech uspořádaných dvojic takových, že první prvek patří do první množiny a druhý do druhé množiny - např:
MNOŽINY - Relace
Relace - libovolná podmnožina kartézského součinu
- Mezi vlastnosti relací patří:
- Reflexivita (sama se sebou)
- Symetrie
- Antisymetrie
- Tranzitivita
- Úplnost
- Zobrazení - relace, kde ke každému prvku z množiny A existuje jediný prvek z množiny B, který je s ním v relaci
DATA A ALGORITMY
- Údaj - hodnota získaná měřením/pozorováním/zaznamenáváním reálné skutečnosti
- Data - Jakékoliv vyjádření skutečnosti, které můžeme uchovat, interpretovat, zpracovat či posílat nazývýme daty. Zdroj pro informace. Sama o sobě jsou data nehmotná, ale musí být uchovávana skrze hmotné médium.
- Informace - Kombinace dat a jejich intepretace. Snižují neznalost. Míra tohoto snížení neznalosti je závislá na tom, kdo danou informaci
- Algoritmus - Algoritmus je přesný postup, který se využívá pro řešení nějaké úlohy. V oblasti programování se jím myslí teoretický princip řešení problému.
- Znalosti - ucelený komplex informací o nějaké objektivní realitě; výsledek poznávacího procesu
- Syntaxe - Struktura a způsob zápisu
Sémantika - Význam
VÝROKOVÝ A PREDIKÁTOVÝ KALKUL VE FORMULACI ALGORITMŮ A DAT - Výroková logika
- Výrok - tvrzení, o němž je smysluplné prohlásit, zda je pravdivé či nikoliv
- Složený výrok - Výrok, který je tvořen souvětím, tj. Více výroky spojenými logickými spojkami
- Jazyk výrokové logicky:
- Výrokové proměnné - písmena abecedy, např. p = venku prší
- Logické spojky
- Negace - obrácení pravdivosti
- Disjunkce - nebo
- Konjukce - a zároveň
- Implikace - z toho plyne
- Ekvivalence - právě tehdy když
- Závorky - pro zápis priority
- Tautologie - vždy pravdivý výrok
Kontradikce - Vždy nepravdivý výrok
VÝROKOVÝ A PREDIKÁTOVÝ KALKUL VE FORMULACI ALGORITMŮ A DAT - Pravdivostní tabulka
VÝROKOVÝ A PREDIKÁTOVÝ KALKUL VE FORMULACI ALGORITMŮ A DAT - Úplný systém logických spojek
- Negace, konjukce, disjunkce
- Negace a konjukce
- Negade a disjunkce
- Negace a implikace
- Shefferova spojka
- Piercova spojka
VÝROKOVÝ A PREDIKÁTOVÝ KALKUL VE FORMULACI ALGORITMŮ A DAT - Shefferova a Piercova spojka
VÝROKOVÝ A PREDIKÁTOVÝ KALKUL VE FORMULACI ALGORITMŮ A DAT - Způsob zápisu výrazů
- Infixový - Operátor mezi operandy
- Prefixový - Operátor před operandy
- Z infixového na prefixový zápis lze převod provést pomocí stromového rozkladu
- Postfixový - Operátor za operandy
- Z infoxového na postfixový lze převod provést pomocí algoritmu slepé koleje
Z postifxu na infix - pomocí zásobníkového automatu
Normální formy výrokových formulí
- DNF - Disjuktivní normálová forma - Disjunkce konjukcí (v závorkách jsou konjukce)
- KNF - Konjuktivní normálová forma - Konjukce disjunkcí (V závorkách jsou disjunkce)
Predikátová logika
- Pokud potřebujeme zkoumat vlastnosti víc než jediného objektu - potřebujeme se ptát, zda danou vlastnost má z dané množiny:
- Alespoň jeden prvek
- Každý prvek
- Tento zápis se nazývá predikát. Po dosazení vhodné hodnoty do tohoto zápisu bychom měli získat smysluplný výrok.
Arita
- Arita - četnost; určuje počet operandů/parametrů či argumentů
- Podle arity se rozlišují operátori:
- Unární (negace, faktorial)
- Binární (+-)
- Ternární
GRAFY V PRÁCI INFORMATIKA
- Graf - umožňuje vizuální reprezentaci vztahů v různých množinách prvků
- Využití: např. problém obchodního cestujícího, GIS, teorie her, management, dopravní sítě.
- V rámci informatiky jsou grafy potřebné pro řízení projektu nad IS, prozkoumání prvních návrhů aplikačního software, pro zkoumání ERD, výsledků datové analýzy, DFD, výsledků procesní analýzy …
- Usnadňují vyhledávání, řazení, kódování
- Pokud x=y, h je smyčka
- Uzel, který není incidentní s žádnou hranou se nazývá izolovaný
- Neorientovaný graf - ke každé hraně h existuje protisměrná hrana h’.