Не вдаваясь в прикладные информационные технологии, расскажу вам составные части «ядра» современной информатики. Каждая из этих частей может рассматриваться как относительно самостоятельная научная дисциплина, но все они есть части одной большой науки. ​Теоретическая информатика – часть информатики, включающая ряд математических разделов. ​Она опирается на математическую логику и включает такие разделы, как теория алгоритмов и автоматов, теория информации и теория кодирования, теория формальных языков и грамматик, исследование операций и др...