Приложение
для AndroidПолное описание
| ГРНТИ | УДК | |
| 27.03.45 | 510.582(076.5) |
Рубрики:
Алгоритмы -- Учебники и пособия
Кл.слова (ненормированные): МАШИНЫ ПОСТА -- МАШИНЫ С НЕОГРАНИЧЕННЫМИ РЕГИСТРАМИ -- МАШИНЫ С ОГРАНИЧЕННЫМ ЧИСЛОМ ПЕРЕМЕННЫХ -- МАШИНЫ ТЬЮРИНГА -- НОРМАЛЬНЫЕ АЛГОРИФМЫ МАРКОВА -- ТЕОРИЯ АЛГОРИТМОВ
Аннотация: В пособии рассматриваются основные формализации понятия "алгоритм": машина Тьюринга, машина Поста, нормальный алгорифм. Для каждого класса алгоритмов приводится описание, подробные примеры алгоритмов, вычисляющих частичные функции, и несколько заданий для проверки усвоения материала. Пособие может использоваться для подготовки студентов, изучающих математическую логику и теорию алгоритмов и обучающихся по направлениям "Математика", "Прикладная математика и информатика", "Программная инженерия", "Математическое обеспечение и администрирование информационных систем". Интуитивное описание и примеры каждого алгоритма подходят для изучения на факультативах и математических кружках в школе.
Доп. точки доступа:
Дальневосточный федеральный университет (Владивосток)
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д11-21/4227)
Шифр в сводном ЭК: 26cabdd450152ea51b6a8129612efbe4
Ефремов, Евгений Леонидович. Теоретико-модельные свойства класса инъективных полигонов : 01.01.06 - математическая логика, алгебра и теория чисел: автореферат диссертации на соискание учёной степени кандидата физико-математических наук / Ефремов Евгений Леонидович, 2020. - 17 с. - Текст : непосредственный.Ефремов, Евгений Леонидович. Алгоритмы вычисления частичных функций : учебно-методическое пособие / Е. Л. Ефремов, 2021. - 46, [1] с. - Текст (визуальный) : непосредственный.
Ганжа К.А. Теория вероятностей : учебное пособие / К. А. Ганжа, А. А. Гоменюк, 2018. - 98 с. - Текст : непосредственный.Старожилов В.Т. Природопользование: практическая ландшафтная география : учебник / В. Т. Старожилов, 2018. - 275 с. - Текст : непосредственный.Старожилов В.Т. Ландшафтное районирование юга Тихоокеанского ландшафтного пояса России : учебник / В. Т. Старожилов, 2018. - 348, [1] с. - Текст : непосредственный.Макарова Н.В. Железобетонные конструкции гидротехнических сооружений : учебно-методическое пособие / Н. В. Макарова, 2019. - 78, [1] с. - Текст : непосредственный.Цыганков В.Ю. Химические и экологические аспекты стойких органических загрязняющих веществ : учебное пособие / В. Ю. Цыганков, М. Д. Боярова, 2019. - 140, [1] с. - Текст : непосредственный.Молоков К.А. Основы расчетного проектирования сварных конструкций : учебное пособие : в 3 томах. Т. 1 : Напряженное состояние и основы конструирование, 2019. - 202 с. - Текст : непосредственный.Молоков К.А. Основы расчетного проектирования сварных конструкций : учебное пособие : в 3 томах. Т. 2 : Принципы проектирования металлических конструкций, 2019. - 213 с. - Текст : непосредственный.Пилилян Е.К. Экономика досуга : учебное пособие / Е. К. Пилилян, 2019. - 109 с. - Текст : непосредственный.Беспалов Д.Н. Управление проектами в области IT-технологий и защиты информации : учебное пособие / Д. Н. Беспалов, Т. Ю. Добржинская, Ю. В. Добржинский, 2019. - 155, [1] с. - Текст : непосредственный.Электронная структура химических соединений : монография : в 5 томах / Дальневосточный федеральный университет. Т. 1 : Простые молекулы / В. И. Вовна ; под общей редакцией В. И. Сергиенко, 2018. - 359 с. - Текст : непосредственный.Миграционные процессы и их влияние на демографическое и социально-экономическое развитие Дальнего Востока : сборник трудов II Международной научно-практической конференции, 4-5 июня 2018 г.: [в рамках проекта "Миграционные мосты в Евразии - 2018"] / Дальневосточный федеральный университет [и др.], 2018. - 264 с. - Текст : непосредственный.Михаил Васильевич Ломоносов и современная наука о материалах : (к 300-летию со дня рождения) / А. Д. Верхотуров, В. А. Достовалов, П. С. Гордиенко, Л. А. Коневцов, 2012. - 89, [2] с. - Текст : непосредственный.Химия и химическое образование : 7-й Международный симпозиум, 17-20 октября 2017 г.: сборник научных трудов / Дальневосточный федеральный университет [и др.], 2017. - 188 с. - Текст : непосредственный.Новиков, В. В. Ходкость и прочность морских судов при эксплуатации в ледовых условиях : учебное пособие : в двух частях. Ч. 1 : Основы обеспечения ледовой прочности морских судов, 2016. - 133 с. - Текст : непосредственный.Губарьков С.В. Основы финансовой деятельности организации : учебное пособие / С. В. Губарьков, 2017. - 170 с. - Текст : непосредственный.Короченцев В.В. Электронная структура хелатных комплексов редкоземельных элементов : учебное пособие / В. В. Короченцев, В. И. Вовна, А. В. Шурыгин, 2017. - 157, [1] с. - Текст : непосредственный.Куманева И.П. Развитие туристической отрасли на Дальнем Востоке России (1991-2014 гг.) : монография / И. П. Куманева, 2018. - 244 с. - Текст : непосредственный.Петрова Т.Н. Закон Ома, или про интегральные и дифференциальные законы классической физики : учебное пособие / Т. Н. Петрова, П. С. Петров, 2017. - 25, [2] с. - Текст : непосредственный.Панова В.В. Проблемы глобального управления в деятельности многосторонних неформальных механизмов взаимодействия : учебное пособие / В. В. Панова, 2019. - 77, [2] с. - Текст : непосредственный.Губин А.В. Проблемы национальной безопасности и контроля над вооружениями : учебно-методическое пособие / А. В. Губин, 2019. - 69, [1] с. - Текст : непосредственный.
Показать все результатыРоманов В.Ф. Математическая логика и теория алгоритмов / В. Ф. Романов, 2003. - 23 с. - Текст : непосредственный.Гурова Л.М. Математическая логика и теория алгоритмов / Л. М. Гурова, Л. М. Шурова, Е. В. Зайцева, 2006. - 262 с. (Введено оглавление). - Текст : электронный.Герасимов А.С. Курс математической логики и теории вычислимости : учеб. пособие / А. С. Герасимов, 2011. - 284 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3(2008) : Вычислимые функции, 2008. - 189 с. - Текст : непосредственный.Рябцева Н.Н. Математическая логика и теория алгоритмов : учеб. пособие / Н. Н. Рябцева, Е. И. Омельченко, 2016. - 114 с. - Текст : непосредственный.Ершов Ю.Л. Определимость и вычислимость / Ю.Л.Ершов, 1996. - 286 c. - Текст : непосредственный.Горюшкин, А. П. Математическая логика и теория алгоритмов : учеб. пособие : в 2-х ч. Ч. 1, 2014. - 164 с. - Текст : непосредственный.Ершов Ю.Л. Определимость и вычислимость / Ю.Л.Ершов, 2000. - 318 с. - Текст : непосредственный.Горюшкин, А. П. Математическая логика и теория алгоритмов : учеб. пособие : в 2 ч. Ч. 2, 2014. - 111 с. - Текст : непосредственный.Гринченков Д.В. Математическая логика и теория алгоритмов для программистов : Учеб. пособие / Д. В. Гринченков, С. И. Потоцкий, 2010. - 206 с. - Текст : электронный.Герасимов А.С. Курс математической логики и теории вычислимости : учеб. пособие / А. С. Герасимов, 2014. - 409 с. - Текст : непосредственный.Набебин А.А. Математическая логика и теория алгоритмов : Учеб. пособие / А. А. Набебин, Ю. П. Кораблин, 2008. - 343 с. - Текст : непосредственный.Герасимов А.С. Курс математической логики и теории вычислимости : Учеб. пособие / А. С. Герасимов, 2009. - 234 с. - Текст : непосредственный.Деменков Е.А. Верхние и нижние оценки на схемную сложность явно заданных булевых функций : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / Е. А. Деменков, 2013. - 10 с. - Текст : непосредственный.Корячко В.П. Математическая логика и теория алгоритмов : учеб. пособие / В. П. Корячко, А. В. Бакулев, М. А. Бакулева, 2012. - 135 с. - Текст : непосредственный.Borger E. Computability, complexity, logic / E.B@:orger, 1989. - XX, 592 p. 592 p. - Текст : непосредственный.Parallel Processing Letters. - Журнал выходит с 1991г. - Текст : электронный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3(2012) : Вычислимые функции, 2012. - 158 с. - Текст : непосредственный.Шапорев С.Д. Математическая логика и теория алгоритмов : Учеб. пособие для студентов вузов, обучающихся по спец. 220200 "Автоматизированные системы обработки информации и управления", 654600 "Информатика и вычислительная техника" / С.Д.Шапорев, 2004. - 227 с. - Текст : непосредственный.Витер Д.А. Примитивно рекурсивная реализуемость и конструктивная теория моделей : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / Д. А. Витер, 2002. - 12 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