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

Базы данных


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

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=510.6<.>)
Общее количество найденных документов : 18
Показаны документы с 1 по 10
 1-10    11-18 
1.

Вид документа : Однотомное издание
Шифр издания : 99263
Автор(ы) : Хворостухина Е. В.
Заглавие : Математическая логика : Учебное пособие
Выходные данные : Саратов: Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2018
Колич.характеристики :63 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7433-3238-0: Б.ц.
УДК : 510.6
ББК : 22.12
Ключевые слова (''Своб.индексиров.''): логика--математика--метод резолюций--равносильные формулы--теория множеств
Аннотация: В учебном пособии излагаются основы математической логики. Здесь содержится материал по теории множеств, алгебре высказываний, алгебре предикатов, формальным исчислениям и аксиоматическим теориям первого порядка. Описывается метод резолюций, служащий для автоматического доказательства теорем, приводятся основы написания программ на языке логического программирования Пролог. В конце каждого раздела приводится список вопросов и заданий для самостоятельной работы. Учебное пособие предназначено для студентов бакалавриата по направлениям подготовки 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».
(для доступа требуется авторизация)

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

2.

Вид документа : Однотомное издание
Шифр издания : 98493
Автор(ы) : Богун В. В.
Заглавие : Аналитическая геометрия на плоскости с применением графического калькулятора: практические занятия : Практикум
Выходные данные : Москва: Ай Пи Ар Медиа, 2020
Колич.характеристики :113 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0718-5: Б.ц.
УДК : 510.6
ББК : 22.16
Ключевые слова (''Своб.индексиров.''): аналитическая геометрия--геометрия на плоскости--графический калькулятор--параметр треугольника--произвольный треугольник
Аннотация: В предлагаемом практикуме представлено описание реализации практических занятий по аналитической геометрии на плоскости с точки зрения всестороннего изучения произвольных треугольников на основе применения авторских программ для графического калькулятора. Описание каждого практического занятия включает теоретический аспект с указанием необходимых математических выкладок, описание методики проведения занятий и разработанных автором программ для графического калькулятора в сопровождении необходимых инструкций для пользователя. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Практикум предназначен для преподавателей и студентов математических и педагогических специальностей и направлений подготовки, изучающих применение численных методов для решения задач математического анализа в курсах «Математика», «Аналитическая геометрия» и ряда других учебных дисциплин.
(для доступа требуется авторизация)

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

3.

Вид документа : Однотомное издание
Шифр издания : 98496
Автор(ы) : Богун В. В.
Заглавие : Динамические расчетные проекты в обучении математике : Учебное пособие для СПО
Выходные данные : Саратов, Москва: Профобразование, Ай Пи Ар Медиа, 2020
Колич.характеристики :122 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4488-0893-7, 978-5-4497-0729-1: Б.ц.
УДК : 510.6
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): алгебраическая операция--динамический проект--математика--обучение математике--описание алгоритма--расчетный проект
Аннотация: В учебном пособии на примере расчетного проекта по выполнению алгебраических операций над матрицами представлено детальное описание алгоритмов работы с авторской информационной системой, представлены принципы, лежащие в основе разработанной автором системы, приведен сравнительный анализ данной системы с современными системами дистанционного обучения. Подготовлено в соответствии с Федеральным государственным образовательным стандартом среднего профессионального образования. Предназначено для студентов, получающих среднее профессиональное образование по укрупненной группе специальностей 09.00.00 «Информатика и вычислительная техника», изучающих дисциплины «Сетевые технологии», «Информатика и информационные технологии», будет полезно преподавателям и студентам, применяющих в рамках учебного процесса системы дистанционного обучения.
(для доступа требуется авторизация)

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

4.

