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
/24
7. 7. 2021
Složky
Soubory
calculi.pdf
calculi.txt
calculi.pdf
Blumensath, A.
31. 1. 2022
ex01.pdf
ex01.txt
ex01.pdf
Blumensath, A.
31. 1. 2022
ex02.pdf
ex02.txt
ex02.pdf
Blumensath, A.
31. 1. 2022
ex03.pdf
ex03.txt
ex03.pdf
Blumensath, A.
31. 1. 2022
ex04.pdf
ex04.txt
ex04.pdf
Blumensath, A.
31. 1. 2022
ex05.pdf
ex05.txt
ex05.pdf
Blumensath, A.
31. 1. 2022
ex06.pdf
ex06.txt
ex06.pdf
Blumensath, A.
31. 1. 2022
00-Intro-handout.pdf
00-Intro-handout.txt
00-Intro-handout.pdf
Blumensath, A.
26. 4. 2022
00-Intro.pdf
00-Intro.txt
00-Intro.pdf
Blumensath, A.
17. 2. 2022
01-PL-handout.pdf
01-PL-handout.txt
01-PL-handout.pdf
Blumensath, A.
26. 4. 2022
01-PL.pdf
01-PL.txt
01-PL.pdf
Blumensath, A.
31. 1. 2022
02-FO-handout.pdf
02-FO-handout.txt
02-FO-handout.pdf
Blumensath, A.
26. 4. 2022
02-FO.pdf
02-FO.txt
02-FO.pdf
Blumensath, A.
31. 1. 2022
03-Prolog-handout.pdf
03-Prolog-handout.txt
03-Prolog-handout.pdf
Blumensath, A.
26. 4. 2022
03-Prolog.pdf
03-Prolog.txt
03-Prolog.pdf
Blumensath, A.
31. 1. 2022
04-EF-handout.pdf
04-EF-handout.txt
04-EF-handout.pdf
Blumensath, A.
26. 4. 2022
04-EF.pdf
04-EF.txt
04-EF.pdf
Blumensath, A.
22. 3. 2022
05-Induction-handout.pdf
05-Induction-handout.txt
05-Induction-handout.pdf
Blumensath, A.
26. 4. 2022
05-Induction.pdf
05-Induction.txt
05-Induction.pdf
Blumensath, A.
31. 1. 2022
06-Modal-handout.pdf
06-Modal-handout.txt
06-Modal-handout.pdf
Blumensath, A.
26. 4. 2022
06-Modal.pdf
06-Modal.txt
06-Modal.pdf
Blumensath, A.
1. 4. 2022
07-Many-handout.pdf
07-Many-handout.txt
07-Many-handout.pdf
Blumensath, A.
26. 4. 2022
07-Many.pdf
07-Many.txt
07-Many.pdf
Blumensath, A.
31. 1. 2022
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í
.
×
×