Přeskočit na horní lištu
Přeskočit na hlavičku
Přeskočit na aplikační menu
Přeskočit na obsah
Přeskočit na patičku
EN
>
Soubory
>
Studijní materiály
>
Studijní materiály předmětu CST:
T0_IB102
>
Učební materiály
>
11. týden: Rozhodnutelnost problémů. Problém zastavení. Redukce
CST:T0_IB102 Automaty, gramatiky a složitost
Soubory
Dokumenty
Úřední deska
Studijní materiály
Více
Soubory
Dokumenty
Úřední deska
Studijní materiály
Název
Vložil
Vloženo
Práva
11. týden: Rozhodnutelnost problémů. Problém zastavení. Redukce
66105555
/7
Másilko, L.
14. 11. 2016
Složky
Soubory
Janik_Redukce.pdf
Janik_Redukce.txt
Janík - Redukce, Postův korespondeční problém
Janik_Redukce.pdf
Másilko, L.
14. 11. 2016
slajdy10.pdf
slajdy10.txt
Přednáškové slajdy 10
slajdy10.pdf
Másilko, L.
14. 11. 2016
Cviceni16.pdf
Cviceni16.txt
Příklady k procvičení 16 (redukce, Postův korespondeční problém)
Cviceni16.pdf
Másilko, L.
14. 11. 2016
Cviceni16_res.pdf
Cviceni16_res.txt
Příklady k procvičení 16 (vzorové řešení)
Cviceni16_res.pdf
Másilko, L.
5. 12. 2016
Sipser04.pdf
Sipser04.txt
Sipser - 4. Decidability
Sipser04.pdf
Másilko, L.
14. 11. 2016
Sipser05.pdf
Sipser05.txt
Sipser - 5. Reducibility
Sipser05.pdf
Másilko, L.
14. 11. 2016
Záznam přednášky o rozhodnutelnosti a redukci
IB102-D3-20151130.mp4
Másilko, L.
14. 11. 2016
na předmět T0_IB102 Automaty, gramatiky a složitost
Co je jinak
přidání souboru
Soubor nebo složku lze nahrát pomocí tlačítka
Přidat
.
Co je jinak
další operace se soubory
Podrobnosti lze zjistit označením příslušného
řádku
.
Co je jinak
pohled pro experty
Pro častou práci je možné zvolit režim
Více možností
.
Co je nové
vyhledávání souborů
Vyhledávaný výraz můžete zadat přímo do
adresního řádku
.
Co je nové
rychlý přístup k souborům
Pomocí funkce
Nedávné
je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit
Hvězdičkou
.
Co se chystá
Připravujeme další vylepšení pro
mobilní zařízení
.
×
×