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:
IA081
>
Učební materiály
FI:IA081 Lambda calculus
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
/4
2. 5. 2023
Složky
Soubory
ChurchKleene1937-FormalDwfinitionsInTheTheoryOfOrdinalNumbers.pdf
ChurchKleene1937-FormalDwfinitionsInTheTheoryOfOrdinalNumbers.txt
ChurchKleene1937-FormalDwfinitionsInTheTheoryOfOrdinalNumbers.pdf
Zlatuška, J.
12. 3. 2024
Church-PropertiesConversion-1936.pdf
Church-PropertiesConversion-1936.txt
Church-PropertiesConversion-1936.pdf
Zlatuška, J.
12. 3. 2024
IA081-1_History_of_Math_Motivations.pdf
IA081-1_History_of_Math_Motivations.txt
IA081-1_History_of_Math_Motivations.pdf
Zlatuška, J.
27. 2. 2024
Typed-lambda-calculus-curry-howard_isomophism_21-4-2024_2024-04-26_07_47_32.pdf
Typed-lambda-calculus-curry-howard_isomophism_21-4-2024_2024-04-26_07_47_32.txt
Typed-lambda-calculus-curry-howard_isomophism_21-4-2024_2024-04-26_07_47_32.pdf
Zlatuška, J.
26. 4. 2024
na předmět IA081 Lambda calculus
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í
.
×
×