Тема № 34

ФОНДОВАЯ ЛЕКЦИЯ

Применение операций суперпозиции, примитивной рекурсии и минимизации к вычислимым функциями

Определение операций суперпозиции, примитивной рекурсии и минимизации

На множестве определим три операции: (суперпозиция), (примитивная рекурсия) и (минимизация).

Операция суперпозиции вводится так же, как и для булевой алгебры

Операция примитивной рекурсии определяется следующим образом.

Пусть и – произвольные функции из. Построим функцию, используя «схему» примитивной рекурсии:

,.

Пусть – произвольный набор чисел из. Полагаем

.

Если на этом наборе определена, то полагаем

.

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

Операция минимизации определяется следующим образом. Пусть – произвольная функция из. Построим функцию через оператор минимизации

,

что означает, что для произвольного набора составляется уравнение

.

а) Если существует из, являющееся решением этого уравнения, то берем минимальное из решений, обозначаем его через и полагаем

.

б) В противном случае функция не определена.

Про функцию говорят, что она получена из функции при помощи операции минимизации.

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

I. Множество всех функций, которые можно получить из системы при помощи операций, и, называемое классом частично-рекурсивных функций.

II. Класс рекурсивных функций, т. е. множество всех всюду определенных функций из.

III. Класс примитивно-рекурсивных функций, т. е. множество всех функций, которые можно получить из системы при помощи операций и.

Очевидно, что

.

Лемма 1. Из вычислимой функции при добавлении и изъятии несущественных переменных получается вычислимая функция.

Лемма 2. Если

,, …,

вычислимы, то функция

также вычислима.

Теорема 1. Класс замкнут относительно операции суперпозиции.

Теорема 2. Класс замкнут относительно операции.

Теорема 3. Класс замкнут относительно операции.

Теорема 4. Класс замкнут относительно операций.

Следствие..

по дисциплине «Криминалистика»

«Методика расследования грабежей и разбоев»

(специальность 030501 65 – Юриспруденция

специализация уголовно-правовая

ведомственная специализация – предварительное следствие в ОВД)

2 часа

(количество часов)

Орел

П Л А Н

Введение

Основные вопросы:

1. Криминалистическая характеристика грабежей и разбоев.

2. Особенности первоначального этапа расследования грабежей и разбоев.

3. Особенности расследования грабежей и разбоев на последующем этапе.

Заключение

Литература

Лекция подготовлена преподавателем кафедры КиПР в ОВД к.ю.н, майором полиции Бадиковым Д.А.

Лекция обсуждена и одобрена на заседании кафедры

28 марта 2012 г. Протокол № 6.1

Введение

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

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

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

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

Актуальность этой темы не может быть поставлена ни под какое сомнение, ибо данные виды преступлений против собственности наиболее распространены, их расследование требует значительных усилий, даже профессионалов следственной работы, а латентность этих преступлений очень высока.

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

Для достижения поставленной цели необходимо решить следующие задачи:

анализ алгоритма и тактики производства первоначальных следственных действий по делам о грабежах и разбойных нападениях.

Изучение порядка деятельности следователя на этапе дальнейшего расследования дел о грабежах и разбойных нападениях.

Дата добавления: 2014-01-04