Skip to top bar
Skip to header
Skip to application menu
Skip to content
Skip to footer
IS SU
CS
>
Files
>
Study Materials
>
Study materials posted under the course FPF:
UIIABP0047
>
ROPOT (
R
evision,
O
pinion
Po
ll and
T
esting)
FPF:UIIABP0047 Introduction to Logic
Files
Documents
Study Materials
More
Files
Documents
Study Materials
Name
Posted by
Uploaded/Created
Rights
ROPOT (
R
evision,
O
pinion
Po
ll and
T
esting)
odp
/11
5/7/2023
Folders
Files
Automatické dokazování
Automaticke_dokazovani.qref
Cienciala, L.
30/7/2024
Axiomatický systém výrokové logiky
Axiomaticky_system_vyrokove_logiky.qref
Cienciala, L.
30/7/2024
Exam - Introduction to Logic
Exam_Introduction_to_Logic.qref
Cienciala, L.
30/7/2024
Normální formy výrokových formulí
Normalni_formy_vyrokovych_formuli.qref
Cienciala, L.
30/7/2024
Predikátová logika - sémantické tablo, axiomatický systém
Predikatova_logika_semanticke_tablo.qref
Cienciala, L.
30/7/2024
Predikátová logika 1. řádu
Predikatova_logika_1_radu.qref
Cienciala, L.
30/7/2024
Rezoluční princip
Rezolucni_princip.qref
Cienciala, L.
30/7/2024
Sémantika výrokové logiky
Semantika_vyrokove_logiky.qref
Cienciala, L.
30/7/2024
Splnitelnost a platnost, logický důsledek
Splnitelnost_a_platnost_logicky_dusledek.qref
Cienciala, L.
30/7/2024
Výroková logika
Vyrokova_logika.qref
Cienciala, L.
30/7/2024
go to course UIIABP0047 Introduction to 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í
.
×
×