Logické programování, PROLOG

Výpočtová složitost I

Výpočtová složitost I

Oznámení - Sberbank

Oznámení - Sberbank

Trochu obšírnìjší výklad

Trochu obšírnìjší výklad

Převody problémů a NP

Převody problémů a NP

Závěrečný test - Pionýr, z. s. - Královéhradecká krajská organizace

Závěrečný test - Pionýr, z. s. - Královéhradecká krajská organizace

VÝROKOVÁ LOGIKA (pokračování)

VÝROKOVÁ LOGIKA (pokračování)

3. Rezoluční metoda

3. Rezoluční metoda

SOYUT L NEER OPERATÖRLE ETK LENM “ B R SÜREKS Z

SOYUT L NEER OPERATÖRLE ETK LENM “ B R SÜREKS Z

Hornův postup

Hornův postup

5.1 Analýza vět, které nespadají pod logický čtverec

5.1 Analýza vět, které nespadají pod logický čtverec

- Univerzita Komenského

- Univerzita Komenského

Úvod do logiky (VL): 6. Vybrané tautologie

Úvod do logiky (VL): 6. Vybrané tautologie

Okruhy pro obor Informatika a výpočetní technika

Okruhy pro obor Informatika a výpočetní technika

F7_Sila_prehled.pdf

F7_Sila_prehled.pdf

Čtyři právní hrady chránící uprchlíky Pavel Molek

Čtyři právní hrady chránící uprchlíky Pavel Molek

13.3.2015

13.3.2015

Induktivní logické programování

Induktivní logické programování

Prospekt - Unikátní sálavé panely CAMPA

Prospekt - Unikátní sálavé panely CAMPA

Matematická olympiáda kategorie mladší Fyzikální olympiáda

Matematická olympiáda kategorie mladší Fyzikální olympiáda

Zadání ZOBÁK

Zadání ZOBÁK

Skupina ČSOB vykázala za 1. čtvrtletí 2016 čistý zisk ve výši 3,3 mld

Skupina ČSOB vykázala za 1. čtvrtletí 2016 čistý zisk ve výši 3,3 mld

Montessori kurzy pro rodiče s dětmi v Mateřském Centru Na Zámečku

Montessori kurzy pro rodiče s dětmi v Mateřském Centru Na Zámečku