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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : 66231
Автор(ы) : Ананичев Д. С., Ананичев Д. С., Андреева И. Ю., Гредасова Н. В., Костоусов К. В.
Заглавие : Элементы дискретной математики : Учебное пособие
Выходные данные : Екатеринбург: Уральский федеральный университет, ЭБС АСВ, 2015
Колич.характеристики :108 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7996-1387-7: Б.ц.
УДК : 519
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): алгоритм--график--исчисление--математика--функция
Аннотация: В учебном пособии рассматриваются элементы дискретной математики: логические исчисления, предикаты, булевы функции, комбинаторика, теория графов, автоматы и алгоритмы. Приведено решение типовых задач. Предназначается для студентов всех форм обучения всех специальностей.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 55492
Автор(ы) : Бернштейн Т. В., Храмова Т. В.
Заглавие : Практикум по дискретной математике : Учебное пособие
Выходные данные : Новосибирск: Сибирский государственный университет телекоммуникаций и информатики, 2014
Колич.характеристики :131 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 519.1
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): алгебра логики--детерминированные автоматы--дискретная математика--комбинаторика--предикаты
Аннотация: Учебное пособие содержит краткие теоретические сведения, примеры и задания по основным разделам дискретной математики: теории множеств, математической логике, теории алгоритмов, теории графов, конечным автоматам и комбинаторике. В заключение дается 2 варианта тестовых заданий и 30 вариантов контрольных заданий, охватывающих большую часть курса. Пособие предназначено для проведения практических занятий по дискретной математике при подготовке инженеров, а также бакалавров и магистров (направление «Телекоммуникации»). Для подготовки дипломированных специалистов по направлениям 11.03.02 «Инфокоммуникационные технологии и системы связи», 11.04.02 «Инфокоммуникационные технологии и системы связи», 09.03.02 «Информационные системы и технологии».
(для доступа требуется авторизация)

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

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

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

Вид документа : Однотомное издание
Шифр издания : 87913
Автор(ы) : Ананичев Д. С., Андреева И. Ю., Гредасова Н. В., Костоусов К. В.
Заглавие : Элементы дискретной математики : Учебное пособие для СПО
Выходные данные : Саратов, Екатеринбург: Профобразование, Уральский федеральный университет, 2019
Колич.характеристики :107 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4488-0390-1, 978-5-7996-2845-1: Б.ц.
УДК : 517
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): алгоритм--дискретная математика--задача--комбинаторика--предикаты
Аннотация: В учебном пособии рассматриваются элементы дискретной математики: логические исчисления, предикаты, булевы функции, комбинаторика, теория графов, автоматы и алгоритмы. Приведено решение типовых задач. Учебное пособие предназначено для изучения дисциплины «Дискретная математика» по укрупненным группам специальностей среднего профессионального образования 09.00.00 «Информатика и вычислительная техника», 10.00.00 «Информационная безопасность».
(для доступа требуется авторизация)

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