Name
Posted by
Uploaded/Created
Rights
 
Learning Materials um/57
24/3/2024
Folders
Files
Automaty a formální jazyky I (skripta, 2014) afj_I.pdf
Strejček, J.
7/11/2024
Slajdy 10: polynomiální redukce a NP-úplné problémy 10_NP-uplne.pdf
Strejček, J.
22/11/2023
Slajdy 11: další NP-úplné problémy, prostorová složitost, vztahy složitostních tříd 11_prostorova_slozitost.pdf
Strejček, J.
9/12/2024
Slajdy 12: sublineární prostorové složitostní třídy*, TQBF 12_L_NL_TQBF.pdf
Strejček, J.
5/12/2023
Slajdy 3: věta o parametrizaci, programovací systémy*, rekurzivní množiny 03_parametrizace.pdf
Strejček, J.
3/10/2023
Slajdy 4: r.e. množiny a jejch standardní numerace 04_re_numerace.pdf
Strejček, J.
11/10/2023
Slajdy 5: uzávěrové vlastnosti rekurzivních a r.e. množin, věta o projekci, 10. Hilbertův problém* 05_uzaverove_vlastnosti.pdf
Strejček, J.
18/10/2023
Slajdy 6: Riceovy věty, redukce 06_Riceovy_vety.pdf
Strejček, J.
1/11/2024
Slajdy 7: opakování, Turingovy stroje a redukce, Postův korespondenční problém 07_Turingovy_stroje.pdf
Strejček, J.
27/10/2023
Slajdy 8: časová složitost algoritmu, časové složitostní třídy 08_casova_slozitost.pdf
Strejček, J.
7/11/2023
Slajdy 9: třída P, algoritmus C-Y-K, třída NP 09_P_NP.pdf
Strejček, J.
16/11/2022
10.1-p-redukce.m4v
Strejček, J.
17/12/2020
10.2-SAT.m4v
Strejček, J.
13/11/2021
10.3-3SAT.m4v
Strejček, J.
20/11/2021
10.4-CLIQUE.m4v
Strejček, J.
20/11/2021
11.1-VERTEX-COVER.m4v
Strejček, J.
29/11/2023
11.2-prostorova_slozitost.m4v
Strejček, J.
29/11/2023
11.3-vztahy_trid.m4v
Strejček, J.
29/11/2023
12.1-TQBF.m4v
Strejček, J.
29/11/2023
3.1-veta_o_parametrizaci.m4v
Strejček, J.
22/10/2020
3.2-programovaci_systemy.m4v
Strejček, J.
24/9/2021
3.3_rekurzivni_re_I.m4v
Strejček, J.
4/10/2022
4.1_rekurzivni_re_II.m4v
Strejček, J.
4/10/2022
4.2_numerace_mnozin.m4v
Strejček, J.
4/10/2022
5.1-uzaverove_vlastnosti.m4v
Strejček, J.
19/10/2024
5.1_uzaverove_vlastnosti_v2.mp4
Strejček, J.
19/10/2024
5.1_uzaverove_vlastnosti_v3.mp4
Strejček, J.
4/11/2024
5.2-veta_o_projekci.m4v
Strejček, J.
8/10/2021
5.3-10_Hilbertuv_problem.m4v
Strejček, J.
4/11/2020
6.1-1_Riceova_veta.m4v
Strejček, J.
15/10/2021
6.2-2a3_Riceova_veta.m4v
Strejček, J.
11/11/2020
6.3-redukce.m4v
Strejček, J.
25/10/2022
7.1-opakovani.m4v
Strejček, J.
23/10/2021
7.2-TM_redukce.m4v
Strejček, J.
25/10/2022
7.3-PCP.m4v
Strejček, J.
25/10/2022
8.1-slozitost_algoritmu.m4v
Strejček, J.
30/10/2021
8.2-slozitostni_tridy.m4v
Strejček, J.
30/10/2021
9.1-P.m4v
Strejček, J.
5/11/2021
9.2-CYK.m4v
Strejček, J.
5/11/2021
9.3-NP.m4v
Strejček, J.
5/11/2021

  • 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í.