Вернемся к определению предмета науки информатики, данному на стр. 13. Его сопоставление с кругом вопросов, обсуждавшихся, в частности, в данном пособии, позволяет увидеть колоссальное значение, которое имеет теоретическая информатика для информатики в целом. В теоретической информатике сформулирован ряд положений, которые следует отнести к категории фундаментальных, поскольку они оказываются справедливы и проявляются в любых информационных процессах и, следовательно, только на основе этих положений могут разрабатываться какие-либо информационные технические устройства или методы переработки информации. К этим положениям следует отнести: · представление об энтропии как мере недостатка информации и информации как сведениях, уменьшающих неопределенность; · способ объективного измерения количества информации; · законы передачи информации по каналу связи, в том числе подверженному воздействию шумов; · методы эффективного кодирования информации, обеспечивающие сколь угодно высокую надежность ее передачи; · принципы преобразования дискретной информации и условия, при которых такая обработка может быть алгоритмизирована и, следовательно, передана для исполнения техническому устройству; · методы доказательства алгоритмической разрешимости и методы определения сложности алгоритма; · структура, элементная база и теоретические основы функционирования устройств по автоматической обработке информации; · системный подход к исследованию и описанию сложных объединений и объектный подход к их созданию; · значение и методы формализации; · общий порядок (последовательность) решения прикладной задачи, осуществляемого с применением информационных технических устройств. Однако решение перечисленных проблем - их можно назвать проблемами первого эшелона - породило проблемы новые и, соответственно, необходимость их теоретического осмысления. Перечислим некоторые из них: · необходимость формализации задачи на этапе ее постановки потребовало разработки теории систем и моделей; · обобщение понятия алгоритма на любую целесообразную деятельность человека и технического устройства, в частности, управление, потребовало создание теории управления - науку кибернетику; · создание новых операционных систем, систем программирования и прикладных программ потребовало развития методов построения формальных языков; · разработка информационных систем, решение задач искусственного интеллекта породило необходимость развития моделей данных, логических средств преобразования данных, моделирования рассуждений и т.п. Безусловно, перечень примеров можно было бы продолжить. Таким образом, изучение теоретической информатики необходимо рассматривать в качестве начального и обязательного этапа, который должен предшествовать углубленному освоению любых других разделов информатики. Автор выражает скромную надежду, что данное пособие будет способствовать решению этой задачи. |