Макоха, А. Н. Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Макоха А. Н. - Ставрополь : Северо-Кавказский федеральный университет, 2017. - 418 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): алгоритм -- логика -- математика -- теория -- упражнение Аннотация: Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов; в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта; излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. Изложение материала сопровождается содержательными примерами, приводятся вопросы и упражнения для самопроверки. Предназначено для студентов математических и IT-специальностей; будет полезно преподавателям, ведущим курс математической логики и теории алгоритмов. Доп.точки доступа: Шапошников, А. В.; Бережной, В. В. Свободных экз. нет |
Теория систем массового обслуживания [Электронный ресурс] : учебное пособие / сост.: А. В. Шапошников, В. В. Бережной. - Ставрополь : Северо-Кавказский федеральный университет, 2017. - 134 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): марковский процесс -- массовое обслуживание -- многоканальная система -- одноканальная система -- поток событий -- поток эрланга -- телекоммуникационная система -- теория телетрафика -- уравнение колмогорова Аннотация: Пособие подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. В учебном пособии рассматривается теория обслуживания заявок в системах массового обслуживания, излагаются методы вывода аналитических выражений для вероятностно-временных показателей эффективности систем массового обслуживания при различных дисциплинах обслуживания в отсутствии и наличии приоритетов. Пособие одобрено на заседании кафедры прикладной математики и математического моделирования от 3 февраля 2017 г., протокол №7. Предназначено для бакалавров, обучающихся по направлению подготовки «Прикладная математика и информатика». Доп.точки доступа: Шапошников, А. В. \сост.\; Бережной, В. В. \сост.\ Свободных экз. нет |
Бережной, В. В. Дискретная математика [Электронный ресурс] : учебное пособие / Бережной В. В. - Ставрополь : Северо-Кавказский федеральный университет, 2016. - 199 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): информатика -- лекция -- логика -- математика -- образование Аннотация: Пособие подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования, раскрывает основные принципы и особенности изучения современной информатики и состоит из разделов «Множества и отношения», «Теория графов», «Комбинаторика», «Математическая логика» и «Конечные автоматы». Предназначено для организации и проведения лекционных занятий по дисциплине «Дискретная математика» для направления подготовки 01.03.02 «Прикладная математика и информатика» (Бакалавр). Также может быть использовано студентами направлений 11.03.02 «Инфокоммуникационные технологии и системы связи» (Бакалавр), 10.05.03 «Информационная безопасность автоматизированных систем» (Специалист), 09.03.02 «Информационные системы и технологии». Доп.точки доступа: Шапошников, А. В. Свободных экз. нет |