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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

в найденном

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

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

Поисковый запрос: (<.>U=510.6<.>)

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

1-10 11-18

IPRBooks-99263

99263

Хворостухина, Е. В.
Математическая логика [Электронный ресурс] : учебное пособие / Хворостухина Е. В. - Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2018. - 63 с. - ISBN 978-5-7433-3238-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510.6

ББК 22.12

Кл.слова (ненормированные):
логика -- математика -- метод резолюций -- равносильные формулы -- теория множеств
Аннотация: В учебном пособии излагаются основы математической логики. Здесь содержится материал по теории множеств, алгебре высказываний, алгебре предикатов, формальным исчислениям и аксиоматическим теориям первого порядка. Описывается метод резолюций, служащий для автоматического доказательства теорем, приводятся основы написания программ на языке логического программирования Пролог. В конце каждого раздела приводится список вопросов и заданий для самостоятельной работы. Учебное пособие предназначено для студентов бакалавриата по направлениям подготовки 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-69312

69312

Унучек, С. А.
Математическая логика [Электронный ресурс] : учебное пособие / Унучек С. А. - Саратов : Ай Пи Эр Медиа, 2018. - 239 с. - ISBN 978-5-4486-0086-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510.6

ББК 22.12

Кл.слова (ненормированные):
дискретная математика -- логика -- математика -- математическая логика
Аннотация: В основе настоящего пособия положен курс лекций и практических занятий по математической логике, который на протяжении нескольких лет читается студентам различных факультетов МГТУ МИРЭА. В пособии рассмотрены следующие темы: элементы теории множеств и комбинаторики, булевы функции, бинарные отношения, основы теории графов, основы теории алгоритмов, минимизация конечных автоматов, вошедшие в программу подготовки специалистов и бакалавров очной и очно-заочной форм обучения. По каждой теме даны теоретические сведения (основные определения и теоремы), приведены решения типовых задач, приложены задачи для самостоятельного решения.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-26480

26480

Задачник-практикум по математике. Книга 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тупа:

УДК

510.6

ББК 22.122я73

Кл.слова (ненормированные):
математика -- пересечение множеств -- объединение множеств -- разность множеств -- математическое доказательство -- алгебраическая операция
Аннотация: Пособие является первой книгой задачника-практикума по математике, состоящего из 4-х частей. Книга 1 представлена двумя частями — «Логические основы математики» и «Соответствия, отношения, операции. Задача и процесс ее решения». Пособие предназначенного для студентов, обучающихся в условиях бакалавриата по направлению «Педагогическое образование» (профиль «Начальное образование»). В качестве приложения пособие содержит программу учебной дисциплины «Математика», в соответствии с которой написан данный задачник-практикум.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-69296

69296

Седова, Н. А.
Нечеткие отношения [Электронный ресурс] : учебное пособие / Седова Н. А. - Саратов : Ай Пи Эр Медиа, 2018. - 60 с. - ISBN 978-5-4486-0068-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510.6

ББК 22.1

Кл.слова (ненормированные):
бинарное нечеткое отношение -- математическая логика -- нечеткие отношения -- нечеткое отношение
Аннотация: Пособие содержит материалы для изучения раздела «Нечеткие отношения» дисциплины «Математическая логика» и состоит из теоретической части, примеров, вопросов для самоподготовки, а также из 5 индивидуальных практических заданий, в каждом из которых 30 индивидуальных вариантов. Такая структура позволит студенту, изучившему теоретическую часть, получить индивидуальный вариант заданий для самостоятельного решения, а преподавателю – сформировать различные индивидуальные задания для контроля усвоения настоящего раздела. Предназначено для студентов третьего курса направления 09.03.01 «Информатика и вычислительная техника».

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-65288

65288

Непейвода, Н. Н.
Прикладная логика [Электронный ресурс] : учебное пособие / Непейвода Н. Н. - Новосибирск : Сибирское университетское издательство, 2017. - 521 с. - ISBN 978-5-379-02009-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510.6

ББК 22.1

Кл.слова (ненормированные):
классическая логика -- логические формулы -- неклассическая логика -- прикладная логика -- прикладная математика -- учебное пособие
Аннотация: Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его можно использовать совместно с обучающими программами высокого уровня. Рекомендуется для студентов и аспирантов специальностей: «Математика», «Прикладная математика», «Структурная прикладная лингвистика», «Философия», «Когнитивная психология».

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-26481

26481

Задачник-практикум по математике. Книга 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тупа:

УДК

510.6

ББК 22.122я73

