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

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=теория алгоритмов<.>)
Общее количество найденных документов : 8
Показаны документы с 1 по 8
1.

Вид документа : Однотомное издание
Шифр издания : 55106
Заглавие : Математическая логика и теория алгоритмов : Методические указания к самостоятельной работе
Выходные данные : Липецк: Липецкий государственный технический университет, ЭБС АСВ, 2014
Колич.характеристики :25 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 519
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): логика--математика--математическая логика--математическое моделирование--теория алгоритмов
Аннотация: Методические указания составлены в соответствии с ФГОС-3 и предназначены для студентов направлений 010800.62 – «Механика и математическое моделирование», 220100.62 – «Системный анализ и управление» по дисциплинам «Дискретная математика», «Математическая логика и теория алгоритмов» и другим, связанным с математической логикой и теорией алгоритмов. Приведены краткие теоретические сведения по математической логике. Даны темы лабораторных работ. Методические указания содержат задания по традиционным разделам курса математической логики и теории алгоритмов.
(для доступа требуется авторизация)

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

2.

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

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

3.

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

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

4.

Вид документа : Однотомное издание
Шифр издания : 10772
Автор(ы) : Балюкевич Э. Л., Ковалева Л. Ф.
Заглавие : Математическая логика и теория алгоритмов : Учебное пособие
Выходные данные : Москва: Евразийский открытый институт, 2009
Колич.характеристики :188 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-374-00220-1: Б.ц.
УДК : 519.1
ББК : 22.176
Ключевые слова (''Своб.индексиров.''): математическая логика--математический аппарат--теория алгоритмов--учебное пособие
Аннотация: Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов.
(для доступа требуется авторизация)

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

5.

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

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

6.

Вид документа : Однотомное издание
Шифр издания : 94360
Автор(ы) : Родионов Ю. В., Нахман А. Д.
Заглавие : Основы математического моделирования : Учебное пособие
Выходные данные : Тамбов: Тамбовский государственный технический университет, ЭБС АСВ, 2018
Колич.характеристики :110 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-8265-1886-1: Б.ц.
УДК : 517.9
ББК : В161
Ключевые слова (''Своб.индексиров.''): дифференциальное исчисление--дифференциальное уравнение--интегральное исчисление--криволинейный интеграл--математическая логика--математический анализ--математическое моделирование--статистическая модель--стохастическая модель--теория алгоритмов
Аннотация: Подготовлено в соответствии с требованиями ФГОС к подготовке бакалавров инженерных направлений и направлено на формирование общепрофессиональной компетенции математического моделирования. Представлена концепция математического моделирования, вопросы содержания курса математики, направленные на формирование данной компетенции и соответствующий задачный материал. Предназначено для студентов, обучающихся по направлениям подготовки 07.03.01 «Архитектура», 08.03.01 «Строительство», 23.03.01 «Технология транспортных процессов», 23.03.03 «Эксплуатация транспортно-технологических машин и комплексов».
(для доступа требуется авторизация)

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

7.

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

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

8.

Вид документа : Однотомное издание
Шифр издания : 83880
Автор(ы) : Поднебесова Г. Б.
Заглавие : Теория алгоритмов : Практикум
Выходные данные : Челябинск: Южно-Уральский государственный гуманитарно-педагогический университет, 2017
Колич.характеристики :91 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-906908-75-9: Б.ц.
УДК : 001.8
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): алгоритм--информатика--информационные технологии--теория алгоритмов
Аннотация: Практикум содержит материалы для изучения курсов «Теория алгоритмов» и «Теоретические основы информатики и современных информационных технологий». Пособие предназначено для организации аудиторной и самостоятельной работы студентов, обучающихся по направлениям «Педагогическое образование» и «Информационные системы и технологии». Структура пособия позволяет использовать модульно-рейтинговую систему оценивания учебных достижений студентов при изучении дисциплины «Теория алгоритмов». В работе имеется также банк тестовых заданий. Практикум адресован преподавателям и учителям, для которых интересна данная предметная область.
(для доступа требуется авторизация)

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

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