Заключение

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

· представление об энтропии как мере недостатка информации и информации как сведениях, уменьшающих неопределенность;

· способ объективного измерения количества информации;

· законы передачи информации по каналу связи, в том числе подверженному воздействию шумов;

· методы эффективного кодирования информации, обеспечивающие сколь угодно высокую надежность ее передачи;

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

· методы доказательства алгоритмической разрешимости и методы определения сложности алгоритма;

· структура, элементная база и теоретические основы функционирования устройств по автоматической обработке информации;

· системный подход к исследованию и описанию сложных объединений и объектный подход к их созданию;

· значение и методы формализации;

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

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

· необходимость формализации задачи на этапе ее постановки потребовало разработки теории систем и моделей;

· обобщение понятия алгоритма на любую целесообразную деятельность человека и технического устройства, в частности, управление, потребовало создание теории управления - науку кибернетику;

· создание новых операционных систем, систем программирования и прикладных программ потребовало развития методов построения формальных языков;

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

Безусловно, перечень примеров можно было бы продолжить.

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

Постановка задачи

Модели проверяемые и непроверяемые

Классификация и примеры структур данных

Системы статические и динамические

Эквивалентные автоматы

Вернуться в оглавление: Теоретические основы информатики