Dovolená : 25. červenec — 22. srpen 2022
Holidays : 25 July — 22 August 2022
Vacaciones : 25 de julio — 22 de agosto de 2022

Matematická logika

Z Multimediaexpo.cz

Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou. Zabývá se zkoumáním, formalizováním a matematizováním zejména těch oblastí logiky, na jejichž základech je postavena matematika. V centru jejího zájmu jsou pojmy jako důkaz, teorie, axiomatizace, model, bezespornost, úplnost, rozhodnutelnost.

Základní disciplíny

Současná matematická logika se dělí na tři rozsáhlé disciplíny, které spolu úzce souvisejí. Jsou to teorie důkazu, teorie modelů a teorie aritmetiky.

Související články