Вид документа : Однотомное издание
Шифр издания : 98500
Автор(ы) : Богун В. В.
Заглавие : Применение дистанционной системы динамических расчетных проектов в обучении математике : Учебное пособие
Выходные данные : Москва: Ай Пи Ар Медиа, 2020
Колич.характеристики :128 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0719-2: Б.ц.
УДК : 510.6
ББК : 22.16
Ключевые слова (''Своб.индексиров.''): алгебраическая операция--алгоритм работы--дистанционная система--дистанционное обучение--математика--обучение математике--расчетный проект
Аннотация: В учебном пособии представлены принципы, лежащие в основе разработанной автором соответствующей информационной системы, приведен сравнительный анализ данной системы с современными системами дистанционного обучения. На примере расчетного проекта по выполнению алгебраических операций над матрицами представлено детальное описание алгоритмов работы с рассматриваемой информационной системой. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначено для студентов всех специальностей, изучающих дисциплину «Математика», будет полезно преподавателям и студентам, применяющих в рамках учебного процесса системы дистанционного обучения.
(для доступа требуется авторизация)

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

5.

Вид документа : Однотомное издание
Шифр издания : 98494
Автор(ы) : Богун В. В.
Заглавие : Аналитическая геометрия на плоскости с применением программ для ЭВМ: практические занятия : Практикум
Выходные данные : Москва: Ай Пи Ар Медиа, 2020
Колич.характеристики :121 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0706-2: Б.ц.
УДК : 510.6
ББК : 22.16
Ключевые слова (''Своб.индексиров.''): аналитическая геометрия--геометрия на плоскости--программа--произвольный треугольник--эвм
Аннотация: В настоящем практикуме представлено описание реализации практических занятий по аналитической геометрии на плоскости с точки зрения всестороннего изучения произвольных треугольников на основе применения авторских программ для ЭВМ. Описание каждого практического занятия включает теоретический аспект с указанием необходимых математических выкладок, описание методики проведения занятий и разработанных автором программ в сопровождении необходимых инструкций для пользователя. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для преподавателей и студентов всех направлений и специальностей, изучающих применение численных методов для решения задач математического анализа в курсах «Математика», «Аналитическая геометрия», «Линейная алгебра» и ряда других учебных дисциплин.
(для доступа требуется авторизация)

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

6.

Вид документа : Однотомное издание
Шифр издания : 98498
Автор(ы) : Богун В. В.
Заглавие : Математический анализ. Лабораторные работы с применением графического калькулятора : Практикум
Выходные данные : Москва: Ай Пи Ар Медиа, 2020
Колич.характеристики :131 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0717-8: Б.ц.
УДК : 510.6
ББК : 22.16
Ключевые слова (''Своб.индексиров.''): алгебраическое уравнение--графический калькулятор--дифференциальное уравнение--интеграл--математический анализ--численный метод
Аннотация: В предлагаемом практикуме представлены лабораторные работы по использованию численных методов для исследования объектов математического анализа с применением авторских программ для графического калькулятора в сопровождении необходимых методических и дидактических аспектов реализации лабораторных работ. Описание каждой лабораторной работы включает теоретический аспект с указанием необходимых математических выкладок, описание методики проведения занятий и разработанных автором программ для графического калькулятора в сопровождении необходимых инструкций для пользователя. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для преподавателей и студентов всех специальностей и направлений, изучающих применение численных методов для решения задач математического анализа в курсах «Математика», «Математический анализ», «Численные методы» и ряда других учебных дисциплин.
(для доступа требуется авторизация)

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

7.

Вид документа : Однотомное издание
Шифр издания : 98499
Автор(ы) : Богун В. В.
Заглавие : Применение графического калькулятора при решении задач высшей математики : Практикум для СПО
Выходные данные : Саратов, Москва: Профобразование, Ай Пи Ар Медиа, 2020
Колич.характеристики :131 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4488-0895-1, 978-5-4497-0731-4: Б.ц.
УДК : 510.6
ББК : 22.16
Ключевые слова (''Своб.индексиров.''): высшая математика--графический калькулятор--математический анализ--решение задачи--численный метод
Аннотация: В практикуме представлены лабораторные работы по использованию численных методов для исследования объектов математического анализа с применением авторских программ для графического калькулятора. Описание каждой работы включает теорию, описание методики проведения занятий и разработанных автором программ для графического калькулятора. Подготовлен в соответствии с Федеральным государственным образовательным стандартом среднего профессионального образования. Предназначен для преподавателей и студентов укрупненной группы специальностей 09.00.00 «Информатика и вычислительная техника», изучающих применение численных методов для решения задач математического анализа в курсах «Математика», «Элементы высшей математики», «Численные методы».
(для доступа требуется авторизация)

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

