Cvičebnice jazyka R |
Algoritmizace a programování |
Analýza dat v R |
Databázové systémy v biomedicíně |
Teoretické základy informatiky |
Teorie čísel |
Výpočetní matematické systémy |
Výstupy z výukové jednotky |
Motivace |
Celá čísla |
Faktorizace a prvočísla |
Dělitelnost |
Modulární aritmetika |
Racionální a reálná čísla |
Číselné soustavy |
Převody mezi číselnými soustavami |
Aritmetické operace s binárními čísly |
Dvojkový doplněk |
Literatura |
Teorie množin |
Výstupy z výukové jednotky |
Motivace |
Základní pojmy |
Základní množinové operace a zákony |
Kartézský součin |
Relace |
Vlastnosti binárních relací na množině |
Zobrazení, funkce, operace |
Literatura |
Výroková logika |
Výstupy z výukové jednotky |
Motivace |
Úvod |
Složený výrok |
Jazyk výrokové logiky |
Pravdivostní hodnota formule |
Tautologie, kontradikce, splnitelnost |
Zákony pro práci s výroky |
Systémy úplných logických spojek |
DNF, KNF |
Úsudek, dedukce |
Logické důsledky výrokových formulí |
Literatura |
Predikátová logika |
Výstupy z výukové jednotky |
Motivace |
Predikáty |
Kvantifikátory |
Sémantika predikátové logiky 1. řádu |
Volná a vázaná proměnná |
Převod z přirozeného jazyka do symbolického jazyka predikátové logiky |
Sémantika jazyka predikátové logiky (interpretace formulí) |
Negace predikátových formulí |
Automatické dokazování v predikátové logice (obecná rezoluční metoda) |
Teorie grafů |
Skolemizace |
Postup převodu sentence do klausálního tvaru |
Unifikace literálů |
Rezoluční princip |
Důkaz pravdivosti formule |
Důkaz správnosti úsudku |
Literatura |
Výstupy z výukové jednotky |
Motivace |
Základní pojmy |
Vlastnosti grafů |
Reprezentace grafů |
Matice sousednosti |
Matice incidence |
Matice dostupnosti |
Matice vzdáleností |
Seznam sousednosti |
Seznam uzlů pro kořenové stromy |
Reprezentace stromů v tabulce |
Optimalizační úlohy nad grafy |
Prohledávání grafu do hloubky |
Prohledávání grafu do šířky |
Dijkstrův algoritmus |
Floydův algoritmus |
Literatura |
Literatura
Pro další studium problematiky výrokové logiky doporučuji čtenáři následující literaturu:
- Hliněný P. (2012): Matematické Základy Informatiky, skripta FI MU Brno
- Duží M. (2012): Logika pro informatiky, skripta VŠB-TU Ostrava
- Mlček J. (2012), Výroková a predikátová logika, el. skripta
- Vaníček J. a kolektiv (2008): Teoretické základy informatiky, Kernberg Publishing, s.r.o., Praha
- Švejdar V. (2002), Logika, neúplnost, složitost a nutnost, Academia, Praha
- Sochor A. (2001), Klasická matematická logika, Univerzita Karlova v Praze - Karolinum
