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 |
Výstupy z výukové jednotky
Student:
- se seznámí se základními termíny teorie predikátového počtu
- umí analyzovat výrazy přirozeného jazyka v rámci predikátové logiky,
- umí vyslovit negaci predikátové formule
- umí použít rezoluční metodu v predikátové logice k ověření splnitelnosti formule, splnitelnosti množiny formulí či k důkazu správnosti úsudku