Кл.слова (ненормированные):
математика -- геометрическая фигура -- натуральное число -- система счисления -- признак делимости
Аннотация: Пособие является второй книгой задачника-практикума по математике, состоящего из 4-х частей. Книга 2 представлена двумя частями — «Натуральные числа и нуль» (авторы — Т.А. Конобеева, Л.П. Стойлова, И.В. Шадрина) и «Геометрические фигуры и величины» (авторы — Е.А. Конобеева, Л.П. Стойлова). Пособие предназначенного для студентов, обучающихся в условиях бакалавриата по направлению «Педагогическое образование» (профиль «Начальное образование»).

(для доступа требуется авторизация)

Доп.точки доступа:
Конобеева, Т. А.; Стойлова, Л. П.; Шадрина, И. В.
Свободных экз. нет
Найти похожие

IPRBooks-39697

39697

Гаврилова, О. В.
Типовые задачи по теме «Алгебра логики» и «Логические основы ЭВМ» (на базе тестов ФЕПО) [Электронный ресурс] : учебное пособие / Гаврилова О. В. - Москва : Московский гуманитарный университет, 2014. - 40 с. - ISBN 978-5-906768-19-3 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510.6

ББК 22

Кл.слова (ненормированные):
алгебра -- информатика -- логика
Аннотация: Учебное пособие предназначено для использования при изучении дисциплины «Информатика», а также может быть полезно всем желающим познакомиться с алгеброй логики.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-98500

98500

Богун, В. В.
Применение дистанционной системы динамических расчетных проектов в обучении математике [Электронный ресурс] : учебное пособие / Богун В. В. - Москва : Ай Пи Ар Медиа, 2020. - 128 с. - ISBN 978-5-4497-0719-2 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510.6

ББК 22.16

Кл.слова (ненормированные):
алгебраическая операция -- алгоритм работы -- дистанционная система -- дистанционное обучение -- математика -- обучение математике -- расчетный проект
Аннотация: В учебном пособии представлены принципы, лежащие в основе разработанной автором соответствующей информационной системы, приведен сравнительный анализ данной системы с современными системами дистанционного обучения. На примере расчетного проекта по выполнению алгебраических операций над матрицами представлено детальное описание алгоритмов работы с рассматриваемой информационной системой. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначено для студентов всех специальностей, изучающих дисциплину «Математика», будет полезно преподавателям и студентам, применяющих в рамках учебного процесса системы дистанционного обучения.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-98499

98499

Богун, В. В.
Применение графического калькулятора при решении задач высшей математики [Электронный ресурс] : практикум для СПО / Богун В. В. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2020. - 131 с. - ISBN 978-5-4488-0895-1, 978-5-4497-0731-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510.6

ББК 22.16

Кл.слова (ненормированные):
высшая математика -- графический калькулятор -- математический анализ -- решение задачи -- численный метод
Аннотация: В практикуме представлены лабораторные работы по использованию численных методов для исследования объектов математического анализа с применением авторских программ для графического калькулятора. Описание каждой работы включает теорию, описание методики проведения занятий и разработанных автором программ для графического калькулятора. Подготовлен в соответствии с Федеральным государственным образовательным стандартом среднего профессионального образования. Предназначен для преподавателей и студентов укрупненной группы специальностей 09.00.00 «Информатика и вычислительная техника», изучающих применение численных методов для решения задач математического анализа в курсах «Математика», «Элементы высшей математики», «Численные методы».

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

10.

IPRBooks-98498

98498

Богун, В. В.
Математический анализ. Лабораторные работы с применением графического калькулятора [Электронный ресурс] : практикум / Богун В. В. - Москва : Ай Пи Ар Медиа, 2020. - 131 с. - ISBN 978-5-4497-0717-8 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510.6

ББК 22.16

Кл.слова (ненормированные):
алгебраическое уравнение -- графический калькулятор -- дифференциальное уравнение -- интеграл -- математический анализ -- численный метод
Аннотация: В предлагаемом практикуме представлены лабораторные работы по использованию численных методов для исследования объектов математического анализа с применением авторских программ для графического калькулятора в сопровождении необходимых методических и дидактических аспектов реализации лабораторных работ. Описание каждой лабораторной работы включает теоретический аспект с указанием необходимых математических выкладок, описание методики проведения занятий и разработанных автором программ для графического калькулятора в сопровождении необходимых инструкций для пользователя. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для преподавателей и студентов всех специальностей и направлений, изучающих применение численных методов для решения задач математического анализа в курсах «Математика», «Математический анализ», «Численные методы» и ряда других учебных дисциплин.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

1-10 11-18

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

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

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

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