Choice of metadata IPR SMART
Page 1, Results: 5
Report on unfulfilled requests: 0
1.
Подробнее
Дехтярь, М. И.
Лекции по дискретной математике : учебник / Дехтярь М. И. - Тверь : Тверской государственный университет, 2021. - 528 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
алгоритм -- графы -- дискретная математика -- задачи -- комбинаторика -- математическая индукция -- множество -- решение
Аннотация: Учебник содержит лекционный материал по дисциплине «Дискретная математика», а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы. Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 «Математика и механика», 02.03.00 «Компьютерные и информационные науки», 09.03.00 «Информатика и вычислительная техника».
Доп.точки доступа:
Дудаков, С. М.
Карлов, Б. Н.
Дехтярь, М. И.
Лекции по дискретной математике : учебник / Дехтярь М. И. - Тверь : Тверской государственный университет, 2021. - 528 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгоритм -- графы -- дискретная математика -- задачи -- комбинаторика -- математическая индукция -- множество -- решение
Аннотация: Учебник содержит лекционный материал по дисциплине «Дискретная математика», а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы. Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 «Математика и механика», 02.03.00 «Компьютерные и информационные науки», 09.03.00 «Информатика и вычислительная техника».
Доп.точки доступа:
Дудаков, С. М.
Карлов, Б. Н.
2.
Подробнее
Альсевич, Л. А.
Математический анализ: последовательности, функции, интегралы: практикум : учебное пособие / Альсевич Л. А. - Минск : Вышэйшая школа, 2021. - 472 с. - ISBN 978-985-06-3375-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.161
Кл.слова (ненормированные):
графики -- интегралы -- математика -- математическая индукция -- математический анализ -- производные -- функции
Аннотация: Содержатся основные теоретические сведения о методе математической индукции, формуле бинома Ньютона, числовых последовательностях, пределе, непрерывности и дифференцируемости функций, исследовании функций с помощью производных и построении их графиков, а также о неопределенном и определенном интегралах. Предложены основные приемы решения типовых задач по этим темам. Изложение материала иллюстрируется подробно разобранными примерами. Представлено большое количество упражнений для самоконтроля, снабженных ответами. Приведены задачи для индивидуальных и контрольных заданий. Для студентов учреждений высшего образования по математическим, физическим и экономическим специальностям. Может быть полезно преподавателям, аспирантам, магистрантам и студентам естественнонаучных специальностей, а также всем изучающим начальный курс высшей математики. Возможно использование пособия при дистанционном обучении.
Доп.точки доступа:
Красовский, С. Г.
Альсевич, Л. А.
Математический анализ: последовательности, функции, интегралы: практикум : учебное пособие / Альсевич Л. А. - Минск : Вышэйшая школа, 2021. - 472 с. - ISBN 978-985-06-3375-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
графики -- интегралы -- математика -- математическая индукция -- математический анализ -- производные -- функции
Аннотация: Содержатся основные теоретические сведения о методе математической индукции, формуле бинома Ньютона, числовых последовательностях, пределе, непрерывности и дифференцируемости функций, исследовании функций с помощью производных и построении их графиков, а также о неопределенном и определенном интегралах. Предложены основные приемы решения типовых задач по этим темам. Изложение материала иллюстрируется подробно разобранными примерами. Представлено большое количество упражнений для самоконтроля, снабженных ответами. Приведены задачи для индивидуальных и контрольных заданий. Для студентов учреждений высшего образования по математическим, физическим и экономическим специальностям. Может быть полезно преподавателям, аспирантам, магистрантам и студентам естественнонаучных специальностей, а также всем изучающим начальный курс высшей математики. Возможно использование пособия при дистанционном обучении.
Доп.точки доступа:
Красовский, С. Г.
3.
Подробнее
Альсевич, Л. А.
Математический анализ. Последовательности и функции: практикум : учебное пособие / Альсевич Л. А. - Минск : Вышэйшая школа, 2019. - 328 с. - ISBN 978-985-06-2968-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.161
Кл.слова (ненормированные):
математика -- математическая индукция -- математический анализ -- производные -- функции
Аннотация: Содержатся основные теоретические сведения о методе математической индукции, формуле бинома Ньютона, числовых последовательностях, пределе, непрерывности и дифференцируемости функций. Предложены основные приемы решения типовых задач по этим темам. Изложение материала иллюстрируется подробно разобранными примерами. Представлено большое количество упражнений для самоконтроля, снабженных ответами. Приведены задачи для индивидуальных и контрольных заданий. Для студентов учреждений высшего образования по математическим специальностям. Может быть полезно преподавателям, аспирантам, магистрантам и студентам естественнонаучных и экономических специальностей, а также всем изучающим начальный курс высшей математики.
Доп.точки доступа:
Красовский, С. Г.
Наумович, А. Ф.
Альсевич, Л. А.
Математический анализ. Последовательности и функции: практикум : учебное пособие / Альсевич Л. А. - Минск : Вышэйшая школа, 2019. - 328 с. - ISBN 978-985-06-2968-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
математика -- математическая индукция -- математический анализ -- производные -- функции
Аннотация: Содержатся основные теоретические сведения о методе математической индукции, формуле бинома Ньютона, числовых последовательностях, пределе, непрерывности и дифференцируемости функций. Предложены основные приемы решения типовых задач по этим темам. Изложение материала иллюстрируется подробно разобранными примерами. Представлено большое количество упражнений для самоконтроля, снабженных ответами. Приведены задачи для индивидуальных и контрольных заданий. Для студентов учреждений высшего образования по математическим специальностям. Может быть полезно преподавателям, аспирантам, магистрантам и студентам естественнонаучных и экономических специальностей, а также всем изучающим начальный курс высшей математики.
Доп.точки доступа:
Красовский, С. Г.
Наумович, А. Ф.
4.
Подробнее
Веретельникова, Е. Л.
Теоретическая информатика. Доказательство правильности : учебное пособие / Веретельникова Е. Л. - Новосибирск : Новосибирский государственный технический университет, 2016. - 51 с. - ISBN 978-5-7782-2875-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.81
Кл.слова (ненормированные):
доказательство правильности -- индуктивное утверждение -- математическая индукция -- правильность блок-схемы -- правильность программы -- рекурсивная программа -- структурная индукция -- теоретическая информатика -- язык программирования
Аннотация: В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.
Веретельникова, Е. Л.
Теоретическая информатика. Доказательство правильности : учебное пособие / Веретельникова Е. Л. - Новосибирск : Новосибирский государственный технический университет, 2016. - 51 с. - ISBN 978-5-7782-2875-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
доказательство правильности -- индуктивное утверждение -- математическая индукция -- правильность блок-схемы -- правильность программы -- рекурсивная программа -- структурная индукция -- теоретическая информатика -- язык программирования
Аннотация: В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.
5.
Подробнее
Гурьянова, К. Н.
Математический анализ : учебное пособие для СПО / Гурьянова К. Н. - Саратов, Екатеринбург : Профобразование, Уральский федеральный университет, 2024. - 330 с. - ISBN 978-5-4488-0396-3, 978-5-7996-2870-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
интеграл -- математическая индукция -- математическая логика -- математический анализ -- множество -- функция
Аннотация: В учебном пособии рассматриваются основные разделы теории пределов, дифференциальное и интегральное исчисление функций одной или нескольких переменных и их применение. Издание содержит большое число иллюстративных упражнений и задач, а также решенных задач — эталонов для самостоятельной работы студентов. Учебное пособие предназначено для изучения дисциплин «Математика», «Элементы высшей математики», «Математика: алгебра и начала математического анализа, геометрия» по всем профессиям и специальностям среднего профессионального образования.
Доп.точки доступа:
Алексеева, У. А.
Бояршинов, В. В.
Гурьянова, К. Н.
Математический анализ : учебное пособие для СПО / Гурьянова К. Н. - Саратов, Екатеринбург : Профобразование, Уральский федеральный университет, 2024. - 330 с. - ISBN 978-5-4488-0396-3, 978-5-7996-2870-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
интеграл -- математическая индукция -- математическая логика -- математический анализ -- множество -- функция
Аннотация: В учебном пособии рассматриваются основные разделы теории пределов, дифференциальное и интегральное исчисление функций одной или нескольких переменных и их применение. Издание содержит большое число иллюстративных упражнений и задач, а также решенных задач — эталонов для самостоятельной работы студентов. Учебное пособие предназначено для изучения дисциплин «Математика», «Элементы высшей математики», «Математика: алгебра и начала математического анализа, геометрия» по всем профессиям и специальностям среднего профессионального образования.
Доп.точки доступа:
Алексеева, У. А.
Бояршинов, В. В.
Page 1, Results: 5