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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

в найденном

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

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

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

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

1-10 11-18

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 26480
Автор(ы) : Стойлова Л. П.
Заглавие : Задачник-практикум по математике. Книга 1. Часть I–IIЗадачник-практикум по математике. Книга 1. Часть I–II: Учебное пособие для студентов очного и заочного отделений: Учебное пособие для студентов очного и заочного отделений. Задачник-практикум по математике. Книга 1. Часть I–II
Выходные данные : : Московский городской педагогический университет: Московский городской педагогический университет Б.м., 2012
Колич.характеристики :148 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-386-05106-8978-5-89353-391-0: Б.ц.
УДК : 510.6
ББК : 22.122я73
Ключевые слова (''Своб.индексиров.''): математика--пересечение множеств--объединение множеств--разность множеств--математическое доказательство--алгебраическая операция
Аннотация: Пособие является первой книгой задачника-практикума по математике, состоящего из 4-х частей. Книга 1 представлена двумя частями — «Логические основы математики» и «Соответствия, отношения, операции. Задача и процесс ее решения». Пособие предназначенного для студентов, обучающихся в условиях бакалавриата по направлению «Педагогическое образование» (профиль «Начальное образование»). В качестве приложения пособие содержит программу учебной дисциплины «Математика», в соответствии с которой написан данный задачник-практикум.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 69296
Автор(ы) : Седова Н. А.
Заглавие : Нечеткие отношения : Учебное пособие
Выходные данные : Саратов: Ай Пи Эр Медиа, 2018
Колич.характеристики :60 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4486-0068-5: Б.ц.
УДК : 510.6
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): бинарное нечеткое отношение--математическая логика--нечеткие отношения--нечеткое отношение
Аннотация: Пособие содержит материалы для изучения раздела «Нечеткие отношения» дисциплины «Математическая логика» и состоит из теоретической части, примеров, вопросов для самоподготовки, а также из 5 индивидуальных практических заданий, в каждом из которых 30 индивидуальных вариантов. Такая структура позволит студенту, изучившему теоретическую часть, получить индивидуальный вариант заданий для самостоятельного решения, а преподавателю – сформировать различные индивидуальные задания для контроля усвоения настоящего раздела. Предназначено для студентов третьего курса направления 09.03.01 «Информатика и вычислительная техника».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 65288
Автор(ы) : Непейвода Н. Н.
Заглавие : Прикладная логика : Учебное пособие
Выходные данные : Новосибирск: Сибирское университетское издательство, 2017
Колич.характеристики :521 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-379-02009-5: Б.ц.
УДК : 510.6
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): классическая логика--логические формулы--неклассическая логика--прикладная логика--прикладная математика--учебное пособие
Аннотация: Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его можно использовать совместно с обучающими программами высокого уровня. Рекомендуется для студентов и аспирантов специальностей: «Математика», «Прикладная математика», «Структурная прикладная лингвистика», «Философия», «Когнитивная психология».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 26481
Автор(ы) : Конобеева Е. А., Конобеева Е. А., Конобеева Т. А., Стойлова Л. П., Шадрина И. В.
Заглавие : Задачник-практикум по математике. Книга 2. Часть III– IVЗадачник-практикум по математике. Книга 2. Часть III– IV: Учебное пособие для студентов очного и заочного отделений: Учебное пособие для студентов очного и заочного отделений. Задачник-практикум по математике. Книга 2. Часть III– IV
Выходные данные : : Московский городской педагогический университет: Московский городской педагогический университет Б.м., 2012
Колич.характеристики :116 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-386-05106-8978-5-89353-391-0: Б.ц.
УДК : 510.6
ББК : 22.122я73
Ключевые слова (''Своб.индексиров.''): математика--геометрическая фигура--натуральное число--система счисления--признак делимости
Аннотация: Пособие является второй книгой задачника-практикума по математике, состоящего из 4-х частей. Книга 2 представлена двумя частями — «Натуральные числа и нуль» (авторы — Т.А. Конобеева, Л.П. Стойлова, И.В. Шадрина) и «Геометрические фигуры и величины» (авторы — Е.А. Конобеева, Л.П. Стойлова). Пособие предназначенного для студентов, обучающихся в условиях бакалавриата по направлению «Педагогическое образование» (профиль «Начальное образование»).
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 39697
Автор(ы) : Гаврилова О. В.
Заглавие : Типовые задачи по теме «Алгебра логики» и «Логические основы ЭВМ» (на базе тестов ФЕПО) : Учебное пособие
Выходные данные : Москва: Московский гуманитарный университет, 2014
Колич.характеристики :40 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-906768-19-3: Б.ц.
УДК : 510.6
ББК : 22
Ключевые слова (''Своб.индексиров.''): алгебра--информатика--логика
Аннотация: Учебное пособие предназначено для использования при изучении дисциплины «Информатика», а также может быть полезно всем желающим познакомиться с алгеброй логики.
(для доступа требуется авторизация)

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

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

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

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

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

10.

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

1-10 11-18

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

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

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

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