NAIL062 Výroková a predikátová logika

Poznámky

• Bulínovy poznámky [CZ] – nejaktuálnější, oficiální

  • Verze bez Úvodu do logiky a se seznamem definic (prosinec 2025)

  • Ta verze velikosti A5 (do čtečky)

• Pilátovy poznámky [EN]

• vitkolos.cz – poznámky a kartičky (2023/2024)

• Poznámky Kuby Smolíka - ručně psané

• Wlladerovy K-Mapy

Řešené příklady

• Řešené příklady z Bulínova cvičení

• Řešené písemky

• Bodon vypracované otázky

Videa

• Vertasium - video o Gödelových větách

Dokumentace

• pycosat - jeden z těch hezčích SAT solverů (dokumentace + hezké příklady)

• Pravdivostní tabulka

• Predikátový tablo solver

Zdrojové kódy

• Bulínův web

• Bulínova skripta

• Upravená skripta

Tradice

$$(\forall s): \left(sloziZkouskuZLogiky\left(s\right) \implies daSiPivoUBulinu\left(s\right)\right)$$

Memes

ukázka

Stop doing logic