Název
Vložil
Vloženo
Práva
 
Učební materiály um/39
24. 3. 2024
Složky
Soubory
Automaty a formální jazyky I (skripta, 2014) afj_I.pdf
Strejček, J.
7. 11. 2024
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
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

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