Skip to top bar
Skip to header
Skip to application menu
Skip to content
Skip to footer
CS
>
Files
>
Study Materials
>
Study materials posted under the course FI:
IA008
>
Learning Materials
FI:IA008 Computational Logic
Files
Documents
Official notice board
Study Materials
More
Files
Documents
Official notice board
Study Materials
Name
Posted by
Uploaded/Created
Rights
Learning Materials
um
/24
7/7/2021
Folders
Files
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
go to course 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í
.
×
×