Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A

Главная

ИРБИС64+

Упрощенный режим

Описание

Базы данных

ЭБС IPRBooks- результаты поиска

Вид поиска

Электронный каталог

Картотека журнальных статей

Систематический имидж-каталог

Авторефераты диссертаций

Учебники и учебно-методические пособия СПХФУ

ЭБС IPRBooks

ЭБС Консультант студента

ЭБС Юрайт

Диссертации, защищенные в СПХФУ

Журнальный фонд СПХФУ

Библиотечный фонд техникума

ВКР

Область поиска

в найденном

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=машина тьюринга<.>)

Общее количество найденных документов : 12
Показаны документы с 1 по 10

1-10 11-12

IPRBooks-47905

47905

Безусова, Т. А.
Теория алгоритмов. Основные подходы к формализации алгоритма [Электронный ресурс] : учебное пособие / Безусова Т. А. - Соликамск : Соликамский государственный педагогический институт, 2011. - 63 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 22.1

Кл.слова (ненормированные):
алгоритм маркова -- математика -- машина тьюринга -- рекурсивная функция -- теория алгоритмов
Аннотация: В пособии рассмотрены различные подходы к формализации понятия алгоритм: машина Тьюринга, алгоритмы Маркова, рекурсивные функции. Пособие ориентировано на студентов 3-4 курсов математических факультетов педагогических вузов, обучающихся по специальности «Математика и информатика» и «Информатика и математика».

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-28402

28402

Рязанов, Ю. Д.
Теория вычислительных процессов [Электронный ресурс] : лабораторный практикум. Учебное пособие / Рязанов Ю. Д. - Белгород : Белгородский государственный технологический университет им. В.Г. Шухова, ЭБС АСВ, 2011. - 100 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004

ББК 32.81я73

Кл.слова (ненормированные):
автомат мили -- автомат мура -- вычислительный процесс -- машина тьюринга -- одноленточный автомат -- сети петри
Аннотация: В учебном пособии содержатся теоретические сведения и необходимые рекомендации к выполнению лабораторных работ по дисциплине «Теория вычислительных процессов» в соответствии с государственным образовательным стандартом высшего профессионального образования. Рассмотрены основы теоретического программирования: вычислимость и разрешимость, одноленточные автоматы, автоматы Мили и Мура, схемы программ, сети Петри. Теоретический материал сопровождается примерами и задачами с решениями. Учебное пособие предназначено для студентов дневной и заочной форм обучения по направлению подготовки 230100 «Информатика и вычислительная техника» и специальности 230105 — Программное обеспечение вычислительной техники и автоматизированных систем.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-67068

67068

Компьютерные технологии [Электронный ресурс] : учебно-методический комплекс / сост.: С. А. Омарова, Б. К. Тульбасова. - Алматы : Нур-Принт, 2012. - 146 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.05

ББК 32.97

Кл.слова (ненормированные):
алгоритмический язык -- компьютерная технология -- линейная программа -- массив -- математическая задача -- машина тьюринга -- оператор ветвления -- редактирование информации -- язык программирования
Аннотация: «Компьютерные технологии» в системе подготовки специалистов математиков: получить представление о современной информационной культуре; уверенно работать в качестве пользователя на ПЭВМ; владеть основами автоматизации решения математических задач; владеть компьютерными методами сбора, хранения и обработки (редактирования) информации, применяемыми в сфере его профессиональной деятельности.

(для доступа требуется авторизация)

Доп.точки доступа:
Омарова, С. А. \сост.\; Тульбасова, Б. К. \сост.\
Свободных экз. нет
Найти похожие

IPRBooks-67154

67154

Теория алгоритмов [Электронный ресурс] : учебно-методический комплекс / сост.: А. М. Опабекова, К. У. Умбетбаев. - Алматы : Нур-Принт, 2012. - 79 с. - ISBN 9965-756-08-2 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.4

ББК 32.973

