Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
ПИ_курс лекций.doc
Скачиваний:
0
Добавлен:
01.05.2025
Размер:
2.51 Mб
Скачать

Метод формализации

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

Данный метод основан на представлении какой-либо содержательной области (рассуждений, доказательств, процедур классификации информации) в виде формальной системы.

Средствами формализации эмпирических данных в правовой информатике служат: математические методы, символы и стандартизированные изображения; методы логики, в частности математической; специальные коды (кодирование информации); социальное измерение, статистические методы1.

Процесс формализации исходных данных позволяет эффективно использовать автоматизированные системы обработки правовой информации, а также автоматизированные информационные поисковые системы. Применение средств формализации и данных семиотики позволяет создавать формализованный язык специального вида – информационно-поисковый язык.

Информатика и теория принятия решений

Принятие решения есть процесс целенаправленного преобразования исходной информации о состоянии объекта управления в информацию о наиболее рациональном достижении желаемого состояния в будущем.

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

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

Результатом правотворческого процесса является принятие конкретного нормативного правового акта: закона, постановления Правительства, указа Президента РБ и др.

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

Метод алгоритмизации и программирования

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

Совокупность операций, выполняемых в определенном порядке, и необходимых для решения задачи именуется алгоритмом. Слово «алгоритм» появилось как результат латинской транскрипции имени узбекского ученого IX в. Аль Хорезми (Algorizmi), который сформулировал алгоритмы выполнения арифметических операций над десятичными числами.

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

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

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

Программирование – это реализация заданного алгоритма на языке программирования. Метод программирования позволяет проводить анализ информационных процессов с использованием вычислительной техники.