Název
Vložil
Vloženo
Práva
 
Učební materiály um/57
24. 3. 2024
Složky
Soubory
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í.