Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A

Главная

ИРБИС64+

Упрощенный режим

Описание

Базы данных

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

Вид поиска

Электронный каталог

Картотека журнальных статей

Систематический имидж-каталог

Авторефераты диссертаций

Учебники и учебно-методические пособия СПХФУ

ЭБС IPRBooks

ЭБС Консультант студента

ЭБС Юрайт

Диссертации, защищенные в СПХФУ

Журнальный фонд СПХФУ

Библиотечный фонд техникума

ВКР

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=математическая индукция<.>)

Общее количество найденных документов : 2
Показаны документы с 1 по 2

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

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

Вид документа : Однотомное издание
Шифр издания : 91545
Автор(ы) : Веретельникова Е. Л.
Заглавие : Теоретическая информатика. Доказательство правильности : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2016
Колич.характеристики :51 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-2875-7: Б.ц.
УДК : 004.42
ББК : 32.81
Ключевые слова (''Своб.индексиров.''): доказательство правильности--индуктивное утверждение--математическая индукция--правильность блок-схемы--правильность программы--рекурсивная программа--структурная индукция--теоретическая информатика--язык программирования
Аннотация: В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.
(для доступа требуется авторизация)

Тематический навигатор

Статистика обращений

Статистика за 06.07.2024
Число запросов	0
Число посетителей	0
Число заказов	0

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