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

Базы данных


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

Вид поиска

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

Вид документа : Однотомное издание
Шифр издания : 69397
Автор(ы) : Макоха А. Н., Шапошников А. В., Бережной В. В.
Заглавие : Математическая логика и теория алгоритмов : Учебное пособие
Выходные данные : Ставрополь: Северо-Кавказский федеральный университет, 2017
Колич.характеристики :418 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 51
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): алгоритм--логика--математика--теория--упражнение
Аннотация: Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов; в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта; излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. Изложение материала сопровождается содержательными примерами, приводятся вопросы и упражнения для самопроверки. Предназначено для студентов математических и IT-специальностей; будет полезно преподавателям, ведущим курс математической логики и теории алгоритмов.
(для доступа требуется авторизация)

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

2.

Вид документа : Однотомное издание
Шифр издания : 75605
Заглавие : Теория систем массового обслуживания : Учебное пособие
Выходные данные : Ставрополь: Северо-Кавказский федеральный университет, 2017
Колич.характеристики :134 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 519.86
ББК : 22.18
Ключевые слова (''Своб.индексиров.''): марковский процесс--массовое обслуживание--многоканальная система--одноканальная система--поток событий--поток эрланга--телекоммуникационная система--теория телетрафика--уравнение колмогорова
Аннотация: Пособие подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. В учебном пособии рассматривается теория обслуживания заявок в системах массового обслуживания, излагаются методы вывода аналитических выражений для вероятностно-временных показателей эффективности систем массового обслуживания при различных дисциплинах обслуживания в отсутствии и наличии приоритетов. Пособие одобрено на заседании кафедры прикладной математики и математического моделирования от 3 февраля 2017 г., протокол №7. Предназначено для бакалавров, обучающихся по направлению подготовки «Прикладная математика и информатика».
(для доступа требуется авторизация)

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

3.

Вид документа : Однотомное издание
Шифр издания : 69380
Автор(ы) : Бережной В. В., Шапошников А. В.
Заглавие : Дискретная математика : Учебное пособие
Выходные данные : Ставрополь: Северо-Кавказский федеральный университет, 2016
Колич.характеристики :199 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 519
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): информатика--лекция--логика--математика--образование
Аннотация: Пособие подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования, раскрывает основные принципы и особенности изучения современной информатики и состоит из разделов «Множества и отношения», «Теория графов», «Комбинаторика», «Математическая логика» и «Конечные автоматы». Предназначено для организации и проведения лекционных занятий по дисциплине «Дискретная математика» для направления подготовки 01.03.02 «Прикладная математика и информатика» (Бакалавр). Также может быть использовано студентами направлений 11.03.02 «Инфокоммуникационные технологии и системы связи» (Бакалавр), 10.05.03 «Информационная безопасность автоматизированных систем» (Специалист), 09.03.02 «Информационные системы и технологии».
(для доступа требуется авторизация)

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

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