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 FI:
IB107
>
Učební materiály
FI:IB107 Vyčíslitelnost 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
Učební materiály
um
/29
24. 3. 2024
Složky
Soubory
03_parametrizace.pdf
03_parametrizace.txt
Slajdy 3: věta o parametrizaci, programovací systémy*, rekurzivní množiny
03_parametrizace.pdf
Strejček, J.
3. 10. 2023
04_re_numerace.pdf
04_re_numerace.txt
Slajdy 4: r.e. množiny a jejch standardní numerace
04_re_numerace.pdf
Strejček, J.
11. 10. 2023
05_uzaverove_vlastnosti.pdf
05_uzaverove_vlastnosti.txt
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
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.2-veta_o_projekci.m4v
Strejček, J.
8. 10. 2021
5.3-10_Hilbertuv_problem.m4v
Strejček, J.
4. 11. 2020
na předmět IB107 Vyčíslitelnost 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í
.
×
×