Дисциплины, опирающиеся на математическую логику.




Понятие информатики как науки.

 

Введение в информатику.

Информатика – это наука, изучающая все аспекты получения, хранения, преобразования, передачи и использования информации.

Она стала развиваться с середины ХХ века, когда появились специальные устройства – компьютеры, ориентированные на хранение и преобразование информации.

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

Как и другие науки, которые принято делить на теоретические и прикладные, информатика тоже состоит из них. Но такая структуризация информатики не слишком удобна, ибо в один раздел попадают научные направления, значительно отличающиеся друг от друга и взглядом на информацию, и теми методами, которые в них имеются. Поэтому мы примем другое деление информатики на основе направления. Оно опирается на внутреннее единство решаемых в них задач и подходов к пониманию сущности информации.

Теоретическая информатика

Теоретическая информатика – это математическая дисциплина. Она использует методы математики для построения и изучения моделей обработки, передачи и использования информации, создает тот теоретический фундамент, на котором строится всё здание информатики.

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

Теоретическая информатика распадается на ряд самостоятельных дисциплин. По степени близости решаемых задач их можно условно разделить на 5 классов.

Дисциплины, опирающиеся на математическую логику.

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



Поделиться:




Поиск по сайту

©2015-2024 poisk-ru.ru
Все права принадлежать их авторам. Данный сайт не претендует на авторства, а предоставляет бесплатное использование.
Дата создания страницы: 2016-04-26 Нарушение авторских прав и Нарушение персональных данных


Поиск по сайту: