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

5.4. метод формализации: Основы правовой информатики, Чубукова С.Г., 2007 читать онлайн, скачать pdf, djvu, fb2 скачать на телефон Настоящее пособие является вторым изданием, дополненным и перера- ботанным, содержит материал, позволяющий изучить основные понятия правовой информатики. Рассматривается широкий круг проблем, представ- ляющих интерес для освоения методов исследования ...

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

Формализация — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации информации и т.п.) в виде формальной системы. Формальная система — это знаковая модель, задающая множество объектов путем описания исходных объектов и правил построения новых.

Язык является той знаковой системой, которая позволяет осуществлять информационный обмен в любой социальной системе. Наряду с естественными языками в информатике разработаны и формальные языки: системы счисления, алгебры высказываний, языки программирования.

С помощью формальных языков строятся формально-логические модели.

В общей теории права существует направление, которое называют «формализация правовых норм». Формализация правовой

нормы — это выявление ее логической структуры, логических правил вывода суждений.

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

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

Основы правовой информатики

Основы правовой информатики

Обсуждение Основы правовой информатики

Комментарии, рецензии и отзывы

5.4. метод формализации: Основы правовой информатики, Чубукова С.Г., 2007 читать онлайн, скачать pdf, djvu, fb2 скачать на телефон Настоящее пособие является вторым изданием, дополненным и перера- ботанным, содержит материал, позволяющий изучить основные понятия правовой информатики. Рассматривается широкий круг проблем, представ- ляющих интерес для освоения методов исследования ...