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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

в найденном

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

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

Поисковый запрос: (<.>K=математическая логика<.>)

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

1-10 11-20 21-30 31-40 41-50 51-53

IPRBooks-92827

92827

Шмырин, А. М.
Дискретная математика и математическая логика [Электронный ресурс] : учебное пособие для СПО / Шмырин А. М. - Липецк, Саратов : Липецкий государственный технический университет, Профобразование, 2020. - 160 с. - ISBN 978-5-88247-960-1, 978-5-4488-0751-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

519

ББК 22.176

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

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

Доп.точки доступа:
Седых, И. А.
Свободных экз. нет
Найти похожие

IPRBooks-89426

89426

Барский, А. Б.
Введение в нейронные сети [Электронный ресурс] : учебное пособие / Барский А. Б. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 357 с. - ISBN 978-5-4497-0309-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004

ББК 32.81

Кл.слова (ненормированные):
логическая сеть -- логическое программирование -- математическая логика -- нейронная сеть -- нейросетевая модель -- нейросетевая технология -- принятие решения -- распознавание объекта -- трехмерное моделирование -- язык пролог
Аннотация: Главной целью данного учебного пособия является демонстрация и внедрение универсального подхода, способного вывести проблему нейронных сетей с уровня частного применения на уровень массового использования практически во всех областях знаний, где требуется логически обосновать принимаемое решение. Утверждается, что самый простой подход к построению нейронных сетей на основе реализуемой нейроном «нечёткой» логики (логических нейронных сетей), продиктован практикой ясного мышления человека. Этот подход приводит к построению всего лишь однослойных нейронных сетей с простейшей функцией активации нейрона, при необходимости дополненных обратными связями. На основе положений математической логики событий исследуются нейронные сети, имитирующие механизмы работы мозга. Эти механизмы реализуют операции вывода по «нечеткой» логике в составе систем искусственного интеллекта — распознавания, управления и принятия решений — во всех областях человеческой деятельности. Рассмотрение многих примеров демонстрирует простейший подход к построению и развитию обученных нейронных сетей «под задачу», а также трассировку — обучение при заданной структуре сети.

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

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

IPRBooks-92841

92841

Ткаченко, С. В.
Элементы математической логики [Электронный ресурс] : учебное пособие для СПО / Ткаченко С. В. - Липецк, Саратов : Липецкий государственный технический университет, Профобразование, 2020. - 99 с. - ISBN 978-5-88247-964-9, 978-5-4488-0752-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

517

ББК 22.1

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

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

Доп.точки доступа:
Сысоев, А. С.
Свободных экз. нет
Найти похожие

IPRBooks-96015

96015

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

УДК

510

ББК 22.1

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

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

Доп.точки доступа:
Максимова, Л. Л.
Свободных экз. нет
Найти похожие

IPRBooks-97547

97547

Барский, А. Б.
Логические нейронные сети [Электронный ресурс] : учебное пособие / Барский А. Б. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 491 с. - ISBN 978-5-4497-0661-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004

ББК 32.81

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

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

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

IPRBooks-96556

96556

Горюшкин, А. П.
Дискретная математика с элементами математической логики [Электронный ресурс] : учебное пособие для СПО / Горюшкин А. П. - Саратов : Профобразование, 2020. - 503 с. - ISBN 978-5-4488-0859-3 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 22.1

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

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

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

IPRBooks-81280

81280

Трунтаева, Т. И.
Математическая логика [Электронный ресурс] : учебно-методическое пособие / Трунтаева Т. И. - Саратов : Вузовское образование, 2019. - 53 с. - ISBN 978-5-4487-0479-6 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510

ББК 22.1

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

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

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

IPRBooks-87824

87824

Гурьянова, К. Н.
Математический анализ [Электронный ресурс] : учебное пособие для СПО / Гурьянова К. Н. - Саратов, Екатеринбург : Профобразование, Уральский федеральный университет, 2019. - 330 с. - ISBN 978-5-4488-0396-3, 978-5-7996-2870-3 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

517

ББК 22.1

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

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

Доп.точки доступа:
Алексеева, У. А.; Бояршинов, В. В.
Свободных экз. нет
Найти похожие

IPRBooks-93340

93340

Катрахова, А. А.
Спецглавы математики и их приложения к задачам электромеханики и теории управления [Электронный ресурс] : курс лекций / Катрахова А. А. - Воронеж : Воронежский государственный технический университет, ЭБС АСВ, 2019. - 269 с. - ISBN 978-5-7731-0802-3 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

517

ББК 22.1

Кл.слова (ненормированные):
дискретная математика -- задача -- математическая логика -- математическая физика -- электромеханика
Аннотация: В издании содержится теоретический материал и задачи по дисциплине «Спецглавы математики». Предназначено для студентов, обучающихся по направлениям 27.03.04 «Управление в технических системах», 13.03.02 «Электроэнергетика и электротехника» (все профили).

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

Доп.точки доступа:
Купцов, В. С.; Васильев, Е. М.
Свободных экз. нет
Найти похожие

10.

IPRBooks-93340

УДК

517

Доп.точки доступа:
Купцов, В. С.; Васильев, Е. М.
Свободных экз. нет
Найти похожие

1-10 11-20 21-30 31-40 41-50 51-53

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

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

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

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