Prıklad: Dokazte následujıcı tvrzenı: ∀ a ∈ Aexp, ∀ σ ∈ Σ, ∀ n

MATEMATICKÉ STRUKTURY V INFORMATICE

MATEMATICKÉ STRUKTURY V INFORMATICE

Algoritmus, správnost algoritmu, složitost algoritmu - OI-Wiki

Algoritmus, správnost algoritmu, složitost algoritmu - OI-Wiki

Unbounded Model Checking

Unbounded Model Checking

Tánc, zene, színház a MASZK legújabb kollekciójában

Tánc, zene, színház a MASZK legújabb kollekciójában

Americké brusinky s mocným účinkem

Americké brusinky s mocným účinkem

Příklad na kapacitu binárního kanálu se zámlkou z přednášky 13.1.16

Příklad na kapacitu binárního kanálu se zámlkou z přednášky 13.1.16

Celoc´ıselné programován´ı

Celoc´ıselné programován´ı

NP-úplné problémy

NP-úplné problémy

zAFUSTKOVE KOV ANi OJNICE

zAFUSTKOVE KOV ANi OJNICE

1. cvičení

1. cvičení

Progressive photon mapping na GPU

Progressive photon mapping na GPU

Fyzikální praktikum I – LS2014/15 Dotaz Odpovědi

Fyzikální praktikum I – LS2014/15 Dotaz Odpovědi

Matematika 2 - 15. prednáška – Úvod do numerické matematiky

Matematika 2 - 15. prednáška – Úvod do numerické matematiky

Petriho síte

Petriho síte

1. Ondra napsal všechna celá cısla od 1 do 100. Kolik napsal

1. Ondra napsal všechna celá cısla od 1 do 100. Kolik napsal

Gramatiky Deterministické konecné automaty

Gramatiky Deterministické konecné automaty

VerilogHDL_DavranışsalModelleme_3_Bus

VerilogHDL_DavranışsalModelleme_3_Bus

3. cvičení

3. cvičení

na doma.

na doma.

zadání

zadání

7. cvičení

7. cvičení

Základy kombinatoriky a teorie graf˚u — 1. cvicen´ı

Základy kombinatoriky a teorie graf˚u — 1. cvicen´ı