Теоретическая структура информатики: схемы и визуализации