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

Словосочетание “теоретическая информатика” звучит противоречиво — мы привыкли, что информатика, программирование — это максимально про практику. Но информатика - это логичное продолжение математики, которая может быть как прикладной, так и теоретической. Разделы Основные задачи теоретической информатики связаны с теорией вычислительного обучения, алгоритмами, вычислительной сложностью, теорией информации и теорией кодирования. Коротко расскажем о некоторых из этих задач. Теория вычислительного обучения посвящена созданию и изучению систем машинного обучения...