Přeskočit na horní lištuPřeskočit na hlavičkuPřeskočit na aplikační menuPřeskočit na obsahPřeskočit na patičku
IS SU
EN
> Soubory > Studijní materiály > Studijní materiály předmětu FPF:UIINP12 > Odpovědníky

FPF:UIINP12 Úvod do logiky, FPF:UIIABP0047 Úvod do logiky, FPF:UIINK12 Úvod do logiky, FPF:UIMOIBK039 Úvod do logiky, FPF:UIMOIBP039 Úvod do logiky, FPF:UBKINSNK20 Logika, FPF:UBKINSNP25 Logika, FPF:UBKVKKNK21 Logika, FPF:UBKVKKNP25 Logika

SouboryDokumentyStudijní materiály
  • Více
    • Soubory
    • Dokumenty
    • Studijní materiály
  • 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í.
  • Operace
    • Vyberte řádek zatržením vlevo
Vyhledat
Zobrazit ikony
Vyhledat

Omezit soubory a složky:

jen složky/jen soubory
složky, které mají/nemají anglický název
soubory, které jsem četl/nečetl

Zrušit omezení

 
Název
Vložil
Vloženo
Práva
 
Odpovědníky odp/11
5. 7. 2023
Složky
Soubory
Výroková logika Vyrokova_logika.qref
Cienciala, L.
17. 2. 2025
Splnitelnost a platnost, logický důsledek Splnitelnost_a_platnost_logicky_dusledek.qref
Cienciala, L.
17. 2. 2025
Sémantika výrokové logiky Semantika_vyrokove_logiky.qref
Cienciala, L.
17. 2. 2025
Rezoluční princip Rezolucni_princip.qref
Cienciala, L.
17. 2. 2025
Predikátová logika 1. řádu Predikatova_logika_1_radu.qref
Cienciala, L.
17. 2. 2025
Predikátová logika - sémantické tablo, axiomatický systém Predikatova_logika_semanticke_tablo.qref
Cienciala, L.
17. 2. 2025
Normální formy výrokových formulí Normalni_formy_vyrokovych_formuli.qref
Cienciala, L.
17. 2. 2025
Exam - Introduction to Logic Exam_Introduction_to_Logic.qref
Cienciala, L.
17. 2. 2025
Axiomatický systém výrokové logiky Axiomaticky_system_vyrokove_logiky.qref
Cienciala, L.
17. 2. 2025
Automatické dokazování Automaticke_dokazovani.qref
Cienciala, L.
17. 2. 2025
Více možností

  • na předmět FPF:UIIABP0047, FPF:UIINK12, FPF:UIINP12, FPF:UIMOIBK039, FPF:UIMOIBP039, FPF:UBKINSNK20, FPF:UBKINSNP25, FPF:UBKVKKNK21, FPF:UBKVKKNP25
IS SU
Informační systém SU
Provozuje Fakulta informatiky MU
Potřebujete poradit? is@slu.cz
Nápověda
23. 9. 2025 | 05:23 Aktuální datum a čas
Více o ISPřístupnost
Nahoru
Vyhledat
Zobrazit ikony
Vyhledat