Logika a paradoxy
Obor: Matematika
Typ: počítačový
Supervizor: doc. Mgr. Michal Botur, Ph.D.
archivovaný projekt (projekt byl dořešen a uzavřen)
V průběhu stáže se seznámíme s matematickou logikou a ukážeme si základní způsoby matematického modelování a dedukce. Dále se budeme zabývat logickými paradoxy a ukážeme si jejich význam v teorii.