Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
statnice:bakalar:b0b01lgr [2025/05/19 13:23] – [Schopnost formalisace a řešení logických úloh] zapleka3 | statnice:bakalar:b0b01lgr [2025/06/01 11:45] (current) – zapleka3 | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ==== Syntaxe a sémantika výrokové a predikátové logiky. Základní pojmy teorie grafů. ==== | + | ====== Syntaxe a sémantika výrokové a predikátové logiky. Základní pojmy teorie grafů. |
[[https:// | [[https:// |