Визуализация логических концепций в информатике: схемы и диаграммы