Информатика как наука: совершенствование и перспективы
Информация - Компьютеры, программирование
Другие материалы по предмету Компьютеры, программирование
?зовалась для хранения и обработки больших наборов данных по стандартным процедурам. В то же время, область профессионально-человеческой деятельности, которая поддается пока формализации, алгоритмизации, а, следовательно, - и автоматизации с помощью ЭВМ, составляет только небольшую часть формализованных знаний, большая часть айсберга знаний пока плохо формализована и плохо структурирована. Общую структуру накопленных человечеством профессиональных знаний можно представить в виде пирамиды. Пирамида это универсальная и замечательная структура - инвариант многих развивающихся процессов (возможно, этим объясняется тяга к построении пирамид в древности). В основании этой пирамиды лежит слой знаний, в данный момент практически недосягаемый, в частности, неотделимый от их авторов (существующий, например, на уровне подсознания) и не формализуемый. Следующий слой это простые (“ремесленнические”) знания, которые могут быть переданы по принципу “делай как я”. Выше расположены знания, доступные для объяснения, но не всегда формально описываемые. Затем идут формально описываемые знания. Самый верхний, относительно меньший по объёму слой составляют аксиоматически построенные теории.
1.8 Этап автоформализации знаний
Этот этап тесно связан с развитием когнитологии, персональных компьютеров и вычислений, делающих возможным формальное описание (а, следовательно, актуализацию, передачу, хранение, сжатие) исследователями накопленного знания, опыта, профессиональных умений и навыков. Развиваются когнитивные методы и средства, позволяющие строить решения проблем “по ходу решения, на лету”, особенно эффективно в тех случаях, когда исследователю неизвестен путь решения. Развиваются методы виртуализации и визуализации. Этот этап очень важен для информатики, ибо он стал позволять решать межпредметные задачи, как правило, плохо структурируемые и формализуемые, а также позволил использовать типовые инструментальные системы. Используется когнитивная графика графика, порождающая новые решения, а также “виртуальный мир” искусственное трехмерное пространство (одну из осей координат можно условно считать “пространственной”, другую - “временной”, третью - “информационной”) и визуальные среды (например, Visual-среды).
2. Структура
2.1 Теоретическая информатика
Теоретическая информатика это научная область, предметом изучения которой являются информация и информационные процессы; в которой осуществляется изобретение и создание новых средств работы с информацией. Как любая фундаментальная наука, теоретическая информатика (в тесном взаимодействии с философией и кибернетикой) занимается созданием системы понятий, выявлением общих закономерностей, позволяющих описывать информацию и информационные процессы, протекающие в различных сферах (в природе, обществе, человеческом организме, технических системах).
2.2 Математическая логика
Математическая логика (теоретическая логика, символическая логика) раздел математики, изучающий доказательства и вопросы оснований математики. Предмет современной математической логики разнообразен. Согласно определению П. С. Порецкого, математическая логика есть логика по предмету, математика по методу. Согласно определению Н. И. Кондакова, математическая логика вторая, после традиционной логики, ступень в развитии формальной логики, применяющая математические методы и специальный аппарат символов и исследующая мышление с помощью исчислений (формализованных языков). Это определение соответствует определению С. К. Клини: математическая логика это логика, развиваемая с помощью математических методов. Так же А. А. Марков определяет современную логику точной наукой, применяющей математические методы. Все эти определения не противоречат, но дополняют друг друга.
Применение в логике математических методов становится возможным тогда, когда суждения формулируются на некотором точном языке. Такие точные языки имеют две стороны: синтаксис и семантику. Синтаксисом называется совокупность правил построения объектов языка (обычно называемых формулами). Семантикой называется совокупность соглашений, описывающих наше понимание формул (или некоторых из них) и позволяющих считать одни формулы верными, а другие нет.
2.3 Теория информации
Теория информации (математическая теория связи) раздел прикладной математики, определяющий понятие информации, её свойства и устанавливающий предельные соотношения для систем передачи данных. Как и любая математическая теория, оперирует с математическими моделями, а не с реальными физическими объектами (источниками и каналами связи). Использует, главным образом, математический аппарат теории вероятностей и математической статистики.
Основные разделы теории информации кодирование источника (сжимающее кодирование) и канальное (помехоустойчивое) кодирование. Теория информации тесно связана с криптографией и другими смежными дисциплинами.
2.4 Системный анализ
Системный анализ научный метод познания, представляющий собой последовательность действий по установлению структурных связей между переменными или элементами исследуемой системы. Опирается на комплекс общенаучных, экспериментальных, естественнонаучных, статистических, математических методов. Системный анализ возник в эпоху разработки компьютерной техники. Ус