Можно утверждать, что математика создает
Можно утверждать, что математика создает тот теоретический фундамент, на котором строится все здание информатики.
Особое значение в информатике имеет такой раздел математики, как математическая логика.
Математическая логика разрабатывает методы, позволяющие использовать достижения логики для анализа различных процессов, в том числе и информационных, с помощью компьютеров. Теория алгоритмов, теория параллельных вычислений, теория сетей и другие науки берут свое начало в математической логике и активно используются в информатике.
Используя логические операции, можно провести моделирование логической структуры правовой нормы. Цель моделирования - выявить логические (включая латентные) связи правовой нормы. Данная формализация языка права позволяет промоделировать и проанализировать правовые нормы с помощью такого нового класса автоматизированных систем правовой информации, как экспертные системы.
По оценкам специалистов прогресс информатики в значительной степени будет обусловлен развитием ее математической базы.
Связь правовой информатики с техническими науками реализуется по линии активного использования для нужд юридической науки и практики современных ЭВМ и обеспечения автоматизации различных процессов. В свою очередь, использование ЭВМ опирается на вовлечение в сферу интересов правовой информатики аппарата формальной логики и математики, без чего невозможна формализация правовых норм перед введением их в память ЭВМ.
Информатика и правовая информатика тесно связаны с теорий информации.
Теорией информации называется наука, изучающая количественные закономерности, связанные с получением, передачей, обработкой и хранением информации. Возникнув в 40-х годах XX в. из практических задач теории связи, теория информации в настоящее время становится необходимым математическим аппаратом при изучении всевозможных информационных процессов, особенно процессов управления. Получение, обработка, передача и хранение различного рода информации - непременные условия работы любой управляющей системы.
Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий