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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

в найденном

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

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

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

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

1-10 11-12

IPRBooks-97541

97541

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

УДК

004

ББК 32.97

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

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

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

IPRBooks-28402

28402

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

УДК

004

ББК 32.81я73

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

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

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

IPRBooks-47905

47905

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

УДК

ББК 22.1

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

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

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

IPRBooks-91068

91068

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

УДК

510.5

ББК 22.12

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

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

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

IPRBooks-94547

94547

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

УДК

658.14

ББК 65.290

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

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

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

IPRBooks-97548

97548

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

УДК

519

ББК 22.1

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

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

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

IPRBooks-45037

45037

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

УДК

004

ББК 32.81

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

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

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

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) «Биотехнические системы и технологии».

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

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

10.

IPRBooks-67154

67154

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

УДК

004.4

ББК 32.973

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

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

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

1-10 11-12

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

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

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

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