Bivalentné programovanie a jeho využitie pri riešení vybraných rozhodovacích problémov diplomová práca - Švec, Tomáš (2025)