Organon VII - NIHIL NOVI

V našem příspěvku se pokusíme zmapovat a zhodnotit současnou výuku logiky na Fakultě informatiky Masarykovy univerzity v Brně a zamyslet se nad možnostmi jejího případného zefektivnění.
Kromě vzájemných souvislostí a provázanosti kurzů nabízejících výuku logiky se budeme do jisté míry zabývat obsahovou náplní a způsobem výuky vybraných informatických kurzů zaměřených výhradně na logiku. Zejména se budeme věnovat nástrojům pro elektronickou podporu výuky a možnostem jejich rozšíření. Pro srovnání uvedeme i přístup k tomuto způsobu výuky na jiných fakultách (MFF UK Praha, FIT VUT, STU Bratislava, MFF UK Bratislava, VŠB Ostrava).
Zmíníme také, jakým způsobem je výuka informatické logiky na FI MU zprostředkována pro studenty se specifickými nároky (nevidomí, neslyšící).