Практические задания. Тема 1. Аксиоматические методы

Изучив данную тему, студент должен знать:

1. Место и роль математики и информатики в современном мире и, в частности, в юриспруденции.

2. Понятие аксиоматического метода.

3. Структуру аксиоматики в математике.

4. Аксиоматический подход в информатике.

5. Вклад юристов по образованию в математическую культуру.

6. Направления использования математики и информатики в юриспруденции.

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

Уже с древних времен математика приобретает аксиоматические
начала (геометрия Евклида, начала математической логики Аристотеля), затем следуют аксиоматические подходы к арифметике (Пеано). Определенную законченность аксиоматика в математике приобретает в работах
Д. Гильберта, затем следуют аксиоматические подходы в теории вероятности (А.Н. Колмогоров).

Что касается информатики, то ее аксиоматика только поставлена как проблема для разработки. До настоящего времени не существует какого-либо точного приемлемого такого исходного понятия информатики, как информация.

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