8.

Вид документа : Однотомное издание
Шифр издания : 98495
Автор(ы) : Богун В. В.
Заглавие : Аналитическая геометрия на плоскости. Практические занятия : Практикум для СПО
Выходные данные : Саратов, Москва: Профобразование, Ай Пи Ар Медиа, 2020
Колич.характеристики :121 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4488-0894-4, 978-5-4497-0730-7: Б.ц.
УДК : 510.6
ББК : 22.16
Ключевые слова (''Своб.индексиров.''): аналитическая геометрия--геометрия на плоскости--программа--произвольный треугольник--эвм
Аннотация: В практикуме описаны практические занятия по аналитической геометрии на плоскости на основе применения авторских программ для ЭВМ. Описание каждого занятия включает теорию, описание методики проведения занятий и разработанных автором программ в сопровождении необходимых инструкций для пользователя. Подготовлен в соответствии с Федеральным государственным образовательным стандартом среднего профессионального образования. Предназначен для преподавателей и студентов укрупненной группы специальностей 09.00.00 «Информатика и вычислительная техника», изучающих дисциплины «Математика», «Элементы высшей математики», «Компьютерная графика».
(для доступа требуется авторизация)

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

9.

Вид документа : Однотомное издание
Шифр издания : 98497
Автор(ы) : Богун В. В.
Заглавие : Использование графического калькулятора применительно к аналитической геометрии на плоскости : Практикум для СПО
Выходные данные : Саратов, Москва: Профобразование, Ай Пи Ар Медиа, 2020
Колич.характеристики :113 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4488-0896-8, 978-5-4497-0732-1: Б.ц.
УДК : 510.6
ББК : 22.16
Ключевые слова (''Своб.индексиров.''): аналитическая геометрия--геометрия на плоскости--графический калькулятор--параметр треугольника--произвольный треугольник
Аннотация: В предлагаемом практикуме описаны практические занятия по аналитической геометрии на плоскости. К каждому практическому занятию дана теория, описание методики проведения занятий и разработанных автором программ для графического калькулятора в сопровождении инструкций. Подготовлен в соответствии с Федеральным государственным образовательным стандартом среднего профессионального образования. Практикум предназначен для преподавателей и студентов укрупненной группы специальностей 09.00.00 «Информатика и вычислительная техника», изучающих дисциплины «Математика», «Элементы высшей математики», «Компьютерная графика».
(для доступа требуется авторизация)

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

10.

Вид документа : Однотомное издание
Шифр издания : 69312
Автор(ы) : Унучек С. А.
Заглавие : Математическая логика : Учебное пособие
Выходные данные : Саратов: Ай Пи Эр Медиа, 2018
Колич.характеристики :239 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4486-0086-9: Б.ц.
УДК : 510.6
ББК : 22.12
Ключевые слова (''Своб.индексиров.''): дискретная математика--логика--математика--математическая логика
Аннотация: В основе настоящего пособия положен курс лекций и практических занятий по математической логике, который на протяжении нескольких лет читается студентам различных факультетов МГТУ МИРЭА. В пособии рассмотрены следующие темы: элементы теории множеств и комбинаторики, булевы функции, бинарные отношения, основы теории графов, основы теории алгоритмов, минимизация конечных автоматов, вошедшие в программу подготовки специалистов и бакалавров очной и очно-заочной форм обучения. По каждой теме даны теоретические сведения (основные определения и теоремы), приведены решения типовых задач, приложены задачи для самостоятельного решения.
(для доступа требуется авторизация)

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

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