Tato skripta mají sloužit jako učební text k přednášce Vyčíslitelnost a matematická logika, a to k té její části, ve které se probírají základy matematické logiky. Přednáška por studenty 3. ročníku, je určen azejména pro zaměření Softwarové inženýrství a Tvorba software na Fakultě jaderné a fyzikálně inženýrské ČVUT v Praze. Obsah skript odpovídá látce odpřednášené během jednoho semestru v rozsahu dvou hodin týdně.
