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:
IA008
>
Učební materiály
FI:IA008 Computational Logic
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
/5
27. 4. 2013
Složky
Non-monotonic logic
45421667
/7
Popelínský, L.
10. 12. 2013
Soubory
analysis_of_resolution_proofs.pdf
analysis_of_resolution_proofs.txt
analysis_of_resolution_proofs.pdf
Vaculík, K.
2. 12. 2013
ssll09_gore_im.pdf
ssll09_gore_im.txt
Introduction to Modal and Temporal Logic
ssll09_gore_im.pdf
Popelínský, L.
2. 5. 2010
LogikaSve2002.pdf
LogikaSve2002.txt
Logika: Neúplnost, složitost a nutnost. V Švejdar
LogikaSve2002.pdf
Popelínský, L.
11. 12. 2013
MnTLogic_xjuraj.pdf
MnTLogic_xjuraj.txt
MnTLogic_xjuraj.pdf
Jurčo, J.
2. 12. 2013
na předmět IA008 Computational Logic
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í
.
×
×