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

Базы данных


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

Вид поиска

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

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

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

2.

Вид документа : Однотомное издание
Шифр издания : 83228
Автор(ы) : Макоха А. Н., Дерябин М. А.
Заглавие : Основы вычислительной математики, математического и информационного моделирования : Лабораторный практикум
Выходные данные : Ставрополь: Северо-Кавказский федеральный университет, 2018
Колич.характеристики :196 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 519
ББК : 22.19
Ключевые слова (''Своб.индексиров.''): алгоритм--компьютер--погрешность--функция
Аннотация: Пособие подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования, раскрывает основные особенности изучения основ вычислительной математики, математического и информационного моделирования, содержит вопросы, связанные с прямой и обратной задачей приближенных вычислений значений функций одной и нескольких переменных, построением и анализом различных математических и информационных моделей. Пособие утверждено на заседании кафедры прикладной математики и математического моделирования 24 мая 2017 г., протокол № 10. Предназначено для студентов, обучающихся по направлению подготовки 01.03.02 Прикладная математика и информатика. Может быть использовано студентами направления 02.03.01 Математика и компьютерные науки (бакалавр), а также направления 03.03.02 Физика (бакалавр).
(для доступа требуется авторизация)

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

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