Кл.слова (ненормированные):
грамматика хомского -- детерминированный автомат -- конечный автомат -- машина тьюринга -- общерекурсивная функция -- оператор суперпозиции -- программирование алгоритма -- теория алгоритма
Аннотация: Курс «Теория алгоритмов» рассчитан на один семестр и призван упрочить фундамент специальной подготовки будущих педагогов, способствовать дальнейшему формированию логической и алгоритмической культуры будущих учителей информатики и информационных технологий. Исходным пунктом курса служит недостаточность интуитивного определения алгоритма. Рассматривается описание вычислительного процесса, принимаемого в качестве формального определения понятия алгоритма, в терминах частично-рекурсивных функций и вычислительных устройств (машины Тьюринга и Поста). Далее рассматриваются примеры невычислимой функции, алгоритмически неразрешимых проблем математики и информатики.

(для доступа требуется авторизация)

Доп.точки доступа:
Опабекова, А. М. \сост.\; Умбетбаев, К. У. \сост.\
Свободных экз. нет
Найти похожие

IPRBooks-45037

45037

Забуга, А. А.
Теоретические основы информатики [Электронный ресурс] : учебное пособие / Забуга А. А. - Новосибирск : Новосибирский государственный технический университет, 2013. - 168 с. - ISBN 978-5-7782-2312-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004

ББК 32.81

Кл.слова (ненормированные):
алгоритм -- информатика -- информационная система -- математическая логика -- машина тьюринга -- мера информации -- теоретические основы
Аннотация: В учебном пособии рассматриваются такие разделы классической математики, как комбинаторика, теория вероятностей, математическая логика, дискретная математика, а также ряд технических вопросов реализации информационных систем, ставшие предпосылками к появлению информатики как отдельной самостоятельной дисциплины. В главах, посвященных математическим и алгоритмическим аспектам организации вычислительных процессов, даны примеры задач и их решения. Издание предназначено для студентов-бакалавров, обучающихся по направлениям 080500 «Бизнес-информатика» и 230700 «Прикладная информатика», а также для всех, кто интересуется математическими и теоретическими основами информатики. Приведены поясняющие иллюстрации, поэтому оно может быть предложено и неподготовленному читателю.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-32100

32100

Алябьева, В. Г.
Теория алгоритмов [Электронный ресурс] : учебное пособие для специальности 050201.65 – «Математика с дополнительной специальностью “Информатика”», направление подготовки 050100 – «Педагогическое образование» / Алябьева В. Г. - Пермь : Пермский государственный гуманитарно-педагогический университет, 2013. - 125 с. - ISBN 978-5-85218-624-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510.51

ББК 22.1

Кл.слова (ненормированные):
машина поста -- машина тьюринга -- невычислимая функция -- рекурсивные функции -- теория алгоритмов
Аннотация: В учебном пособии нашли отражение три подхода к определению понятия алгоритма: на языке машин Тьюринга, на языке машин Поста, на языке рекурсивных функций. Отдельная глава посвящена алгоритму нумерации кортежей. Также в пособии содержатся задания для самостоятельной работы студентов и темы курсовых работ. Адресовано бакалаврам, обучающимся по специальности 050201.65 – «Математика с дополнительной специальностью “Информатика”», направление подготовки 050100 – «Педагогическое образование». Также пособие может быть рекомендовано студентам, обучающимся по специальностям «Математика», «Математика и информатика», Прикладная математика», «Компьютерная безопасность».

(для доступа требуется авторизация)

Доп.точки доступа:
Пастухова, Г. В.
Свободных экз. нет
Найти похожие

IPRBooks-63891

63891

Иванова, О. Г.
Практикум по информатике [Электронный ресурс] : учебное пособие / Иванова О. Г. - Тамбов : Тамбовский государственный технический университет, ЭБС АСВ, 2014. - 112 с. - ISBN 978-5-8265-1349-1 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004

ББК 32.97

Кл.слова (ненормированные):
измерение информации -- информатика -- код хемминга -- линейный алгоритм -- машина тьюринга -- одномерный массив -- программирование алгоритма -- разветвлённая структура -- система счисления -- циклический алгоритм
Аннотация: Содержит теоретический материал, лабораторные работы и список рекомендуемой литературы. Предназначено для студентов высших учебных заведений, обучающихся по специальности 10.05.03 (090303) «Информационная безопасность автоматизированных систем» и направлениям 13.03.02 (140400) «Электроэнергетика и электротехника», 27.03.03 (220100) «Системный анализ и управление», 09.03.01 (230100) «Информатика и вычислительная техника», 09.03.02 (230400) «Информационные системы и технологии», и для студентов средних учебных заведений, обучающихся по специальности 09.02.03 (230115) «Программирование в компьютерных системах».

