NAIL062 Výroková a predikátová logika

Studijní materiály

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)

  • Ta verze s vyznačenými částmi, které nejsou požadovány u zkoušky

• Pilátovy poznámky [EN]

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

• Wlladerovy K-Mapy

Řešené příklady

• Kubíkovy vypracované otázky

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

• Řešené písemky [záloha 23.1.2026]

• Bodon vypracované otázky

• Samko 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

• Kubíkovy vypracované otázky - úpravy vítány!

Zkouška

Tradice

$$(\forall s)(\mathrm{složíZkouškuZLogiky}(s) \rightarrow \mathrm{dáSiPivoUBulínů}(s))$$

mapy.com/s/getododamo

Zadání zkoušek

Memes

• Mlčkovo skripta

ukázka

Stop doing logic

Teorie: množina formulí

Splnitelná