BI-MLO
Foo
  • Introduction
  • Výroková logika
    • Symboly a operace
    • Pravdivostní tabulka
    • Slovník
    • Pravidla a zákony
    • Věty
    • Konverze
  • Predikátová logika
    • Hilbertův axiomatický systém
Powered by GitBook
On this page

Introduction

NextVýroková logika

Last updated 1 year ago

Tyto materiály slouží studentům předmětu na a podávají velmi stručný přehled vzorců, postupů a terminologie.

Renderovaná podoba je hostovaná na , zdrojáky jsou na .

V případě, že naleznete chybu nebo budete chtít něco přidat, nebo rovnou pošlete pull request.

BI-MLO
FITu
GitBook
GitHub
vytvořte issue