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
IS SU
EN
>
Soubory
>
Studijní materiály
>
Studijní materiály předmětu FPF:
UBKINSNP25
>
Odpovědníky
FPF:UBKINSNP25 Logika
Soubory
Dokumenty
Studijní materiály
Více
Soubory
Dokumenty
Studijní materiály
Název
Vložil
Vloženo
Práva
Odpovědníky
odp
/11
5. 7. 2023
Složky
Soubory
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
na předmět UBKINSNP25 Logika
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í
.
×
×