RUSSIAN

Элементы математической логики. Алгоритмы и рекурсивные функции

By Коллектив авторов

Book information

Publisher
Сибирский федеральный университет
Language
russian
Format
PDF
Filesize
432 kB (442305 bytes)
Pages
28\28
Time added
2018-10-09 11:04:03

Description

ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ. АЛГОРИТМЫ И РЕКУРСИВНЫЕ ФУНКЦИИ. Учебно-методическое пособие......Page 1 Содержание......Page 3 Введение......Page 4 1.1. Машина Тьюринга......Page 5 1.2. Произведение......Page 6 1.4. Разветвления с циклом......Page 7 1.5. Вычислимые по Тьюрингу-Посту функции......Page 8 1.6. Неразрешимые множества......Page 12 2.1. Определение частично-рекурсивных функций......Page 14 2.2. Нумерации кортежей чисел......Page 18 3.1. Совпадение классов ч.р.ф. и функций, вычислимых по Тьюрингу......Page 19 3.2. Рекурсивные и рекурсивно-перечислимые множества......Page 21 4. Теорема Поста-Маркова о конечно-определенной полугруппе с неразрешимой проблемой равенства......Page 24 4.2. Теорема Поста-Маркова......Page 25 Список литературы......Page 28

Similar books

Методические рекомендации по улучшению качества молока: для направлений подготовки бакалавров 19.03.03 «Продукты питания животного происхождения» профиль «Технология молока и молочных продуктов», 15.03.02 «Технологические машины и оборудование» профиль « Машины и аппараты пищевых производств», 36.03.02 «Зоотехния» Профиль «Технология производства продуктов животноводства». Для направлений подготовки магистров: 27.04.01 «Стандартизация и метрология» магистерская программа «Стандартизация и сертификация в пищевой промышленности

Методические рекомендации по улучшению качества молока: для направлений подготовки бакалавров 19.03.03 «Продукты питания животного происхождения» профиль «Технология молока и молочных продуктов», 15.03.02 «Технологические машины и оборудование» профиль « Машины и аппараты пищевых производств», 36.03.02 «Зоотехния» Профиль «Технология производства продуктов животноводства». Для направлений подготовки магистров: 27.04.01 «Стандартизация и метрология» магистерская программа «Стандартизация и сертификация в пищевой промышленности

2015 · PDF

Водный транспорт леса: методические указания к выполнению курсовой работы «Организация первоначального плотового лесосплава» для студентов бакалавриата направления подготовки 35.03.02 «Технология лесозаготовительных и деревоперерабатывающих производств», профиль «Лесоинженерное дело» всех форм обучения: Методические указания к выполнению курсовой работы «Организация первоначального плотового лесосплава» для студентов бакалавриата направления подготовки 35.03.02 «Технология лесозаготовительных и деревоперерабатывающих

Водный транспорт леса: методические указания к выполнению курсовой работы «Организация первоначального плотового лесосплава» для студентов бакалавриата направления подготовки 35.03.02 «Технология лесозаготовительных и деревоперерабатывающих производств», профиль «Лесоинженерное дело» всех форм обучения: Методические указания к выполнению курсовой работы «Организация первоначального плотового лесосплава» для студентов бакалавриата направления подготовки 35.03.02 «Технология лесозаготовительных и деревоперерабатывающих

2020 · PDF

Определенный интеграл по фигуре от скалярной функции. Практическая часть: пособие для студентов специальностей 1-70 01 01 «Производство строительных изделий и конструкций»; 1-70 02 01 «Промышленное и гражданское строительство»; 1-70 02 02 «Экспертиза и управление недвижимостью»; 1-70 03 01 «Автомобильные дороги»; 1-70 03 02 «Мосты, транспортные тоннели и метрополитены»; 1-70 04 01 «Водохозяйственное строительство»; 1-70 04 02 «Теплогазоснабжение, вентиляция и охрана воздушного бассейна»; 1-70 04 03 «Водоснабжение, водоотведение и охрана водных ресурсов» и 1-70 07 01 «Строительство тепловых и атомных электростанций»

Определенный интеграл по фигуре от скалярной функции. Практическая часть: пособие для студентов специальностей 1-70 01 01 «Производство строительных изделий и конструкций»; 1-70 02 01 «Промышленное и гражданское строительство»; 1-70 02 02 «Экспертиза и управление недвижимостью»; 1-70 03 01 «Автомобильные дороги»; 1-70 03 02 «Мосты, транспортные тоннели и метрополитены»; 1-70 04 01 «Водохозяйственное строительство»; 1-70 04 02 «Теплогазоснабжение, вентиляция и охрана воздушного бассейна»; 1-70 04 03 «Водоснабжение, водоотведение и охрана водных ресурсов» и 1-70 07 01 «Строительство тепловых и атомных электростанций»

PDF

Студенческая наука для развития информационного общества : сборник материалов VI Всероссийской научно-технической конференции (Ставрополь, 22-26 мая 2017) : [в 2-х томах] / Министерство образования и науки Российской Федерации, Институт информационных технологий и телекоммуникаций Северо-Кавказского федерального университета (г. Ставрополь), Институт компьютерных технологий и информационной безопасности Инженерно-технологической академии Южного федерального университета (г. Таганрог), Ростовский государственный экономический университет (РИНХ) (г. Ростов-на-Дону)

