Využití eliminace kvantifikátorů v řešení jednoduchých optimalizačních úloh

Abstrakt

Autoři představují způsob řešení složitých slovních úloh za pomoci eliminace kvantifikátorů. Tento způsob myšlení respektive jiné nahlížení na problematiku slovních úloh je vhodné především do matematických seminářů.