Заключение

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

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

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

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

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

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