Informace o projektu: Logika a paradoxy

Název projektu:	Logika a paradoxy
Obor:	matematika
Typ:	počítačový
Počet zapojených studentů:	0
Status:	volný projekt (je možné se zapojit, nikdo jej zatím neřeší)
Supervizor:	Michal Botur
Anotace projektu:	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.
	Kontaktovat supervizora