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:
IA085
>
Učební materiály
>
Lectures
FI:IA085 Satisfiability and Automated Reasoning
Soubory
Dokumenty
Úřední deska
Studijní materiály
Více
Soubory
Dokumenty
Úřední deska
Studijní materiály
Název
Vložil
Vloženo
Práva
Lectures
lectures
/9
Jonáš, M.
22. 2. 2024
Složky
Soubory
01.pdf
01.txt
Lecture 01: Introduction to Propositional Satisfiability
01.pdf
Jonáš, M.
1. 3. 2024
02.pdf
02.txt
Lecture 02: Classical Satisfiability Algorithms
02.pdf
Jonáš, M.
19. 3. 2024
03.pdf
03.txt
Lecture 03: Conflict-Driven Clause Learning
03.pdf
Jonáš, M.
19. 3. 2024
04.pdf
04.txt
Lecture 04: Advanced Features of SAT Solvers
04.pdf
Jonáš, M.
14. 3. 2024
05.pdf
05.txt
Lecture 05: Introduction to First-Order Satisfiability
05.pdf
Jonáš, M.
21. 3. 2024
06.pdf
06.txt
Lecture 06: Algorithms for Satisfiability Modulo Theories
06.pdf
Jonáš, M.
29. 3. 2024
07.pdf
07.txt
Lecture 07: Selected Algorithms for Theory Solvers
07.pdf
Jonáš, M.
6. 4. 2024
08.pdf
08.txt
Lecture 08: Combination of Theories
08.pdf
Jonáš, M.
30. 4. 2024
09.pdf
09.txt
Lecture 09: Introduction to Automated Theorem Proving
09.pdf
Jonáš, M.
5. 5. 2024
na předmět IA085 Satisfiability and Automated Reasoning
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í
.
×
×