Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A
Главная ИРБИС64+ Упрощенный режим Описание
Авторизация
Логин
Пароль
 

Базы данных


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

Вид поиска
Электронный каталог
Картотека журнальных статей
Систематический имидж-каталог
Авторефераты диссертаций
Учебники и учебно-методические пособия СПХФУ
ЭБС IPRBooks
ЭБС Консультант студента
ЭБС Юрайт
Диссертации, защищенные в СПХФУ
Журнальный фонд СПХФУ
Библиотечный фонд техникума
ВКР
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=машина тьюринга<.>)
Общее количество найденных документов : 12
Показаны документы с 1 по 10
 1-10    11-12 
1.

Вид документа : Однотомное издание
Шифр издания : 75445
Автор(ы) : Костромин Г. Я, Кузьмина О. В.
Заглавие : Элементы дискретной математики : Учебно-методическое пособие к выполнению расчетно-графической работы
Выходные данные : Йошкар-Ола: Поволжский государственный технологический университет, 2015
Колич.характеристики :56 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-8158-1529-2: Б.ц.
УДК : 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) «Биотехнические системы и технологии».
(для доступа требуется авторизация)

Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 63891
Автор(ы) : Иванова О. Г., Иванова О. Г., Кулаков Ю. В., Шахов Н. Г., Однолько В. Г.
Заглавие : Практикум по информатике : Учебное пособие
Выходные данные : Тамбов: Тамбовский государственный технический университет, ЭБС АСВ, 2014
Колич.характеристики :112 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-8265-1349-1: Б.ц.
УДК : 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) «Программирование в компьютерных системах».
(для доступа требуется авторизация)

Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 45037
Автор(ы) : Забуга А. А.
Заглавие : Теоретические основы информатики : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2013
Колич.характеристики :168 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-2312-7: Б.ц.
УДК : 004
ББК : 32.81
Ключевые слова (''Своб.индексиров.''): алгоритм--информатика--информационная система--математическая логика--машина тьюринга--мера информации--теоретические основы
Аннотация: В учебном пособии рассматриваются такие разделы классической математики, как комбинаторика, теория вероятностей, математическая логика, дискретная математика, а также ряд технических вопросов реализации информационных систем, ставшие предпосылками к появлению информатики как отдельной самостоятельной дисциплины. В главах, посвященных математическим и алгоритмическим аспектам организации вычислительных процессов, даны примеры задач и их решения. Издание предназначено для студентов-бакалавров, обучающихся по направлениям 080500 «Бизнес-информатика» и 230700 «Прикладная информатика», а также для всех, кто интересуется математическими и теоретическими основами информатики. Приведены поясняющие иллюстрации, поэтому оно может быть предложено и неподготовленному читателю.
(для доступа требуется авторизация)

Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 32100
Автор(ы) : Алябьева В. Г., Пастухова Г. В.
Заглавие : Теория алгоритмов : Учебное пособие для специальности 050201.65 – «Математика с дополнительной специальностью “Информатика”», направление подготовки 050100 – «Педагогическое образование»
Выходные данные : Пермь: Пермский государственный гуманитарно-педагогический университет, 2013
Колич.характеристики :125 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-85218-624-9: Б.ц.
УДК : 510.51
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): машина поста--машина тьюринга--невычислимая функция--рекурсивные функции--теория алгоритмов
Аннотация: В учебном пособии нашли отражение три подхода к определению понятия алгоритма: на языке машин Тьюринга, на языке машин Поста, на языке рекурсивных функций. Отдельная глава посвящена алгоритму нумерации кортежей. Также в пособии содержатся задания для самостоятельной работы студентов и темы курсовых работ. Адресовано бакалаврам, обучающимся по специальности 050201.65 – «Математика с дополнительной специальностью “Информатика”», направление подготовки 050100 – «Педагогическое образование». Также пособие может быть рекомендовано студентам, обучающимся по специальностям «Математика», «Математика и информатика», Прикладная математика», «Компьютерная безопасность».
(для доступа требуется авторизация)

Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 67068
Заглавие : Компьютерные технологии : Учебно-методический комплекс
Выходные данные : Алматы: Нур-Принт, 2012
Колич.характеристики :146 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 004.05
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): алгоритмический язык--компьютерная технология--линейная программа--массив--математическая задача--машина тьюринга--оператор ветвления--редактирование информации--язык программирования
Аннотация: «Компьютерные технологии» в системе подготовки специалистов математиков: получить представление о современной информационной культуре; уверенно работать в качестве пользователя на ПЭВМ; владеть основами автоматизации решения математических задач; владеть компьютерными методами сбора, хранения и обработки (редактирования) информации, применяемыми в сфере его профессиональной деятельности.
(для доступа требуется авторизация)

Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 67154
Заглавие : Теория алгоритмов : Учебно-методический комплекс
Выходные данные : Алматы: Нур-Принт, 2012
Колич.характеристики :79 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 9965-756-08-2: Б.ц.
УДК : 004.4
ББК : 32.973
Ключевые слова (''Своб.индексиров.''): грамматика хомского--детерминированный автомат--конечный автомат--машина тьюринга--общерекурсивная функция--оператор суперпозиции--программирование алгоритма--теория алгоритма
Аннотация: Курс «Теория алгоритмов» рассчитан на один семестр и призван упрочить фундамент специальной подготовки будущих педагогов, способствовать дальнейшему формированию логической и алгоритмической культуры будущих учителей информатики и информационных технологий. Исходным пунктом курса служит недостаточность интуитивного определения алгоритма. Рассматривается описание вычислительного процесса, принимаемого в качестве формального определения понятия алгоритма, в терминах частично-рекурсивных функций и вычислительных устройств (машины Тьюринга и Поста). Далее рассматриваются примеры невычислимой функции, алгоритмически неразрешимых проблем математики и информатики.
(для доступа требуется авторизация)

Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 47905
Автор(ы) : Безусова Т. А.
Заглавие : Теория алгоритмов. Основные подходы к формализации алгоритма : Учебное пособие
Выходные данные : Соликамск: Соликамский государственный педагогический институт, 2011
Колич.характеристики :63 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 51
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): алгоритм маркова--математика--машина тьюринга--рекурсивная функция--теория алгоритмов
Аннотация: В пособии рассмотрены различные подходы к формализации понятия алгоритм: машина Тьюринга, алгоритмы Маркова, рекурсивные функции. Пособие ориентировано на студентов 3-4 курсов математических факультетов педагогических вузов, обучающихся по специальности «Математика и информатика» и «Информатика и математика».
(для доступа требуется авторизация)

Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 28402
Автор(ы) : Рязанов Ю. Д.
Заглавие : Теория вычислительных процессов : Лабораторный практикум. Учебное пособие
Выходные данные : Белгород: Белгородский государственный технологический университет им. В.Г. Шухова, ЭБС АСВ, 2011
Колич.характеристики :100 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 004
ББК : 32.81я73
Ключевые слова (''Своб.индексиров.''): автомат мили--автомат мура--вычислительный процесс--машина тьюринга--одноленточный автомат--сети петри
Аннотация: В учебном пособии содержатся теоретические сведения и необходимые рекомендации к выполнению лабораторных работ по дисциплине «Теория вычислительных процессов» в соответствии с государственным образовательным стандартом высшего профессионального образования. Рассмотрены основы теоретического программирования: вычислимость и разрешимость, одноленточные автоматы, автоматы Мили и Мура, схемы программ, сети Петри. Теоретический материал сопровождается примерами и задачами с решениями. Учебное пособие предназначено для студентов дневной и заочной форм обучения по направлению подготовки 230100 «Информатика и вычислительная техника» и специальности 230105 — Программное обеспечение вычислительной техники и автоматизированных систем.
(для доступа требуется авторизация)

Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 97541
Автор(ы) : Алакоз Г. М., Котов А. В., Курак М. В., Попов А. А., Сериков А. П.
Заглавие : Вычислительные наноструктуры. В 2 частях. Ч.1. Задачи, модели, структуры : Учебное пособие
Выходные данные : Москва: Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020
Колич.характеристики :487 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0654-6: Б.ц.
УДК : 004
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): вычислительная наноструктура--вычислительная система--вычислительная технология--квантовый компьютер--машина тьюринга--нанометровая системотехника--нейрокомпьютерная технология--нейроподобная модель--проектная технология--технология прототипирования
Аннотация: В учебном пособии раскрыт фундаментальный характер проблематики сквозного системного проектирования высокоответственных технотронных комплексов двойного назначения, функционирование которых невозможно без удовлетворения требований критических задач, превышающих не менее, чем на порядок, возможности существующих аппаратных платформ. Проанализированы потенциальные возможности «нечисленной» нейрокибернетики и структурно-параметрического метода хранения и преобразования информации в супрамолекулярной и нанометровой вычислительной технике. Книга рассчитана на научных работников, инженеров и менеджеров, работающих над созданием технотронных комплексов, определяющих облик высоких технологий XXI века. Она может быть полезной студентам различных специальностей для углубленного изучения методов и средств создания информационных технологий.
(для доступа требуется авторизация)

Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 97548
Автор(ы) : Пентус А. Е., Пентус М. Р.
Заглавие : Математическая теория формальных языков : Учебное пособие
Выходные данные : Москва: Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020
Колич.характеристики :218 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0662-1: Б.ц.
УДК : 519
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): автоматный язык--иерархия хомского--конечный автомат--контекстно-свободная грамматика--магазинная память--математическая теория--машина тьюринга--теоретическая информатика--формальный язык
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.
(для доступа требуется авторизация)

Найти похожие
 1-10    11-12 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 28.06.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)