Multimediaexpo.cz dnes patří do elitního globálního klubu
majitelů nejméně 1 fotografie s více než 100 000 zobrazeními !
Je tak jasné, že náš globální dosah a význam bude dále růst.

Matematická logika

Z Multimediaexpo.cz

Verze z 11. 3. 2014, 12:25; Sysop (diskuse | příspěvky)
(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)

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