(для доступа требуется авторизация)

Доп.точки доступа:
Кулаков, Ю. В.; Шахов, Н. Г.; Однолько, В. Г.
Свободных экз. нет
Найти похожие

IPRBooks-75445

75445

Костромин, Г. Я
Элементы дискретной математики [Электронный ресурс] : учебно-методическое пособие к выполнению расчетно-графической работы / Костромин Г. Я. - Йошкар-Ола : Поволжский государственный технологический университет, 2015. - 56 с. - ISBN 978-5-8158-1529-2 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

519.1

ББК 22.176

Кл.слова (ненормированные):
алгебра логики -- алгоритм дейкстры -- взвешенный граф -- дискретная математика -- машина тьюринга -- ориентированный граф -- остовное дерево -- расчетно-графическая работа -- теория графов
Аннотация: Рассмотрены разделы дискретной математики: алгебра логики, элементы теории графов, машины Тьюринга. В сжатой форме изложен теоретический материал, необходимый для выполнения расчетно-графической работы; приведены варианты заданий и методические указания, в которых разобраны решения аналогичных заданий. Представлен список литературы для углубленного изучения материала, других методов решения заданий работы. Для студентов, обучающихся по следующим направлениям: 27.03.04 (220400.62) «Управление в технических системах», 11.03.03 (211000.62) «Конструирование и технология электронных средств», 11.03.02 (210700.62) «Инфокоммуникационные технологии и системы связи», 11.03.04 (210100.62) «Электроника и наноэлектроника», 12.03.04. (201000.62) «Биотехнические системы и технологии».

(для доступа требуется авторизация)

Доп.точки доступа:
Кузьмина, О. В.
Свободных экз. нет
Найти похожие

IPRBooks-91068

91068

Кулькова, Л. И.
Сборник задач и упражнений по теории алгоритмов [Электронный ресурс] : учебно-методическое пособие / Кулькова Л. И. - Москва : Российский университет дружбы народов, 2017. - 48 с. - ISBN 978-5-209-08067-1 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510.5

ББК 22.12

Кл.слова (ненормированные):
алгоритм маркова -- двоичная система -- детерминированность -- дискретность -- машина тьюринга -- результативность алгоритма -- рекурсивная функция -- система счисления -- теория алгоритмов -- упорядоченность алгоритма
Аннотация: В работе изложены как базовые, так и наиболее распространенные и используемые разделы теории алгоритмов. Пособие составлено в виде сборника практических заданий и упражнений, при этом содержит, необходимые для ознакомления, пояснения по рассматриваемым разделам. Предназначено для студентов средних и старших курсов математического профиля.

(для доступа требуется авторизация)

Доп.точки доступа:
Салпагаров, С. И.
Свободных экз. нет
Найти похожие

10.

IPRBooks-94547

94547

Мирзоев, М. С.
Теория алгоритмов [Электронный ресурс] : учебное пособие / Мирзоев М. С. - Москва : Прометей, 2019. - 200 с. - ISBN 978-5-907100-65-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

658.14

ББК 65.290

Кл.слова (ненормированные):
математическая машина -- машина тьюринга -- навешивание квантора -- проблема самоприменимости -- рекурсивная функция -- рекурсивный предикат -- теорема клини -- теорема райса -- теория алгоритмов
Аннотация: В учебном пособии изложены различные подходы к формализации понятия алгоритма. В нем рассматриваются: интуитивное понятие вычислимой арифметической функции, теория рекурсивных функций, рекурсивные предикаты, происходит уточнение понятия алгоритма через математическую машину Тьюринга и другие машины, рекурсивные и рекурсивно перечислимые множества, алгоритмические проблемы, некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов, учебное пособие содержит задания для самостоятельной работы. Содержание учебного пособия соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению «Педагогическое образование» профилей «Физика и информатика», «Технология и информатика», «Математика и информатика», «Информатика и математика», «Прикладная информатика». Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.

(для доступа требуется авторизация)

Доп.точки доступа:
Матросов, В. Л.
Свободных экз. нет
Найти похожие

1-10 11-12

Тематический навигатор

Статистика обращений

Статистика за 28.06.2024
Число запросов	0
Число посетителей	0
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)