Мультидисциплинарные (неюридические) аспекты цифровой трансформации
Multidisciplinary (Non-Legal) Aspects оf Digital Transformation
Мультидисциплинарные (неюридические) аспекты цифровой трансформации
Multidisciplinary (Non-Legal) Aspects оf Digital Transformation
298
не привлекательна, представляет собой пачку денег, в которой из настоящих денег
только две наружные купюры, а внутри спрятаны не настоящие денежные знаки,
а напечатанные на обычном принтере. В большинстве случаев такие куклы ис-
пользуются для совершения мошеннических действий.
В результате совершенствования методики ведения борьбы с коррупцией
в нашей стране активно применяются маркирующие средства. В криминалистике
их именуют фломастерами «М» и «К». Их предназначение состоит в совершении
опознавательных меток, которые позволяют идентифицировать подлинные де-
нежные средства, документы, изделия из кожи, траки и многие иные товары.
Обнаружение проставленных обозначений при помощи маркеров можно
осуществить при помощи ультрафиолетовых осветителей, которые при помощи
голубого свечения позволяют установить неправомерные действия, к примеру,
при передаче денежных средств.
В целях более активного внедрения технико-криминалистических средств
в практическую деятельность для раскрытия и расследования преступлений о них
нужно говорить, писать, проводить семинары, одним словом поддерживать тесную
взаимосвязь с руководителями ЭКУ, проводить анализ их деятельности с руково-
дителями практических оперативных аппаратов соответствующих подразделений.
Представляется, что применение таких средств в соответствии с их предна-
значением скажется на обеспечении правовой гарантии безопасности личности,
лиц, вовлеченных в орбиту уголовно-процессуального расследования и, как след-
ствие, улучшит раскрываемость по делам о коррупции, кражах, хищениях и дру-
гих преступлениях.
Список литературы
1. Криминалистические средства и методы собирания доказательств: учеб.
пособие для бакалавров / под ред. Е. П. Ищенко. М.: Проспект, 2017.
Ю. М. Сметанин,
кандидат физико-математических наук, доцент,
Удмуртский государственный университет
В. М. Сметанина,
студент,
Московский государственный технический
университет имени Н. Э. Баумана
О ВОЗМОЖНОСТИ ЦИФРОВИЗАЦИИ И КОМПЬЮТЕРНОЙ
ВЕРИФИКАЦИИ ВЕРСИЙ В ПРОЦЕССЕ РАССЛЕДОВАНИЯ
Аннотация.
Сложной и важной в процессе расследования уголовных дел
является итерационная процедура выдвижения версии, проверки ее на непроти-
воречивость и выявления в ней релевантных целям логических следствий. В рабо-
те обоснована возможность построения цифровой логико-семантической модели
Мультидисциплинарные (неюридические) аспекты цифровой трансформации
Multidisciplinary (Non-Legal) Aspects оf Digital Transformation
299
для текущего состояния расследования с помощью формул из атомарных выска-
зываний универсальной силлогистики (многозначной логики)
2
S
L
. Компьютерная
программа для верификации логического следования позволяет проверять, имеет
ли место логическое следствие из информации, доступной на данном этапе рас-
следования. От множества известных силлогистик силлогистика
2
S
L
отличается
возможностью выражать посредством конъюнктивной формулы односмысловые
высказывания. Также программа позволяет наглядно изображать логические свя-
зи высказываний
2
S
L
в форме дискретной диаграммы Венна. Построения и рас-
четы в цифровой модели логических отношений можно использовать в любых
областях деятельности для выяснения, что следует из логических отношений объ-
ектов, составляющих цифровую модель предметной области деятельности (ПОД).
Рассматриваемая цифровая модель с успехом может быть использована для фор-
мирования и отладки инструкций, регламентирующих деятельность. Идейно дан-
ный подход восходит к работам П. С. Порецкого.
Ключевые слова:
цифровизация логико-семантических моделей, сил-
логистика, приложения логики, принятие решений, верификация логического
следования
ABOUT THE POSSIBILITY OF DIGITALIZATION AND COMPUTER
VERIFICATION OF VERSIONS DURING THE INVESTIGATION
Abstract.
A complex and important task in the process of investigating criminal
cases is the iterative procedure of putting forward a version, checking it for consisten-
cy and identifying logical consequences relevant to the goals on its basis. The paper
substantiates the possibility of constructing a digital logical – semantic model for the
current state of the investigation, using formulas from atomic statements of universal
syllogistics (multivalued logic)
2
S
L
.A computer program for verification of logical con-
sequence allows you to check whether there is a logical consequence from the infor-
mation available at this stage of the investigation.
2
S
L
syllogistics differs from many
well – known syllogistics in the ability to express single – meaning statements by means
of a conjunctive formula. The program also allows you to visually depict the logical
connections of
2
S
L
statements in the form of a discrete Venn diagramConstructions and
calculations in the digital model of logical relations can be used in any field of activity in
cases when it is necessary to find out what follows from the logical relations of objects
that make up the digital model of the subject area of activity.The digital model under
consideration can be successfully used for the formation and debugging of instructions
regulating activities.
Keywords
:
process of investigating criminal cases, digitalization of logical -se-
mantic models, syllogistics, applications of logic, decision-making, verification of log-
ical consequence
Процесс расследования состоит в разрешении проблемных ситуаций путем
итерационного процесса выдвижения версий, согласованных с имеющейся на
данном этапе информационной базой. Обновление информационной базы зача-
стую приводит к изменениям плана расследования и может сделать текущую вер-
Мультидисциплинарные (неюридические) аспекты цифровой трансформации
Multidisciplinary (Non-Legal) Aspects оf Digital Transformation
Мультидисциплинарные (неюридические) аспекты цифровой трансформации
Multidisciplinary (Non-Legal) Aspects оf Digital Transformation
300
сию противоречивой. Сложной и важной в этом творческом процессе является
процедура проверки версии на непротиворечивость и соответствие фактологии
и отношениям, имеющимся в информационной базе (ИБ). Версия и логические
следствия из нее должны логически следовать из фактов и отношений ИБ. «С ло-
гической стороны проверка версии (так же, как и проверка научной гипотезы) за-
ключается выведении из нее логических следствий и затем в подтверждении либо
опровержении их.» (8. С. 104).
В работе показано, как можно установить (верифицировать) логическое сле-
дование, используя верификацию логического следования в семантическом смыс-
ле в цифровой модели (ИБ) в форме суждений универсальной силлогистики.
Построение и расчеты цифровой модели логических отношений может ис-
пользоваться в любых областях деятельности в случаях, когда необходимо выяс-
нить, что следует из логических отношений объектов, составляющих цифровую
модель предметной области (ПОД), а также для формальной проверки на дости-
жение целей регламентов деятельности.
Для цифровизации логико-семантических моделей ПОД выявления и вери-
фикации логического следования в семантическом смысле построена универсаль-
ная силлогистика (многозначная неклассическая логика)
L
S
2
, правильно построен-
ные формулы (ППФ) которой принимают значения в виде одного либо семейства
конечных конституентных множеств, состоящих из неотрицательных целых чи-
сел. В
L
S
2
указан способ установления семантического следования между правиль-
но построенными (ППФ). Атомарные суждения
L
S
2
есть утверждения (1)
( , ), ( , ), ( , ),
,
S
NOB
A X Y Eq X Y IO X Y X U X U
=
⊂
=
, (1)
Вместо
Х
и
Y
можно подставить любые ППФ
1
2
(
), (
)
n
n
X
X
F
F
алгебры мно-
жеств. Равносильности (2) выражают семантику трех первых атомарных суждений.
A( , ) (
) (
) ( '
) (
) ( '
),
X Y
X Y
X U
X
U Y U Y
U
≡
⊂
⋅
⊂
⋅
⊂
⋅
⊂
⋅
⊂
( , ) (
) (
) ( '
) (
) ( '
),
Eq X Y
X Y
X U
X
U Y U Y
U
≡
=
⋅
⊂
⋅
⊂
⋅
⊂
⋅
⊂
(2)
( , ) (
) (
'
) ( '
) ( ' '
)
IO X Y
X Y U
X Y U
X Y U
X Y U
≡
⋅ ≠
⋅
⋅
≠
⋅
⋅ ≠
⋅
⋅
≠
.
Далее точка, знаки «плюс» и «штрих» означают для множеств операции пе-
ресечения, объединения и дополнения до универсума, а для булевых перемен-
ных – конъюнкцию, дизъюнкцию и отрицание.
На русском языке первое суждение выражается как «Все элементы множе-
ства
Х
являются элементами
Y
, но не наоборот», либо «все элементы объема по-
нятия (термина)
Х
входят в объем понятия (термина)
Y
и пересечение
Х
´
·Y
есть
непустое множество». С точки зрения логического следования
А
(
Х
,
Y
)
равносиль-
но утверждению
[(
)
å U e X
∀ ∈
∈
(
)]·[(
)
e Y
e Y
∈
∈
(
)]
e X
∈
для непустых и не уни-
версальных множеств.
Eq
(
Х
,
Y
)
– утверждение о совпадении непустых и не универсальных мно-
жеств
X
и
Y
, при этом
[(
)
e U e X
∀ ∈
∈
(
)]·[(
)
e Y
e Y
∈
∈
(
)
e X
∈
.
Мультидисциплинарные (неюридические) аспекты цифровой трансформации
Multidisciplinary (Non-Legal) Aspects оf Digital Transformation
301
( , ) (
) (
'
) ( '
) ( ' '
)
IO X Y
X Y
X Y
X Y
X Y
≡
⋅ ≠ ∅ ⋅
⋅
≠ ∅ ⋅
⋅ ≠ ∅ ⋅
⋅
≠ ∅
выражается на рус-
ском языке словами «
X
и
Y
– независимые термины (множества)». Это означает,
что межу ними и их дополнениями нет отношений равенства и включения.
Чтобы перевести формулу Булевой логики высказываний в формулу универ-
сальной силлогистики используется табл. 1.
Таблица 1
Соответствие между модельными множествами
X
и булевыми переменными
x
и бинарными операциями над ними
x
y
'
x
x y
+
x y
⋅
e X
∈
e Y
∈
'
e X
∈
e X Y
∈ +
e X Y
∈ ⋅
0
0
1
0
0
0
0
1
0
0
0
1
1
1
0
0
1
1
1
0
1
0
0
1
0
1
0
0
1
0
1
1
0
1
1
1
1
0
1
1
Из этой таблицы следует, что булевы переменные
x
связаны с модельными
множествами
X
следующим образом. Пусть
e
произвольный элемент универсума
рассуждений
U
, тогда
1,
0,
e X
x
e X
∈
=
∉
, т. е.
x
характеристическая функция для
X
.
Задача верификации логического следования в семантическом смысле для
классической логики высказываний (3)
1
2
1
2
( , ,..., )
( , ,..., )
( )
( )
p
n
s
n
p
n
s
n
F x x
x
F x x
x
F x
F x
≡
(3)
сведена в универсальной силлогистике
2
s
L
к необходимости вычисления множеств
p
U
и
s
U
, входящих в суждения неклассической многозначной логики
2
s
L
вида (4)
0
0
0
1
2
( ,
,...,
)
p
p
n
U
F X X
X
=
,
0
0
0
1
2
(
,
,...,
)
s
s
n
U
F X X
X
=
, (4)
получаемых из формул
( ), ( )
p
n
s
n
F x F x
заменой булевых переменных
х
i
на фиксиро-
ванные для данного
n
конституентные множества
0
i
X
. При этом доказано, что ло-
гическое следование
( )
( )
p
n
s
n
F x
F x
имеет место при наличии отношений
p
s
U
U
⊂
либо
p
s
U
U
=
. При равенстве множеств логическое следование имеет место в обе
стороны. Алгоритм вычисления семантического значения конъюнктивной фор-
мулы (КФ) силлогистики
2
s
L
в виде коституентного множества основан на двух
цепочках тождеств (5) и вычислении дискретной диаграммы Венна, в которой вы-
полняютсяатомарные отношения (2) из КФ.
( , )
'
'
;
( , )
'
'
( '
) (
');
A X Y
X Y
U X Y
Eq X Y
X Y X Y
U
X Y
X Y
≡
⋅
= ∅ ≡
=
+
≡
⋅ +
⋅ = ∅ ≡
=
+
⋅
+
(5)
Традиционные диаграммы Венна [1. С. 68], являющиеся областью интер-
претации (означивания) формул традиционной силлогистики Аристотеля, могут
быть достаточно просто преобразованы в дискретные диаграммы (А-онтологии)
[2, 3, 9]. Схему преобразования поясняет рис. 1.
Мультидисциплинарные (неюридические) аспекты цифровой трансформации
Multidisciplinary (Non-Legal) Aspects оf Digital Transformation
Мультидисциплинарные (неюридические) аспекты цифровой трансформации
Multidisciplinary (Non-Legal) Aspects оf Digital Transformation
302
Рис. 1. Дискретизация диаграммы Венна
Из рис. 1 следует цепочка равенств относительно универсума дискретной
диаграммы.
0
0
0
0
0
0
1
2
3
1
2
3
(0)
(1)
0
0
0
0
0
0
0
0
0
0
0
0
0
1
2
3
1
2
3
1
2
3
1
2
3
1
(2)
(3)
(4)
(6)
(3) {0,1,2,3,4,6}
(0)
(1)
(2)
(3)
(4)
(6)
'
'
'
'
'
'
'
'
'
'
'
'
K
K
K
K
K
K
U
K
K
K
K
K
K
X X X
X X X
X X X
X X X
X X X
X X X
X
=
=
+
+
+
+
+
=
⋅
⋅
+
⋅
⋅
+
⋅
⋅
+
⋅
⋅
+
⋅
⋅
+
⋅
⋅
=
0
0
1
3
'
X X
+
⋅
Здесь исходные для вычислений модельные множества
0
,
1,
i
X i
n
=
соответ-
ствуют диаграмме Венна, в которой 2
n
непустых конституент, т. е. контституент-
ные номера определяются из декартова произведения элементов кортежей спи-
сков (5) здесь
* {0,1}
=
.
0
1
0
2
0
1
0
1 * ... * *
* 1 ... * *
...
* * ... 1 *
* * ..
...
. * 1
n
n
X
X
X
X
−
.
(5)
Например, для
n
= 3
0
0
0
1
2
3
{4,5,6,7};
{2,3,6,7};
{1,3,5,7};
X
X
X
=
=
=
. Также
дис кретная диаграмма Венна может быть выражена КФ
1
3
( ,
')
A X X
, применяя
к ней первое из соотношений (4), получим
1
3
'
' {0,1,2,3} {0,2,4,6} {0,1,2,3,4,6}
U X
X
=
+
=
+
=
1
3
'
' {0,1,2,3} {0,2,4,6} {0,1,2,3,4,6}
U X
X
=
+
=
+
=
(рис. 1). Алгоритм вычисления семантического значения формулы
в виде дискретной диаграммы Венна реализован в виде программы. В настоящее
время максимальное количество модельных множеств
n
= 22. Cоздается програм-
ма для
n
= 64.
Рассмотрим пример вычисления логического следования. Пусть булевы пе-
ременные
a
,
b
,
c
,
d
,
e
есть характеристические функции модельных множеств
A
,
B
,
C
,
D
,
E
, образующих универсум
0
{0,1,2...,2 1}
n
U
=
−
. Модельные множества
(признаки) находятся в следующих логических отношениях
а
= 1.
Если одновременно отсутствуют признаки
A
и
С
, то обнаруживается признак
Е
вместе с одним из признаков
В
или
D
, но не с обоими
' '
(
) (
)'
a c
e b d b d
⋅ ⇒ ⋅ +
⋅ ⋅
.
Всюду, где встречаются одновременно признаки
А
и
D
при отсутствии
Е
, либо
обнаруживаются оба признака
В
и
С
, либо оба отсутствуют
'
(
' ')
a d e
b c b c
⋅ ⋅ ⇒ ⋅ + ⋅
.
Мультидисциплинарные (неюридические) аспекты цифровой трансформации
Multidisciplinary (Non-Legal) Aspects оf Digital Transformation
303
Всюду, где имеет место признак
А
вместе с
В
или
Е
или вместе с обо-
ими, обнаруживается также один и только один из признаков
С
и
D
. И, на-
оборот, всюду, где наблюдается один и только один из признаков
С
и
D
,
обнаруживается также признак
А
вместе с
В
или
Е
или же с обоими
( (
)
(
'
' )) ((
'
' )
(
))
a b e
c d c d
c d c d
a b e
⋅ +
⇒ ⋅ + ⋅
⋅
⋅ + ⋅
⇒ ⋅ +
.
Предполагая эту информацию правильной, требуетсявыяснить, какие заклю-
чения в каждом случае можно вывести относительно признаков
В
,
С
и
D
:
1
2
3
:
; : '· '
·(
)·( · ); : · · ' ( ·
'· ');
P A U P A C
E B D B D P A D E
B C B C
=
⊂
+
⊂
+
4
: ·(
)
· '
'· ;
P A B E
C D C D
+
=
+
.
В универсальной силлогистике КФ, выражающая эти логические отноше-
ния, имеет вид (6)
· · '
(
,(
) ( [ ' ', (
) (
)] [
]
[
]
·
'· ')
·(
), · '
'·
A D E B C B C
A B E C D C
A
D
A U
A C E B D B D A
Eq
=
⋅
⋅
⋅
+
⋅
⋅
+
+
⋅
+
⋅
(6)
Универсум логического содержания (объем задаваемого им понятия) и само
5-арное логическое отношение изображенное на рис. 3
{16,19,21,27,28,29}
U
=
.
Если убрать не интересующее нас модельное множество
Е
, то останется от-
ношение между признаками
B
,
C
,
D
при условии
A
=
U
. Очевидным образом пре-
образовав правое отношение рис. 3 (рис. 4), мы можем определить, какие заклю-
чения можно вывести относительно
B
,
C
,
D
.
Рис. 3. Универсум и 5-арное логическое отношение определяемое КФ (6)
Рис. 3. Универсум и 5-арное логическое отношение определяемое КФ (6)
Рис. 4. Выделение требуемого 3-арного отношения для его описания
Используем непустые конституенты правой диаграммы, семейство которых
Порецкий называл единицей, получим путем равносильных преобразований.
{0,1,2,5,6}
( ' ' '
' '
'
'
'
')
( ' '
'
'
( '
'))
[ ' ( '
')
(
)]
[ ' ( '
')
(
)]
U
A B C D B C D B C D B C D B C D
A B C B C D B C D C D
A B C C D
B C D
A B C D
B C D
=
= ⋅
⋅ ⋅ + ⋅ ⋅ + ⋅ ⋅ + ⋅ ⋅ + ⋅ ⋅
=
⋅
⋅ + ⋅ ⋅ + ⋅
⋅ + ⋅
= ⋅
⋅
+ ⋅
+ ⋅
⊕
=
⋅
⋅
+
+ ⋅
⊕
Мультидисциплинарные (неюридические) аспекты цифровой трансформации
Multidisciplinary (Non-Legal) Aspects оf Digital Transformation
Мультидисциплинарные (неюридические) аспекты цифровой трансформации
Multidisciplinary (Non-Legal) Aspects оf Digital Transformation
304
Это по русски звучит так: при наличии
А
имеет место либо отсутствие В со-
вместно с отсутствием
С
либо
D
, либо обоих вместе, либо присутствие
В
совмест-
но с
C
либо
D
, но не обоих вместе.
Теперь используем семейство пустых конституент, которые Порецкий назы-
вал нулем (смотри правую чаcть рис. 3).
3
4
7
'
' '
(
'
') ( '
) ( '
'
')
(
'
') [ ' ((
) ( '
')]
(
'
') [ ' (
'
' )]
( ' ( '
')) & (
)
[ ',( '
')] [ ,
]
B C D B C D B C D
B C D
B C D B C D
U
B C D
B
C D C D
U
B C D
B
C D C D
U
B
C D
B C D
A B C D
A B C D
⋅ ⋅ + ⋅ ⋅ + ⋅ ⋅ = ∅ ≡
+ +
⋅
+ +
⋅
+ +
= ≡
+ +
⋅
+
+
⋅
+
= ≡
+ +
⋅
+
⋅ + ⋅
= ≡
⊂
+
⊂ ⊕
≡
+
⋅
⊕
Вывод тот же самый: При наличии
А
, если отсутствует признак
B
, то отсут-
ствуют
С
либо
D
либо оба вместе, если присутствует
B
, то это возможно совмест-
но с присутствием
C
либо
D
, но не обоих вместе.
Проверим следствие, которое мы получили. Его логическое содержание вы-
ражается КФ (7)
( [ ',( '
')] [ ,
]
A B C D
A B C D
+
⋅
⊕
. (7)
Проверим его на предмет следования из него КФ (6). Программное средство
вычисляет логический объем как
(
) ( ( '
')
(
'
' ))]
{16,17,18,19,20,2
}
[ ',( '
')]
1,26,27,2
(
8
[ ,
])
,2
[
9
M
A U B C D
B C D C D
A B C D
A B C D
M
=
⋅
⋅
+
+ ⋅
+
=
⋅
=
=
⋅ + ⋅
⊕
имеет место включение
(6)
(7)
{16,17,18,19,20,21,26,27,28,29}
{16,19,21,27,28,29}
ÊÔ
ÊÔ
U
U
=
⊂
=
То есть мы получили информацию о том, что логические содержания этих
КФ не совпадают (рис. 5)
· · ',( ·
'· ')
]
(
) ( [ ' ', (
) (
)] [
]
[ ·
]
[
,
',( '
')]
,
(
) · '
[
'·
A U
A A C E B D B D A
Eq
A B C D
A
A D E B C B C
A
D
B C
E
D
B
C
C D
=
⋅
⋅
⋅
+
⋅
⋅
⋅
⋅
⋅
+
⋅
+
+
⊕
+
Причем обратное следование не верно.
Рис. 5. Универсум и 5-арное логическое отношение определяемое КФ (7)
Таким образом, если имеется версия о том, что множество
A
, возможно одно-
элементное представляет собой преступника (преступников), то отсюда из инфор-
Мультидисциплинарные (неюридические) аспекты цифровой трансформации
Multidisciplinary (Non-Legal) Aspects оf Digital Transformation
305
мационной базы выражаемой КФ (6), следуют обстоятельства, выражаемые КФ
(7). Обратного следования нет, значит для доказательства того, что
A
преступник
(преступники) нужна дополнительная информация выражаемая пустыми консти-
туентами
(17)
(18)
(20)
(26)
K
K
K
K
+
+
+
= ∅
.
{16,17,18,19,20,21,26,27,28,29}\{16,19,21,27,28,29) {17,18,20,26}
(17)
(18)
(20)
(26)
K
K
K
K
=
= ∅ ≡
+
+
+
= ∅
которая указывает на существование обратного следования. В алгебре логики Буля
эта информация задается формулой из характеристических функций модельных
множеств
(
' ' '
' '
'
'
' '
'
)
a b c d e a b c d e a b c d e a b c d e
⋅ ⋅ ⋅ ⋅ + ⋅ ⋅ ⋅ ⋅ + ⋅ ⋅ ⋅ ⋅ + ⋅ ⋅ ⋅ ⋅ = ∅
. (8)
Если формула (8) в процессе добычи дополнительных доказательств (откры-
тия новых фактов) подтверждается, тогда доказано, что А виновен (виновны), если
нет, требуется выдвижение новой версии и нового плана расследования.
Если бы сразу подтверждалось обратное следование
[ ',( '
')] [ ,
]
( [ ' ', (
) (
)] [
]
[
]
· · ',( ·
'· ')
·(
), · '
'·
A D E B
A B C D
A B C D
A A A C E
C
C B C
A
B D B D
D
A
C
E
B E
D
q
⋅
+
⋅
⊕
⋅
⋅
⋅
+
⋅
⋅
⋅
+
⋅
+
+
,
то этим неопровержимо доказывалось бы, что
A
– преступник (преступники).
В работе показана принципиальная возможность построения цифровой логи-
ко-семантической модели версии в процессе расследования, а также автоматиза-
ции процессов верификации логического следования в данной модели. Результаты
статьи подтверждаются [2–7, 9] другими публикациям авторов. Авторы готовы
к сотрудничеству со специалистами в области теории и практики цифровой транс-
формации рассматриваемой предметной области.
Список литературы
1. Кузичев А. С. Диаграммы Венна. М.: Наука, 1968. 253 с.
2. Сметанин Ю. М. Верификация логического следования в неклассической
многозначной логике // Известия Института математики и информатики УдГУ.
2017. Т. 50. С. 62-82.
3. Сметанин Ю. М. Фронтальный алгоритм решения SAT задачи //
Программные системы: теория и приложения. 2022. Т. 13, № 4. С. 163-179.
4. Сметанин Ю. М., Сметанина Л. П. Логические аспекты информацион-
но-аналитической работы (как сложить мозаику) // Современные проблемы про-
фессионального образования: опыт и пути решения: материалы Пятой Всерос.
науч.-практ. конф. с междунар. участием, приурочен. к 90-летию Иркутск. нац. ис-
следоват. техн. ун-та и к 45-летию Иркутск. гос. ун-та путей сообщения. Иркутск:
Изд-во ИрГУПС, 2020. С. 517-521.
5. Сметанин Ю. М., Сметанина Л. П. Методика расчета вероятностей в дис-
кретном вероятностном пространстве образованном конечным числом случай-
ных событий // Теория управления и математическое моделирование: материалы
Мультидисциплинарные (неюридические) аспекты цифровой трансформации
Multidisciplinary (Non-Legal) Aspects оf Digital Transformation
Мультидисциплинарные (неюридические) аспекты цифровой трансформации
Multidisciplinary (Non-Legal) Aspects оf Digital Transformation
306
Всерос. конф. с междунар. участием «Теория управления и математическое моде-
лирование», посвящ. памяти проф. Н. В. Азбелева и проф. Е. Л. Тонкова, Ижевск,
15-19 июня 2020 г. Ижевск: Удмуртский ун-т, 2020. С. 342-344.
6. Сметанин, Ю. М, Сметанина Л. П.Решение задачи преобразования смысл –
текст (текст – смысл) в силлогистике LS2 // Философия в полицентричномми-
ре: секции (I) : сб. науч. ст. Восьм. Рос. Философск. Конгресса. М.: Логос, 2020.
С. 244-245.
7. Сметанин Ю. М. Вероятностная интерпретация логических задач на при-
мере задач П. С. Порецкого // Наука как общественное благо: сб. науч. ст. Второго
Междунар. Конгресса Русск. общества истории и философии науки: В 7 т. / Санкт-
Петербургск. гос. ун-т. М.: РОИФН, 2020. Т. 4. С. 191-196.
8. Эйсман А. А. Логика доказывания: монография. М.: Юрид. лит., 1971. 112 с.
9. Smetanin Iu. Syllogistical System on the Basis of the Propositional Multivalued
Logic // International Conference “Stability and Control Processes” in Memory of
V. I. Zubov (SCP) : Russia, Saint-Petersburg, October 5-9, 2015 / editors: L. A. Petrosyan,
A. P. Zhabko. Saint-Petersburg : IEEE, 2015. P. 596-599.
Л. Р. Хайрутдинова,
старший преподаватель,
Казанский инновационный университет
имени В.Г. Тимирясова
ОБЕСПЕЧЕНИЕ БЕЗОПАСНОСТИ ДЕТЕЙ
В ИНТЕРНЕТ-ПРОСТРАНСТВЕ:
ПРИЧИНЫ И ПРОБЛЕМЫ РЕАЛИЗАЦИИ
Аннотация.
В статье рассматриваются причины обеспечения безопасности
детей в интернет-пространстве. Исследована статистика ряда стран о количестве
детей, ставших жертвами киберпреступлений. Описываются меры, которые пред-
принимаются в России для защиты детей. В заключение приводится ряд предло-
жений для защиты детей от киберпреступлений.
Ключевые слова:
безопасность, дети, кибервиктимность, киберпресту-
пление, жертва, несовершеннолетний, преступность, цифровые технологии,
кибержертва
ENSURING CHILDREN’S SAFETY IN THE INTERNET SPACE:
REASONS AND PROBLEMS OF IMPLEMENTATION
Abstract.
The article considers the reasons for ensuring the safety of children in
the Internet space. Statistics from a number of countries on child victims of cybercrime
are examined. The measures that are taken in Russia to protect children are described.
In conclusion, a number of suggestions are given to protect children from cybercrime.
