Информационно-правовые системы учебно-методический комплекс

Тема 3. Введение в правовую информатику В лекции рассматриваются основы теоретической правовой информатики, в частности, базовые понятия "код", "шифр", "количество информации", меры информации, логические высказывания и инфологические задачи, понятия алгоритма и данных для алгоритмов. Рассмотрим основные теоретические понятия и факты информатики, на которых базируется и правовая информатика. Сообщения измеряются в байтах, килобайтах, мегабайтах, гигабайтах, терабайтах, петабайтах и эксабайтах, реализуются в ЭВМ в битах. Основные соотношения между единицами измерения сообщений: 1 бит (binary digit – двоичная единица) = 0 или 1; 1 байт = 8 битов; 1 килобайт (1К) = 213 бит; 1 мегабайт (1М) = 223 бит; 1 гигабайт (1Г) = 233 бит; 1 терабайт (1Т) = 243 бит; 1 петабайт (1П) = 253 бит; 1 эксабайт (1Э) = 263 бит. Код – правило соответствия набора знаков одного множества  знакам другого множества . Если каждому символу  при кодировании соответствует отдельный знак , то это кодирование. Если для каждого символа из  найдется по некоторому правилу однозначно его прообраз в , то это правило называется декодированием. Кодирование – процесс преобразования букв (слов) алфавита  в буквы (слова) алфавита . При представлении сообщений в ЭВМ все символы кодируются байтами (например, стандарт кодирования ASCII) или двумя байтами (стандарт UNICOD). Сообщение, которое мы хотим передать адресату, назовем открытым сообщением. Зашифрованное сообщение – закрытое сообщение. Процесс преобразования открытого сообщения в закрытое сообщение и есть шифрование. Если  – открытое сообщение,  – закрытое сообщение (шифр),  – правило шифрования, то имеется зависимость вида: . Правила шифрования должны быть выбраны так, чтобы зашифрованное сообщение можно было бы расшифровать. Однотипные правила объединяются в классы правил и внутри класса определяется некоторый параметр, позволяющий перебирать все такие правила. Этот параметр называется шифровальным ключом. Ключ, как правило, секретный и сообщается лишь тому, кто должен прочесть зашифрованное сообщение (обладателю ключа). При кодировании нет такого секретного ключа, так как кодирование ставит целью лишь более сжатое, компактное представление сообщения. Если  – ключ, то можно записать . Для каждого ключа , преобразование  должно быть обратимым, то есть . Совокупность преобразования  и соответствия множества  называется шифром. Принцип Кирхгоффа: секретность зашифрованных сообщений определяется секретностью ключа. Это означает, что если даже алгоритм шифрования будет известен криптоаналитику, тот, тем не менее, не в состоянии будет расшифровать закрытое сообщение, если не располагает соответствующим ключом. В российских и американских шифрах часто используется -битовый ключ, а число различных ключей (пространство ключей) составляет при этом . Для измерения количества информации используются различные подходы и методы. Количество информации – число, адекватно характеризующая структурированность, определенность в оцениваемой системе. Количество информации часто оценивается в битах. Рассмотрим меру информации по Р. Хартли. Пусть известны  состояний системы  ( опытов с различными, равновозможными, последовательными состояниями системы). Мера разнообразия множества состояний системы задается формулой Р. Хартли: Если во множестве  искать произвольный элемент, то для его нахождения (по Хартли) необходимо иметь не менее  (бит) информации. Уменьшение  говорит об уменьшении разнообразия состояний  системы. Увеличение  говорит об увеличении разнообразия состояний  системы. Мера Хартли подходит лишь для идеальных систем, так как в реальных системах состояния системы обычно не одинаково осуществимы (не равновероятны). Для реальных систем используют более подходящую меру К. Шеннона. Мера Шеннона оценивает информацию отвлеченно от ее смысла: где  – число состояний системы;  – вероятность (относительная частота) перехода системы в -ое состояние, а сумма всех  должна равняться . Если все состояния рассматриваемой системы равновозможны, равновероятны, то есть , то из формулы Шеннона можно получить (как частный случай) формулу Хартли: . В термодинамике известен так называемый коэффициент Больцмана  (эрг/град) и формула Больцмана для энтропии или меры хаоса в термодинамической системе: Сравнивая выражения для  и  можно заключить, что величину I можно понимать как энтропию из-за нехватки информации в системе (о системе). Основное функциональное соотношение между энтропией и информацией имеет вид: Из этой формулы следуют важные выводы: увеличение меры Шеннона свидетельствует об уменьшения энтропии системы; уменьшение меры Шеннона свидетельствует об увеличении энтропии системы. Утверждение – основная единица, неделимая с точки зрения отражения смысла информации (семантики). Высказывание – некоторое повествовательное утверждение, про которое можно однозначно сказать, истинно оно или ложно. Эти два значения всевозможных высказываний обозначаются  и ,  и  или  и . Переменная, значениями которой могут быть лишь значения  или  называется логической переменной или булевой переменной. Предикат – выражение, формула с логическими переменными, имеющая смысл при любых допустимых значениях этих переменных. Логической (булевой) функцией называется некоторая функциональная зависимость , в которой аргумент  – логическая переменная с заданным множеством изменений аргумента, а значения функции  берутся из двухэлементного множества . Множество логических переменных  с определенными над ним операциями:  – отрицания или инверсии,  – логического сложения или дизъюнкции,  – логического умножения или конъюнкции называется алгеброй предикатов и высказываний, если эти операции удовлетворяют следующим аксиомам: Аксиома двойного отрицания:. Аксиомы ассоциативности:, . Аксиомы переместительности:, . Аксиомы одинаковых операндов:, . Аксиомы поглощения: , . Аксиомы распределения: , . Аксиомы де Моргана:, . Аксиомы нейтральности:, . Аксиома существования единицы (истина, true, 1) и нуля (ложь, false, 0), причем: , , , . Из этих аксиом следует ряд полезных соотношений, например, , , , , , . Такая таблица всех значений некоторой логической функции называется таблицей истинности этой функции. Кроме указанных трех базовых операций можно с их помощью ввести еще следующие важные операции алгебры предикатов: импликации: ; эквиваленции: . Операции импликации и эквиваленции имеют важное значение в правовой сфере, при решении задач, связанных с умозаключениями, выводами. Всегда истинные формулы называют тавтологиями. Логические функции эквивалентны, если совпадают их таблицы истинности, то есть совпадают области определения и значения, а также сами значения функции при одних и тех же наборах переменных. Задача упрощения логического выражения состоит в преобразовании его к более простому (по числу переменных, операций или операндов) эквивалентному выражению. Задача доказательства равенства двух логических выражений (функций) состоит в установлении эквивалентности этих функций. Информационно–логическая (инфологическая) задача – это задача, в которой необходимо установить некоторые информационные или логические связи и сделать необходимые причинно-следственные логические выводы и заключения. Рассмотрим пример формализации и решения правовой информационно–логической задачи. Пусть Брауну, Джонсу и Смиту предъявлено обвинение в соучастии в ограблении банка. В ходе следствия Браун сказал, что преступники были на синем "Бьюике", Джонс сказал, что это был черный "Крайслер", Смит утверждал, что это был "Форд", но не синий. Каждый указал неправильно либо марку, либо цвет автомобиля. Определим истинный цвет и истинную марку автомобиля. Рассмотрим простые высказывания вида: , ,, , . На их основе, высказывание Брауна можно записать в виде сложного логического выражения вида , высказывание Джонса – в виде , а высказывание Смита – в виде . Так как в каждом из этих выражений одна из переменных принимает значение "истина", то истинны и дизъюнкции вида: , , . По определению конъюнкции, . Упростим это выражение: Мы использовали тот факт, что одновременно не могут быть истинными два высказывания относительно цвета или два высказывания относительно марки машины. Так как конъюнкция истинна только тогда, когда , , , то заключаем, что автомобиль был черным "Бьюиком". Алгоритм – упорядоченная совокупность точных (формализованных) и полных команд исполнителю алгоритма, задающих порядок и содержание действий, которые он должен выполнить для нахождения решения любой задачи из рассматриваемого достаточно широкого класса однотипных задач. Любая актуализация информации опирается на какие–то данные, любые данные могут быть каким–то образом актуализированы. Данные – это некоторые сообщения, слова в некотором заданном алфавите. Данные актуализируются, хранятся с помощью некоторых алгоритмов, процедур. В свою очередь, процедуры, алгоритмы существенно зависят от типа и структуры обрабатываемых ими данных.

