Choice of metadata IPR SMART
Page 2, Results: 21
Report on unfulfilled requests: 0
11.
Подробнее
Бесценный, И. П.
Математическая логика : учебное пособие / Бесценный И. П. - Омск : Омский государственный университет им. Ф.М. Достоевского, 2016. - 76 с. - ISBN 978-5-7779-2002-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12я73
Кл.слова (ненормированные):
вероятностная семантика -- исчисление высказывания -- исчисление предикатов -- математическая логика -- таблица истинности
Аннотация: Предназначено для выработки практических навыков решения задач по математической логике. Для студентов очной и заочной форм обучения по направлениям подготовки «Информатика и вычислительная техника» и «Прикладная информатика».
Доп.точки доступа:
Бесценная, Е. В.
Бесценный, И. П.
Математическая логика : учебное пособие / Бесценный И. П. - Омск : Омский государственный университет им. Ф.М. Достоевского, 2016. - 76 с. - ISBN 978-5-7779-2002-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
вероятностная семантика -- исчисление высказывания -- исчисление предикатов -- математическая логика -- таблица истинности
Аннотация: Предназначено для выработки практических навыков решения задач по математической логике. Для студентов очной и заочной форм обучения по направлениям подготовки «Информатика и вычислительная техника» и «Прикладная информатика».
Доп.точки доступа:
Бесценная, Е. В.
12.
Подробнее
Гумерова, Е. И.
Элементы логики в математике. Сборник самостоятельных работ для учащихся 6 класса Инженерного лицея НГТУ : учебно-методическое пособие / Гумерова Е. И. - Новосибирск : Новосибирский государственный технический университет, 2022. - 22 с. - ISBN 978-5-7782-4736-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
делимость -- математика -- нечетность -- четность -- элементы логики
Аннотация: Настоящее пособие представляет собой сборник самостоятельных работ теоретического и практического характера разного уровня сложности. Пособие предназначено для организации самостоятельной работы учащихся, а также для обобщающего повторения.
Гумерова, Е. И.
Элементы логики в математике. Сборник самостоятельных работ для учащихся 6 класса Инженерного лицея НГТУ : учебно-методическое пособие / Гумерова Е. И. - Новосибирск : Новосибирский государственный технический университет, 2022. - 22 с. - ISBN 978-5-7782-4736-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
делимость -- математика -- нечетность -- четность -- элементы логики
Аннотация: Настоящее пособие представляет собой сборник самостоятельных работ теоретического и практического характера разного уровня сложности. Пособие предназначено для организации самостоятельной работы учащихся, а также для обобщающего повторения.
13.
Подробнее
Богун, В. В.
Аналитическая геометрия на плоскости с применением графического калькулятора: практические занятия : практикум / Богун В. В. - Москва : Ай Пи Ар Медиа, 2020. - 113 с. - ISBN 978-5-4497-0718-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.16
Кл.слова (ненормированные):
аналитическая геометрия -- геометрия на плоскости -- графический калькулятор -- параметр треугольника -- произвольный треугольник
Аннотация: В предлагаемом практикуме представлено описание реализации практических занятий по аналитической геометрии на плоскости с точки зрения всестороннего изучения произвольных треугольников на основе применения авторских программ для графического калькулятора. Описание каждого практического занятия включает теоретический аспект с указанием необходимых математических выкладок, описание методики проведения занятий и разработанных автором программ для графического калькулятора в сопровождении необходимых инструкций для пользователя. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Практикум предназначен для преподавателей и студентов математических и педагогических специальностей и направлений подготовки, изучающих применение численных методов для решения задач математического анализа в курсах «Математика», «Аналитическая геометрия» и ряда других учебных дисциплин.
Богун, В. В.
Аналитическая геометрия на плоскости с применением графического калькулятора: практические занятия : практикум / Богун В. В. - Москва : Ай Пи Ар Медиа, 2020. - 113 с. - ISBN 978-5-4497-0718-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
аналитическая геометрия -- геометрия на плоскости -- графический калькулятор -- параметр треугольника -- произвольный треугольник
Аннотация: В предлагаемом практикуме представлено описание реализации практических занятий по аналитической геометрии на плоскости с точки зрения всестороннего изучения произвольных треугольников на основе применения авторских программ для графического калькулятора. Описание каждого практического занятия включает теоретический аспект с указанием необходимых математических выкладок, описание методики проведения занятий и разработанных автором программ для графического калькулятора в сопровождении необходимых инструкций для пользователя. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Практикум предназначен для преподавателей и студентов математических и педагогических специальностей и направлений подготовки, изучающих применение численных методов для решения задач математического анализа в курсах «Математика», «Аналитическая геометрия» и ряда других учебных дисциплин.
14.
Подробнее
Богун, В. В.
Аналитическая геометрия на плоскости с применением программ для ЭВМ: практические занятия : практикум / Богун В. В. - Москва : Ай Пи Ар Медиа, 2020. - 121 с. - ISBN 978-5-4497-0706-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.16
Кл.слова (ненормированные):
аналитическая геометрия -- геометрия на плоскости -- программа -- произвольный треугольник -- эвм
Аннотация: В настоящем практикуме представлено описание реализации практических занятий по аналитической геометрии на плоскости с точки зрения всестороннего изучения произвольных треугольников на основе применения авторских программ для ЭВМ. Описание каждого практического занятия включает теоретический аспект с указанием необходимых математических выкладок, описание методики проведения занятий и разработанных автором программ в сопровождении необходимых инструкций для пользователя. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для преподавателей и студентов всех направлений и специальностей, изучающих применение численных методов для решения задач математического анализа в курсах «Математика», «Аналитическая геометрия», «Линейная алгебра» и ряда других учебных дисциплин.
Богун, В. В.
Аналитическая геометрия на плоскости с применением программ для ЭВМ: практические занятия : практикум / Богун В. В. - Москва : Ай Пи Ар Медиа, 2020. - 121 с. - ISBN 978-5-4497-0706-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
аналитическая геометрия -- геометрия на плоскости -- программа -- произвольный треугольник -- эвм
Аннотация: В настоящем практикуме представлено описание реализации практических занятий по аналитической геометрии на плоскости с точки зрения всестороннего изучения произвольных треугольников на основе применения авторских программ для ЭВМ. Описание каждого практического занятия включает теоретический аспект с указанием необходимых математических выкладок, описание методики проведения занятий и разработанных автором программ в сопровождении необходимых инструкций для пользователя. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для преподавателей и студентов всех направлений и специальностей, изучающих применение численных методов для решения задач математического анализа в курсах «Математика», «Аналитическая геометрия», «Линейная алгебра» и ряда других учебных дисциплин.
15.
Подробнее
Мачикина, Е. П.
Математическая логика и теория алгоритмов : учебно-методическое пособие / Мачикина Е. П. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2020. - 86 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
булевы функции -- математическая логика -- понятие алгоритма -- предикаты -- теория алгоритмов
Аннотация: В пособии приведен необходимый теоретический материал, примеры решения задач и упражнения для решения на практических занятиях и во время самостоятельной работы по всем разделам дисциплины «Математическая логика и теория алгоритмов» для студентов второго курса факультета ИВТ, направление 09.03.01 Информатика и вычислительная техника, профили «Программное обеспечение средств вычислительной техники и автоматизированных систем», «Электронно-вычислительные машины, комплексы, системы и сети», «Распределённые автоматизированные системы».
Мачикина, Е. П.
Математическая логика и теория алгоритмов : учебно-методическое пособие / Мачикина Е. П. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2020. - 86 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
булевы функции -- математическая логика -- понятие алгоритма -- предикаты -- теория алгоритмов
Аннотация: В пособии приведен необходимый теоретический материал, примеры решения задач и упражнения для решения на практических занятиях и во время самостоятельной работы по всем разделам дисциплины «Математическая логика и теория алгоритмов» для студентов второго курса факультета ИВТ, направление 09.03.01 Информатика и вычислительная техника, профили «Программное обеспечение средств вычислительной техники и автоматизированных систем», «Электронно-вычислительные машины, комплексы, системы и сети», «Распределённые автоматизированные системы».
16.
Подробнее
Богун, В. В.
Математический анализ. Лабораторные работы с применением графического калькулятора : практикум / Богун В. В. - Москва : Ай Пи Ар Медиа, 2020. - 131 с. - ISBN 978-5-4497-0717-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.16
Кл.слова (ненормированные):
алгебраическое уравнение -- графический калькулятор -- дифференциальное уравнение -- интеграл -- математический анализ -- численный метод
Аннотация: В предлагаемом практикуме представлены лабораторные работы по использованию численных методов для исследования объектов математического анализа с применением авторских программ для графического калькулятора в сопровождении необходимых методических и дидактических аспектов реализации лабораторных работ. Описание каждой лабораторной работы включает теоретический аспект с указанием необходимых математических выкладок, описание методики проведения занятий и разработанных автором программ для графического калькулятора в сопровождении необходимых инструкций для пользователя. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для преподавателей и студентов всех специальностей и направлений, изучающих применение численных методов для решения задач математического анализа в курсах «Математика», «Математический анализ», «Численные методы» и ряда других учебных дисциплин.
Богун, В. В.
Математический анализ. Лабораторные работы с применением графического калькулятора : практикум / Богун В. В. - Москва : Ай Пи Ар Медиа, 2020. - 131 с. - ISBN 978-5-4497-0717-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебраическое уравнение -- графический калькулятор -- дифференциальное уравнение -- интеграл -- математический анализ -- численный метод
Аннотация: В предлагаемом практикуме представлены лабораторные работы по использованию численных методов для исследования объектов математического анализа с применением авторских программ для графического калькулятора в сопровождении необходимых методических и дидактических аспектов реализации лабораторных работ. Описание каждой лабораторной работы включает теоретический аспект с указанием необходимых математических выкладок, описание методики проведения занятий и разработанных автором программ для графического калькулятора в сопровождении необходимых инструкций для пользователя. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для преподавателей и студентов всех специальностей и направлений, изучающих применение численных методов для решения задач математического анализа в курсах «Математика», «Математический анализ», «Численные методы» и ряда других учебных дисциплин.
17.
Подробнее
Седова, Н. А.
Нечеткие отношения : учебное пособие / Седова Н. А. - Москва : Ай Пи Ар Медиа, 2024. - 60 с. - ISBN 978-5-4497-3156-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
бинарное нечеткое отношение -- математическая логика -- нечеткие отношения -- нечеткое отношение
Аннотация: Учебное пособие содержит материалы для изучения раздела «Нечеткие отношения» дисциплины «Математическая логика» и состоит из теоретической части, примеров, вопросов для самоподготовки, а также из 5 индивидуальных практических заданий, в каждом из которых 30 индивидуальных вариантов. Такая структура позволит студенту, изучившему теоретическую часть, получить индивидуальный вариант заданий для самостоятельного решения, а преподавателю — сформировать различные индивидуальные задания для контроля усвоения настоящего раздела. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Учебное пособие предназначено для студентов направления подготовки «Информатика и вычислительная техника», изучающих дисциплину «Математическая логика».
Седова, Н. А.
Нечеткие отношения : учебное пособие / Седова Н. А. - Москва : Ай Пи Ар Медиа, 2024. - 60 с. - ISBN 978-5-4497-3156-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
бинарное нечеткое отношение -- математическая логика -- нечеткие отношения -- нечеткое отношение
Аннотация: Учебное пособие содержит материалы для изучения раздела «Нечеткие отношения» дисциплины «Математическая логика» и состоит из теоретической части, примеров, вопросов для самоподготовки, а также из 5 индивидуальных практических заданий, в каждом из которых 30 индивидуальных вариантов. Такая структура позволит студенту, изучившему теоретическую часть, получить индивидуальный вариант заданий для самостоятельного решения, а преподавателю — сформировать различные индивидуальные задания для контроля усвоения настоящего раздела. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Учебное пособие предназначено для студентов направления подготовки «Информатика и вычислительная техника», изучающих дисциплину «Математическая логика».
18.
Подробнее
Мачикина, Е. П.
Задачник по математической логике и теории алгоритмов : учебное пособие / Мачикина Е. П. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2023. - 102 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
булевы функции -- задачник -- математическая логика -- теория алгоритмов
Аннотация: В пособии содержатся задачи и упражнения для решения на практических занятиях и во время самостоятельной работы по всем разделам дисциплины «Математическая логика и теория алгоритмов» для студентов направления 09.03.01 «Информатика и вычислительная техника», профили «Программное обеспечение средств вычислительной техники и автоматизированных систем», «Электронно-вычислительные машины, комплексы, системы и сети», «Программное обеспечение средств мобильных систем», направления 02.03.01 «Фундаментальная информатика и информационные технологии», профиль «Системное программное обеспечение». Большинство задач и упражнений пособия снабжено ответами и указаниями к решению.
Доп.точки доступа:
Новожилов, Д. И.
Мачикина, Е. П.
Задачник по математической логике и теории алгоритмов : учебное пособие / Мачикина Е. П. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2023. - 102 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
булевы функции -- задачник -- математическая логика -- теория алгоритмов
Аннотация: В пособии содержатся задачи и упражнения для решения на практических занятиях и во время самостоятельной работы по всем разделам дисциплины «Математическая логика и теория алгоритмов» для студентов направления 09.03.01 «Информатика и вычислительная техника», профили «Программное обеспечение средств вычислительной техники и автоматизированных систем», «Электронно-вычислительные машины, комплексы, системы и сети», «Программное обеспечение средств мобильных систем», направления 02.03.01 «Фундаментальная информатика и информационные технологии», профиль «Системное программное обеспечение». Большинство задач и упражнений пособия снабжено ответами и указаниями к решению.
Доп.точки доступа:
Новожилов, Д. И.
19.
Подробнее
Афанасьев, С. Г.
Математическая логика : учебное пособие / Афанасьев С. Г. - Москва : Ай Пи Ар Медиа, 2024. - 82 с. - ISBN 978-5-4497-3544-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
алгебра высказываний -- алгебра предикатов -- исчисление высказываний -- математическая логика -- рассуждение
Аннотация: Учебное пособие написано с учетом современных требований к подготовке специалистов высших учебных заведений, на базе лекций, прочитанных автором для студентов Северо-Кавказского социального института. В нем приводятся необходимые теоретические сведения по основным разделам математической логики: алгебре высказываний, исчислении высказываний, алгебре предикатов и рассуждениях, а также примеры, поясняющие их. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначено для студентов вузов, образовательная программа которых содержит дисциплины, включающие в себя математическую логику, элементы математической логики, элементы высшей математики. Издание может быть использовано как в аудиторной учебной работе, так и для самостоятельной подготовки студентов.
Афанасьев, С. Г.
Математическая логика : учебное пособие / Афанасьев С. Г. - Москва : Ай Пи Ар Медиа, 2024. - 82 с. - ISBN 978-5-4497-3544-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра высказываний -- алгебра предикатов -- исчисление высказываний -- математическая логика -- рассуждение
Аннотация: Учебное пособие написано с учетом современных требований к подготовке специалистов высших учебных заведений, на базе лекций, прочитанных автором для студентов Северо-Кавказского социального института. В нем приводятся необходимые теоретические сведения по основным разделам математической логики: алгебре высказываний, исчислении высказываний, алгебре предикатов и рассуждениях, а также примеры, поясняющие их. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначено для студентов вузов, образовательная программа которых содержит дисциплины, включающие в себя математическую логику, элементы математической логики, элементы высшей математики. Издание может быть использовано как в аудиторной учебной работе, так и для самостоятельной подготовки студентов.
20.
Подробнее
Афанасьев, С. Г.
Математическая логика : учебное пособие для СПО / Афанасьев С. Г. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2024. - 88 с. - ISBN 978-5-4488-2222-3, 978-5-4497-3543-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
алгебра высказываний -- алгебра предикатов -- исчисление высказываний -- математическая логика -- рассуждение
Аннотация: Учебное пособие содержит основные понятия, формулы и законы алгебры высказываний, исчисления высказываний, алгебры предикатов и рассуждений. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом среднего профессионального образования. Предназначено для студентов укрупненной группы профессий и специальностей «Информатика и вычислительная техника» и укрупненной группы специальностей «Информационная безопасность», изучающих дисциплины «Дискретная математика с элементами математической логики», «Элементы математической логики», «Дискретная математика».
Афанасьев, С. Г.
Математическая логика : учебное пособие для СПО / Афанасьев С. Г. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2024. - 88 с. - ISBN 978-5-4488-2222-3, 978-5-4497-3543-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра высказываний -- алгебра предикатов -- исчисление высказываний -- математическая логика -- рассуждение
Аннотация: Учебное пособие содержит основные понятия, формулы и законы алгебры высказываний, исчисления высказываний, алгебры предикатов и рассуждений. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом среднего профессионального образования. Предназначено для студентов укрупненной группы профессий и специальностей «Информатика и вычислительная техника» и укрупненной группы специальностей «Информационная безопасность», изучающих дисциплины «Дискретная математика с элементами математической логики», «Элементы математической логики», «Дискретная математика».
Page 2, Results: 21