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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

в найденном

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

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

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

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

1-10 11-12

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-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-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-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-47905

47905

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

УДК

ББК 22.1

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

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

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

IPRBooks-28402

28402

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

УДК

004

ББК 32.81я73

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

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

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

IPRBooks-97541

97541

Вычислительные наноструктуры. В 2 частях. Ч.1. Задачи, модели, структуры [Электронный ресурс] : учебное пособие / Алакоз Г. М. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 487 с. - ISBN 978-5-4497-0654-6 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004

ББК 32.97

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

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

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

10.

IPRBooks-97548

97548

Пентус, А. Е.
Математическая теория формальных языков [Электронный ресурс] : учебное пособие / Пентус А. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 218 с. - ISBN 978-5-4497-0662-1 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

519

ББК 22.1

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

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

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

1-10 11-12

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

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

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

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