Студенческая наука для развития информационного общества : сборник материалов VI Всероссийской научно-технической конференции (Ставрополь, 22-26 мая 2017) : [в 2-х томах] / Министерство образования и науки Российской Федерации, Институт информационных технологий и телекоммуникаций Северо-Кавказского федерального университета (г. Ставрополь), Институт компьютерных технологий и информационной безопасности Инженерно-технологической академии Южного федерального университета (г. Таганрог), Ростовский государственный экономический университет (РИНХ) (г. Ростов-на-Дону)

PDF

Молодежная наука - развитию агропромышленного комплекса : материалы Всероссийской (национальной) научно-практической конференции студентов, аспирантов и молодых ученых, г. Курск, 3-4 декабря 2020 г. / Министерство сельского хозяйства Российской Федерации, Ассоциация аграрных вузов Центрального федерального округа, Комитет агропромышленного комплекса Курской области, Федеральное государственное бюджетное образовательное учреждение высшего образования "Курская государственная сельскохозяйственная академия имени И. И. Иванова", Совет молодых ученых ФГБОУ ВО Курская ГСКА ; редакционная коллегия: Харченко Е. В. (председатель) [и др.]

Молодежная наука - развитию агропромышленного комплекса : материалы Всероссийской (национальной) научно-практической конференции студентов, аспирантов и молодых ученых, г. Курск, 3-4 декабря 2020 г. / Министерство сельского хозяйства Российской Федерации, Ассоциация аграрных вузов Центрального федерального округа, Комитет агропромышленного комплекса Курской области, Федеральное государственное бюджетное образовательное учреждение высшего образования "Курская государственная сельскохозяйственная академия имени И. И. Иванова", Совет молодых ученых ФГБОУ ВО Курская ГСКА ; редакционная коллегия: Харченко Е. В. (председатель) [и др.]

PDF

Студенческая наука для развития информационного общества : сборник материалов VI Всероссийской научно-технической конференции (Ставрополь, 22-26 мая 2017) : [в 2-х томах] / Министерство образования и науки Российской Федерации, Институт информационных технологий и телекоммуникаций Северо-Кавказского федерального университета (г. Ставрополь), Институт компьютерных технологий и информационной безопасности Инженерно-технологической академии Южного федерального университета (г. Таганрог), Ростовский государственный экономический университет (РИНХ) (г. Ростов-на-Дону)

Студенческая наука для развития информационного общества : сборник материалов VI Всероссийской научно-технической конференции (Ставрополь, 22-26 мая 2017) : [в 2-х томах] / Министерство образования и науки Российской Федерации, Институт информационных технологий и телекоммуникаций Северо-Кавказского федерального университета (г. Ставрополь), Институт компьютерных технологий и информационной безопасности Инженерно-технологической академии Южного федерального университета (г. Таганрог), Ростовский государственный экономический университет (РИНХ) (г. Ростов-на-Дону)

PDF

Студенческая наука для развития информационного общества : сборник материалов VII Всероссийской научно-технической конференции (г. Ставрополь, 26-28 декабря 2017 года) : [в 2-х томах] / Министерство образования и науки Российской Федерации Северо-Кавказского федерального университета (г. Ставрополь), Институт компьютерных технологий и информационной безопасности Инженерно-технологической академии Южного федерального университета (г. Таганрог), Поволжский государственный университет телекоммуникаций и информатики (г. Самара), Ростовский государственный экономический университет (РИНХ) (г. Ростов-на-Дону)

Студенческая наука для развития информационного общества : сборник материалов VII Всероссийской научно-технической конференции (г. Ставрополь, 26-28 декабря 2017 года) : [в 2-х томах] / Министерство образования и науки Российской Федерации Северо-Кавказского федерального университета (г. Ставрополь), Институт компьютерных технологий и информационной безопасности Инженерно-технологической академии Южного федерального университета (г. Таганрог), Поволжский государственный университет телекоммуникаций и информатики (г. Самара), Ростовский государственный экономический университет (РИНХ) (г. Ростов-на-Дону)

PDF

Материалы международного форума "Кавказ в начале XXI века: роль публичной дипломатии в противодействии терроризму", Пятигорск, 13-16 ноября 2017 года : International forum "The Caucasus at the beginning of the XXI century: the role of public diplomacy in countering terrorism" : научное издание : [в 2 т.] : 16+ / Министерство образования и науки Российской Федерации, "Северо-Кавказский федеральный университет", Институт сервиса, туризма и дизайна (филиал) СКФУ в г. Пятигорске ; [под ред. Т. А. Шебзуховой и др.]

Материалы международного форума "Кавказ в начале XXI века: роль публичной дипломатии в противодействии терроризму", Пятигорск, 13-16 ноября 2017 года : International forum "The Caucasus at the beginning of the XXI century: the role of public diplomacy in countering terrorism" : научное издание : [в 2 т.] : 16+ / Министерство образования и науки Российской Федерации, "Северо-Кавказский федеральный университет", Институт сервиса, туризма и дизайна (филиал) СКФУ в г. Пятигорске ; [под ред. Т. А. Шебзуховой и др.]

PDF