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:
IA085
>
Učební materiály
>
Seminars
FI:IA085 Satisfiability and Automated Reasoning
Soubory
Dokumenty
Úřední deska
Studijní materiály
Více
Soubory
Dokumenty
Úřední deska
Studijní materiály
Název
Vložil
Vloženo
Práva
Seminars
seminars
/3
Jonáš, M.
14. 2. 2025
Složky
Code
code
/3
Šárník, J.
18. 2. 2025
Soubory
01.pdf
01.txt
Seminar 1
01.pdf
Šárník, J.
6. 3. 2025
02.pdf
02.txt
Seminar 2
02.pdf
Šárník, J.
6. 3. 2025
na předmět IA085 Satisfiability and Automated Reasoning
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í
.
×
×