Похожие:

	Программа дисциплины «Информационно-библиотечные и информационно-правовые системы» Программа предназначена для преподавателей, ведущих данную дисциплину, а также студентов специальности 030900. 62 «Юриспруденция»,...		Программа дисциплины «Информационно-библиотечные и информационно-правовые системы» Программа предназначена для преподавателей, ведущих данную дисциплину, а также студентов специальности 030900. 62 «Юриспруденция»,...
	Учебно-методический комплекс по спецкурсу «Гражданско-правовые споры в практике мировых судей» Учебно-методический комплекс разработан старшим преподавателем кафедры «Гражданско-правовые дисциплины» иубиП: Морозовой Натальей...		Учебно-методический комплекс образовательной профессиональной программы... Корабельные автоматизированные комплексы и информационно-управляющие системы» по дисциплине «Информационно-управляющие комплексы...
	Учебно-методический комплекс дисциплины «Правовые системы современности» Учебно-тематический план курса с указанием лекционных часов и самостоятельной работы студентов (темы и часы) 3		Программа дисциплины «Информационно-правовые системы в деятельности юриста» Программа предназначена для преподавателей, ведущих данную дисциплину, а также студентов специальности 030900. 62 «Юриспруденция»,...
	Учебно-методический комплекс по дисциплине «Основы виктимологии» Учебно-методический комплекс рекомендован к изданию кафедрой «Уголовно-правовые дисциплины» (протокол №6 от 14. 11. 10г)		Учебно-методический комплекс Правовые основы сми: учебно-методический комплекс./авт сост. М. М. Козлова. – Спб.: Ивэсэп, 2011
	Учебно-методический комплекс. По курсу "нотариат российской федерации"... Учебно-методический комплекс разработан старшим преподавателем кафедры «Гражданско-правовые дисциплины» иубиП: Морозовой Натальей...		Учебно-методический комплекс рекомендован кафедрой Уголовно-правовые дисциплины Учебно-методический комплекс предназначен для студентов заочной формы обучения, содержит план лекционных и практических занятий,...
	Учебно-методический комплекс анатомия цнс учебно-методический комплекс... Анатомия центральной нервной системы: Учебно-методический комплекс / Автор-составитель: Романчук А. Ю., Калининград, 2010		Учебно-методический комплекс по дисциплине интеллектуальные информационные... Учебно-методический комплекс дисциплины «Интеллектуальные информационные системы». М.: Изд. МиигаиК. Упп «Репрография», 2014 г.,...
	Учебно-методический комплекс по дисциплине «Правовые основы аудита» Опд. В. Оо сд. Учебно–методический комплекс включает в себя тематический план, содержание курса, вопросы и задания для семинарских...		Учебно-методический комплекс по специальности: 080801 Прикладная... Операционные системы среды и оболочки: Учебно-методический комплекс /Автор сост. Г. М. Аванесов спб.: Ивэсэп, 2006
	Учебно-методический комплекс дисциплины «информационные системы в экономике» Учебно-методический комплекс составлен в соответствии с требованиями государственного образовательного стандарта высшего профессионального...		Учебно-методический комплекс дисциплины (ЕН. Ф. 03) Физика Данный учебно-методический комплекс разработан в соответствии с требованиями государственного образовательного стандарта высшего...