Макоха, А. Н. Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Макоха А. Н. - Ставрополь : Северо-Кавказский федеральный университет, 2017. - 418 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): алгоритм -- логика -- математика -- теория -- упражнение Аннотация: Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов; в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта; излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. Изложение материала сопровождается содержательными примерами, приводятся вопросы и упражнения для самопроверки. Предназначено для студентов математических и IT-специальностей; будет полезно преподавателям, ведущим курс математической логики и теории алгоритмов. Доп.точки доступа: Шапошников, А. В.; Бережной, В. В. Свободных экз. нет |
Макоха, А. Н. Основы вычислительной математики, математического и информационного моделирования [Электронный ресурс] : лабораторный практикум / Макоха А. Н. - Ставрополь : Северо-Кавказский федеральный университет, 2018. - 196 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): алгоритм -- компьютер -- погрешность -- функция Аннотация: Пособие подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования, раскрывает основные особенности изучения основ вычислительной математики, математического и информационного моделирования, содержит вопросы, связанные с прямой и обратной задачей приближенных вычислений значений функций одной и нескольких переменных, построением и анализом различных математических и информационных моделей. Пособие утверждено на заседании кафедры прикладной математики и математического моделирования 24 мая 2017 г., протокол № 10. Предназначено для студентов, обучающихся по направлению подготовки 01.03.02 Прикладная математика и информатика. Может быть использовано студентами направления 02.03.01 Математика и компьютерные науки (бакалавр), а также направления 03.03.02 Физика (бакалавр). Доп.точки доступа: Дерябин, М. А. Свободных экз. нет |