Formální způsob vyjadřování a zápisu matematiky bývá pro některé studenty základní překážkou při přechodu ze středoškolské k vysokoškolské matematice, a to pro studenty učitelského i odborného studia. Cílem práce bude rešerše shrnující problematiku formálního matematického zápisu na základě zkušeností vyučujících a studentů ÚMS i dostupné literatury. Dále pak návrhy příkladů, které lze implementovat pomocí agendy Odpovědníky v ISu, a které by mohly studentům pomoci v některých aspektech této problematiky. Navíc bude práce obsahovat návrhy ucelených testů, které by bylo možné používat pro testování znalostí studentů z této problematiky. Jednotlivé matematické termíny v centru zájmu práce jsou ty, které jsou pokryty předmětem Základy matematiky resp. Diskrétní matematika, zejména tedy pojmy množina, zobrazení a relace. Nicméně nepředpokládáme přímou vazbu na tyto předměty a jejich výuku na PřF.