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

Базы данных


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

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

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

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

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

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

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

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

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

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 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) «Программирование в компьютерных системах».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 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) «Биотехнические системы и технологии».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 91068
Автор(ы) : Кулькова Л. И., Салпагаров С. И.
Заглавие : Сборник задач и упражнений по теории алгоритмов : Учебно-методическое пособие
Выходные данные : Москва: Российский университет дружбы народов, 2017
Колич.характеристики :48 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-209-08067-1: Б.ц.
УДК : 510.5
ББК : 22.12
Ключевые слова (''Своб.индексиров.''): алгоритм маркова--двоичная система--детерминированность--дискретность--машина тьюринга--результативность алгоритма--рекурсивная функция--система счисления--теория алгоритмов--упорядоченность алгоритма
Аннотация: В работе изложены как базовые, так и наиболее распространенные и используемые разделы теории алгоритмов. Пособие составлено в виде сборника практических заданий и упражнений, при этом содержит, необходимые для ознакомления, пояснения по рассматриваемым разделам. Предназначено для студентов средних и старших курсов математического профиля.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 94547
Автор(ы) : Мирзоев М. С., Матросов В. Л.
Заглавие : Теория алгоритмов : Учебное пособие
Выходные данные : Москва: Прометей, 2019
Колич.характеристики :200 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-907100-65-7: Б.ц.
УДК : 658.14
ББК : 65.290
Ключевые слова (''Своб.индексиров.''): математическая машина--машина тьюринга--навешивание квантора--проблема самоприменимости--рекурсивная функция--рекурсивный предикат--теорема клини--теорема райса--теория алгоритмов
Аннотация: В учебном пособии изложены различные подходы к формализации понятия алгоритма. В нем рассматриваются: интуитивное понятие вычислимой арифметической функции, теория рекурсивных функций, рекурсивные предикаты, происходит уточнение понятия алгоритма через математическую машину Тьюринга и другие машины, рекурсивные и рекурсивно перечислимые множества, алгоритмические проблемы, некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов, учебное пособие содержит задания для самостоятельной работы. Содержание учебного пособия соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению «Педагогическое образование» профилей «Физика и информатика», «Технология и информатика», «Математика и информатика», «Информатика и математика», «Прикладная информатика». Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.
(для доступа требуется авторизация)

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