Словарь
Теоретическая информатика
Раздел информатики и математики о математических основах вычислений (theoretical computer science). Изучает алгоритмы, сложность вычислений, автоматы, криптографию, теорию информации, проверку корректности программ. Работы в этой области опираются на строгие математические доказательства, а не на эксперименты.