Вернемся к определению предмета науки информатики. Его сравнение с кругом вопросов, обсуждавшихся, а именно, в данном пособии, позволяет узреть колоссальное значение, которое имеет теоретическая информатика для информатики в целом. В теоретической информатике сформулирован ряд положений, которые следует отнести к категории базовых, так как они оказываются справедливы и появляются в всех информационных процессах и, как следует, лишь на базе этих положений могут разрабатываться какие-либо информационные технические устройства либо способы переработки инфы. К этим положениям следует отнести:

  • представление об энтропии как мере недочета инфы и инфы как сведениях, уменьшающих неопределенность;
  • метод беспристрастного измерения количества инфы;
  • законы передачи инфы по каналу связи, в том числе подверженному воздействию шумов;
  • способы действенного кодировки инфы, обеспечивающие сколь угодно высшую надежность ее передачи;
  • принципы преобразования дискретной инфы и условия, при которых такая обработка может быть алгоритмизирована и, как следует, передана для выполнения техническому устройству;
  • способы подтверждения алгоритмической разрешимости и способы определения трудности метода;
  • структура, элементная база и теоретические базы функционирования устройств по автоматической обработке инфы;
  • системный подход к исследованию и описанию сложных объединений и объектный подход к их созданию;
  • значение и способы формализации;
  • общий порядок (последовательность) решения прикладной задачки, осуществляемого с применением информационных технических устройств.

Но решение перечисленных заморочек — их можно именовать неуввязками первого эшелона — породило трудности новые и, соответственно, необходимость их теоретического осмысления. Перечислим некие из их:

  • необходимость формализации задачки на шаге ее постановки потребовало разработки теории систем и моделей;
  • обобщение понятия метода на всякую целесообразную деятельность человека и технического устройства, а именно, управление, потребовало создание теории управления — науку кибернетику;
  • создание новых операционных систем, систем программирования и прикладных программ потребовало развития способов построения формальных языков;
  • разработка информационных систем, решение задач искусственного ума породило необходимость развития моделей данных, логических средств преобразования данных, моделирования рассуждений и т.п.

Непременно, список примеров можно было бы продолжить.

Таким макаром, исследование теоретической информатики нужно рассматривать в качестве исходного и неотклонимого шага, который должен предшествовать углубленному освоению всех других разделов информатики. Создатель выражает умеренную надежду, что данное пособие будет содействовать решению этой задачки.