Теория (theory) — абстрактные принципы, система основных идей в той или иной области знаний или совокупность утверждений или формул, истинность которых установлена; Т. — это форма научного знания, дающая целостное представление о закономерностях и существенных связях действительности. Критерием истинности утверждений или формул Т. является практика. В информатике изучают практически все теории с помощью ВМ.
[Словарь понятий по информатике от Т до Я. (Электронный ресурс). Режим доступа http://topuch.ru/slovare-ponyatij-po-informatike-ot-t-do-ya/index.html/, свободный.]