Ашихмин, В. Н. Введение в математическое моделирование [Электронный ресурс] : учебное пособие / Ашихмин В. Н. - Москва : Логос, 2016. - 440 с. - ISBN 978-5-98704-637-1 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): математическая модель -- математическое моделирование -- прикладная математика -- учебное пособие Аннотация: Рассмотрены основные понятия, определения, положения и подходы математического моделирования, представлена классификация математических моделей. Описаны основные этапы, технология построения математических моделей, приведены простые примеры ее применения. Анализируются особенности математического моделирования в условиях различных типов неопределенности, разработки моделей с применением структурного и имитационного подходов. Особое внимание уделяется анализу линейных и нелинейных моделей, выявлению их качественных различий. Приведены сведения о современных разделах математики (вейвлеты, фракталы, клеточные автоматы), эффективно используемых в различных проблемах нелинейной физики. Каждый из разделов снабжен перечнем заданий для самостоятельной работы. Для студентов высших учебных заведений обучающихся по направлению «Естественные науки и математика» и специальности «Прикладная математика». Представляет интерес для специалистов в области математического моделирования физико-механических процессов и явлений. Доп.точки доступа: Гитман, М. Б.; Келлер, И. Э.; Наймарк, О. Б.; Столбов, В. Ю.; Трусов, П. В.; Фрик, П. Г. Свободных экз. нет |
Бесценный, И. П. Математическая логика [Электронный ресурс] : учебное пособие / Бесценный И. П. - Омск : Омский государственный университет им. Ф.М. Достоевского, 2016. - 76 с. - ISBN 978-5-7779-2002-7 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): вероятностная семантика -- исчисление высказывания -- исчисление предикатов -- математическая логика -- таблица истинности Аннотация: Предназначено для выработки практических навыков решения задач по математической логике. Для студентов очной и заочной форм обучения по направлениям подготовки «Информатика и вычислительная техника» и «Прикладная информатика». Доп.точки доступа: Бесценная, Е. В. Свободных экз. нет |
Унучек, С. А. Математическая логика [Электронный ресурс] : учебное пособие / Унучек С. А. - Саратов : Ай Пи Эр Медиа, 2018. - 239 с. - ISBN 978-5-4486-0086-9 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): дискретная математика -- логика -- математика -- математическая логика Аннотация: В основе настоящего пособия положен курс лекций и практических занятий по математической логике, который на протяжении нескольких лет читается студентам различных факультетов МГТУ МИРЭА. В пособии рассмотрены следующие темы: элементы теории множеств и комбинаторики, булевы функции, бинарные отношения, основы теории графов, основы теории алгоритмов, минимизация конечных автоматов, вошедшие в программу подготовки специалистов и бакалавров очной и очно-заочной форм обучения. По каждой теме даны теоретические сведения (основные определения и теоремы), приведены решения типовых задач, приложены задачи для самостоятельного решения. Свободных экз. нет |
Седова, Н. А. Нечеткие отношения [Электронный ресурс] : учебное пособие / Седова Н. А. - Саратов : Ай Пи Эр Медиа, 2018. - 60 с. - ISBN 978-5-4486-0068-5 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): бинарное нечеткое отношение -- математическая логика -- нечеткие отношения -- нечеткое отношение Аннотация: Пособие содержит материалы для изучения раздела «Нечеткие отношения» дисциплины «Математическая логика» и состоит из теоретической части, примеров, вопросов для самоподготовки, а также из 5 индивидуальных практических заданий, в каждом из которых 30 индивидуальных вариантов. Такая структура позволит студенту, изучившему теоретическую часть, получить индивидуальный вариант заданий для самостоятельного решения, а преподавателю – сформировать различные индивидуальные задания для контроля усвоения настоящего раздела. Предназначено для студентов третьего курса направления 09.03.01 «Информатика и вычислительная техника». Свободных экз. нет |
Непейвода, Н. Н. Прикладная логика [Электронный ресурс] : учебное пособие / Непейвода Н. Н. - Новосибирск : Сибирское университетское издательство, 2017. - 521 с. - ISBN 978-5-379-02009-5 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): классическая логика -- логические формулы -- неклассическая логика -- прикладная логика -- прикладная математика -- учебное пособие Аннотация: Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его можно использовать совместно с обучающими программами высокого уровня. Рекомендуется для студентов и аспирантов специальностей: «Математика», «Прикладная математика», «Структурная прикладная лингвистика», «Философия», «Когнитивная психология». Свободных экз. нет |
Гаврилова, О. В. Типовые задачи по теме «Алгебра логики» и «Логические основы ЭВМ» (на базе тестов ФЕПО) [Электронный ресурс] : учебное пособие / Гаврилова О. В. - Москва : Московский гуманитарный университет, 2014. - 40 с. - ISBN 978-5-906768-19-3 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): алгебра -- информатика -- логика Аннотация: Учебное пособие предназначено для использования при изучении дисциплины «Информатика», а также может быть полезно всем желающим познакомиться с алгеброй логики. Свободных экз. нет |
Ашихмин, В. Н. Введение в математическое моделирование [Электронный ресурс] : учебное пособие / Ашихмин В. Н. - Москва : Логос, 2004. - 439 с. - ISBN 5-94010-272-7 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): математическая модель -- математическое моделирование -- прикладная математика -- учебное пособие Аннотация: Рассмотрены основные понятия, определения, положения и подходы математического моделирования, представлена классификация математических моделей. Описаны основные этапы, технология построения математических моделей, приведены простые примеры ее применения. Анализируются особенности математического моделирования в условиях различных типов неопределенности, разработки моделей с применением структурного и имитационного подходов. Особое внимание уделяется анализу линейных и нелинейных моделей, выявлению их качественных различий. Приведены сведения о современных разделах математики (вейвлеты, фракталы, клеточные автоматы), эффективно используемых в различных проблемах нелинейной физики. Каждый из разделов снабжен перечнем заданий для самостоятельной работы. Для студентов высших учебных заведений обучающихся по направлению 510000 «Естественные науки и математика» и специальности 010200 «Прикладная математика». Представляет интерес для специалистов в области математического моделирования физико-механических процессов и явлений. Доп.точки доступа: Гитман, М. Б.; Келлер, И. Э. Свободных экз. нет |
Задачник-практикум по математике. Книга 1. Часть I–IIЗадачник-практикум по математике. Книга 1. Часть I–II [Электронный ресурс] : учебное пособие для студентов очного и заочного отделений : учебное пособие для студентов очного и заочного отделений. - [Б. м.] : Московский городской педагогический университет : Московский городской педагогический университет, 20122012 - .Задачник-практикум по математике. Книга 1. Часть I–II / Стойлова Л. П. - 2012. - 148 с. - ISBN 978-5-386-05106-8. - ISBN 978-5-89353-391-0 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): математика -- пересечение множеств -- объединение множеств -- разность множеств -- математическое доказательство -- алгебраическая операция Аннотация: Пособие является первой книгой задачника-практикума по математике, состоящего из 4-х частей. Книга 1 представлена двумя частями — «Логические основы математики» и «Соответствия, отношения, операции. Задача и процесс ее решения». Пособие предназначенного для студентов, обучающихся в условиях бакалавриата по направлению «Педагогическое образование» (профиль «Начальное образование»). В качестве приложения пособие содержит программу учебной дисциплины «Математика», в соответствии с которой написан данный задачник-практикум. Свободных экз. нет |
Задачник-практикум по математике. Книга 2. Часть III– IVЗадачник-практикум по математике. Книга 2. Часть III– IV [Электронный ресурс] : учебное пособие для студентов очного и заочного отделений : учебное пособие для студентов очного и заочного отделений. - [Б. м.] : Московский городской педагогический университет : Московский городской педагогический университет, 20122012 - .Задачник-практикум по математике. Книга 2. Часть III– IV / Конобеева Е. А. - 2012. - 116 с. - ISBN 978-5-386-05106-8. - ISBN 978-5-89353-391-0 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): математика -- геометрическая фигура -- натуральное число -- система счисления -- признак делимости Аннотация: Пособие является второй книгой задачника-практикума по математике, состоящего из 4-х частей. Книга 2 представлена двумя частями — «Натуральные числа и нуль» (авторы — Т.А. Конобеева, Л.П. Стойлова, И.В. Шадрина) и «Геометрические фигуры и величины» (авторы — Е.А. Конобеева, Л.П. Стойлова). Пособие предназначенного для студентов, обучающихся в условиях бакалавриата по направлению «Педагогическое образование» (профиль «Начальное образование»). Доп.точки доступа: Конобеева, Т. А.; Стойлова, Л. П.; Шадрина, И. В. Свободных экз. нет |
Богун, В. В. Динамические расчетные проекты в обучении математике [Электронный ресурс] : учебное пособие для СПО / Богун В. В. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2020. - 122 с. - ISBN 978-5-4488-0893-7, 978-5-4497-0729-1 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): алгебраическая операция -- динамический проект -- математика -- обучение математике -- описание алгоритма -- расчетный проект Аннотация: В учебном пособии на примере расчетного проекта по выполнению алгебраических операций над матрицами представлено детальное описание алгоритмов работы с авторской информационной системой, представлены принципы, лежащие в основе разработанной автором системы, приведен сравнительный анализ данной системы с современными системами дистанционного обучения. Подготовлено в соответствии с Федеральным государственным образовательным стандартом среднего профессионального образования. Предназначено для студентов, получающих среднее профессиональное образование по укрупненной группе специальностей 09.00.00 «Информатика и вычислительная техника», изучающих дисциплины «Сетевые технологии», «Информатика и информационные технологии», будет полезно преподавателям и студентам, применяющих в рамках учебного процесса системы дистанционного обучения. Свободных экз. нет |
Богун, В. В. Применение дистанционной системы динамических расчетных проектов в обучении математике [Электронный ресурс] : учебное пособие / Богун В. В. - Москва : Ай Пи Ар Медиа, 2020. - 128 с. - ISBN 978-5-4497-0719-2 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): алгебраическая операция -- алгоритм работы -- дистанционная система -- дистанционное обучение -- математика -- обучение математике -- расчетный проект Аннотация: В учебном пособии представлены принципы, лежащие в основе разработанной автором соответствующей информационной системы, приведен сравнительный анализ данной системы с современными системами дистанционного обучения. На примере расчетного проекта по выполнению алгебраических операций над матрицами представлено детальное описание алгоритмов работы с рассматриваемой информационной системой. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначено для студентов всех специальностей, изучающих дисциплину «Математика», будет полезно преподавателям и студентам, применяющих в рамках учебного процесса системы дистанционного обучения. Свободных экз. нет |
Хворостухина, Е. В. Математическая логика [Электронный ресурс] : учебное пособие / Хворостухина Е. В. - Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2018. - 63 с. - ISBN 978-5-7433-3238-0 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): логика -- математика -- метод резолюций -- равносильные формулы -- теория множеств Аннотация: В учебном пособии излагаются основы математической логики. Здесь содержится материал по теории множеств, алгебре высказываний, алгебре предикатов, формальным исчислениям и аксиоматическим теориям первого порядка. Описывается метод резолюций, служащий для автоматического доказательства теорем, приводятся основы написания программ на языке логического программирования Пролог. В конце каждого раздела приводится список вопросов и заданий для самостоятельной работы. Учебное пособие предназначено для студентов бакалавриата по направлениям подготовки 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия». Свободных экз. нет |
Богун, В. В. Аналитическая геометрия на плоскости с применением графического калькулятора: практические занятия [Электронный ресурс] : практикум / Богун В. В. - Москва : Ай Пи Ар Медиа, 2020. - 113 с. - ISBN 978-5-4497-0718-5 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): аналитическая геометрия -- геометрия на плоскости -- графический калькулятор -- параметр треугольника -- произвольный треугольник Аннотация: В предлагаемом практикуме представлено описание реализации практических занятий по аналитической геометрии на плоскости с точки зрения всестороннего изучения произвольных треугольников на основе применения авторских программ для графического калькулятора. Описание каждого практического занятия включает теоретический аспект с указанием необходимых математических выкладок, описание методики проведения занятий и разработанных автором программ для графического калькулятора в сопровождении необходимых инструкций для пользователя. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Практикум предназначен для преподавателей и студентов математических и педагогических специальностей и направлений подготовки, изучающих применение численных методов для решения задач математического анализа в курсах «Математика», «Аналитическая геометрия» и ряда других учебных дисциплин. Свободных экз. нет |
Богун, В. В. Аналитическая геометрия на плоскости с применением программ для ЭВМ: практические занятия [Электронный ресурс] : практикум / Богун В. В. - Москва : Ай Пи Ар Медиа, 2020. - 121 с. - ISBN 978-5-4497-0706-2 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): аналитическая геометрия -- геометрия на плоскости -- программа -- произвольный треугольник -- эвм Аннотация: В настоящем практикуме представлено описание реализации практических занятий по аналитической геометрии на плоскости с точки зрения всестороннего изучения произвольных треугольников на основе применения авторских программ для ЭВМ. Описание каждого практического занятия включает теоретический аспект с указанием необходимых математических выкладок, описание методики проведения занятий и разработанных автором программ в сопровождении необходимых инструкций для пользователя. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для преподавателей и студентов всех направлений и специальностей, изучающих применение численных методов для решения задач математического анализа в курсах «Математика», «Аналитическая геометрия», «Линейная алгебра» и ряда других учебных дисциплин. Свободных экз. нет |
Богун, В. В. Аналитическая геометрия на плоскости. Практические занятия [Электронный ресурс] : практикум для СПО / Богун В. В. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2020. - 121 с. - ISBN 978-5-4488-0894-4, 978-5-4497-0730-7 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): аналитическая геометрия -- геометрия на плоскости -- программа -- произвольный треугольник -- эвм Аннотация: В практикуме описаны практические занятия по аналитической геометрии на плоскости на основе применения авторских программ для ЭВМ. Описание каждого занятия включает теорию, описание методики проведения занятий и разработанных автором программ в сопровождении необходимых инструкций для пользователя. Подготовлен в соответствии с Федеральным государственным образовательным стандартом среднего профессионального образования. Предназначен для преподавателей и студентов укрупненной группы специальностей 09.00.00 «Информатика и вычислительная техника», изучающих дисциплины «Математика», «Элементы высшей математики», «Компьютерная графика». Свободных экз. нет |
Богун, В. В. Использование графического калькулятора применительно к аналитической геометрии на плоскости [Электронный ресурс] : практикум для СПО / Богун В. В. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2020. - 113 с. - ISBN 978-5-4488-0896-8, 978-5-4497-0732-1 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): аналитическая геометрия -- геометрия на плоскости -- графический калькулятор -- параметр треугольника -- произвольный треугольник Аннотация: В предлагаемом практикуме описаны практические занятия по аналитической геометрии на плоскости. К каждому практическому занятию дана теория, описание методики проведения занятий и разработанных автором программ для графического калькулятора в сопровождении инструкций. Подготовлен в соответствии с Федеральным государственным образовательным стандартом среднего профессионального образования. Практикум предназначен для преподавателей и студентов укрупненной группы специальностей 09.00.00 «Информатика и вычислительная техника», изучающих дисциплины «Математика», «Элементы высшей математики», «Компьютерная графика». Свободных экз. нет |
Богун, В. В. Математический анализ. Лабораторные работы с применением графического калькулятора [Электронный ресурс] : практикум / Богун В. В. - Москва : Ай Пи Ар Медиа, 2020. - 131 с. - ISBN 978-5-4497-0717-8 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): алгебраическое уравнение -- графический калькулятор -- дифференциальное уравнение -- интеграл -- математический анализ -- численный метод Аннотация: В предлагаемом практикуме представлены лабораторные работы по использованию численных методов для исследования объектов математического анализа с применением авторских программ для графического калькулятора в сопровождении необходимых методических и дидактических аспектов реализации лабораторных работ. Описание каждой лабораторной работы включает теоретический аспект с указанием необходимых математических выкладок, описание методики проведения занятий и разработанных автором программ для графического калькулятора в сопровождении необходимых инструкций для пользователя. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для преподавателей и студентов всех специальностей и направлений, изучающих применение численных методов для решения задач математического анализа в курсах «Математика», «Математический анализ», «Численные методы» и ряда других учебных дисциплин. Свободных экз. нет |
Богун, В. В. Применение графического калькулятора при решении задач высшей математики [Электронный ресурс] : практикум для СПО / Богун В. В. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2020. - 131 с. - ISBN 978-5-4488-0895-1, 978-5-4497-0731-4 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): высшая математика -- графический калькулятор -- математический анализ -- решение задачи -- численный метод Аннотация: В практикуме представлены лабораторные работы по использованию численных методов для исследования объектов математического анализа с применением авторских программ для графического калькулятора. Описание каждой работы включает теорию, описание методики проведения занятий и разработанных автором программ для графического калькулятора. Подготовлен в соответствии с Федеральным государственным образовательным стандартом среднего профессионального образования. Предназначен для преподавателей и студентов укрупненной группы специальностей 09.00.00 «Информатика и вычислительная техника», изучающих применение численных методов для решения задач математического анализа в курсах «Математика», «Элементы высшей математики», «Численные методы». Свободных экз. нет |