NAIL062 Výroková a predikátová logika

Poznámky

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

• 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

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

Memes

ukázka

Stop doing logic