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:
IA038
>
Learning Materials
FI:IA038 Types and Proofs
Files
Documents
Official notice board
Study Materials
More
Files
Documents
Official notice board
Study Materials
Name
Posted by
Uploaded/Created
Rights
Learning Materials
um
/5
16/5/2022
Folders
Files
IA038-1_History_of_Math_Motivations.pdf
IA038-1_History_of_Math_Motivations.txt
IA038-1_History_of_Math_Motivations.pdf
Zlatuška, J.
21/2/2023
IA038-3-Chapter_2_Natural_Deduction_7-3-2022_2023-03-09_16_40_33.pdf
IA038-3-Chapter_2_Natural_Deduction_7-3-2022_2023-03-09_16_40_33.txt
IA038-3-Chapter_2_Natural_Deduction_7-3-2022_2023-03-09_16_40_33.pdf
Zlatuška, J.
9/3/2023
ia038-4-curry-howard_isomophism_14-3-2023.pdf
ia038-4-curry-howard_isomophism_14-3-2023.txt
ia038-4-curry-howard_isomophism_14-3-2023.pdf
Zlatuška, J.
17/3/2023
IA038-5-The_Normalization_Theorem_14-3-2023.pdf
IA038-5-The_Normalization_Theorem_14-3-2023.txt
IA038-5-The_Normalization_Theorem_14-3-2023.pdf
Zlatuška, J.
17/3/2023
IA038-6-Sequent_Calculus.pdf
IA038-6-Sequent_Calculus.txt
IA038-6-Sequent_Calculus.pdf
Zlatuška, J.
3/4/2023
go to course IA038 Types and Proofs
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í
.
×
×