Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: 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 
1.

Вид документа : Однотомное издание
Шифр издания : 92827
Автор(ы) : Шмырин А. М., Седых И. А.
Заглавие : Дискретная математика и математическая логика : Учебное пособие для СПО
Выходные данные : Липецк, Саратов: Липецкий государственный технический университет, Профобразование, 2020
Колич.характеристики :160 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-88247-960-1, 978-5-4488-0751-0: Б.ц.
УДК : 519
ББК : 22.176
Ключевые слова (''Своб.индексиров.''): граф--дискретная математика--конечный автомат--математическая логика--математическое моделирование--множество
Аннотация: В настоящем учебном пособии рассматриваются некоторые разделы дискретной математики и математической логики. В каждом разделе приведено большое количество иллюстраций и подробно разобранных примеров. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для изучения дисциплин «Дискретная математика», «Элементы математической логики», «Дискретная математика с элементами математической логики», «Математическая логика и теория алгоритмов» по укрупненным группам специальностей 09.00.00 «Информатика и вычислительная техника» и 10.00.00 «Информационная безопасность».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 89426
Автор(ы) : Барский А. Б.
Заглавие : Введение в нейронные сети : Учебное пособие
Выходные данные : Москва, Саратов: Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020
Колич.характеристики :357 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0309-5: Б.ц.
УДК : 004
ББК : 32.81
Ключевые слова (''Своб.индексиров.''): логическая сеть--логическое программирование--математическая логика--нейронная сеть--нейросетевая модель--нейросетевая технология--принятие решения--распознавание объекта--трехмерное моделирование--язык пролог
Аннотация: Главной целью данного учебного пособия является демонстрация и внедрение универсального подхода, способного вывести проблему нейронных сетей с уровня частного применения на уровень массового использования практически во всех областях знаний, где требуется логически обосновать принимаемое решение. Утверждается, что самый простой подход к построению нейронных сетей на основе реализуемой нейроном «нечёткой» логики (логических нейронных сетей), продиктован практикой ясного мышления человека. Этот подход приводит к построению всего лишь однослойных нейронных сетей с простейшей функцией активации нейрона, при необходимости дополненных обратными связями. На основе положений математической логики событий исследуются нейронные сети, имитирующие механизмы работы мозга. Эти механизмы реализуют операции вывода по «нечеткой» логике в составе систем искусственного интеллекта — распознавания, управления и принятия решений — во всех областях человеческой деятельности. Рассмотрение многих примеров демонстрирует простейший подход к построению и развитию обученных нейронных сетей «под задачу», а также трассировку — обучение при заданной структуре сети.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 92841
Автор(ы) : Ткаченко С. В., Сысоев А. С.
Заглавие : Элементы математической логики : Учебное пособие для СПО
Выходные данные : Липецк, Саратов: Липецкий государственный технический университет, Профобразование, 2020
Колич.характеристики :99 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-88247-964-9, 978-5-4488-0752-7: Б.ц.
УДК : 517
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): булева алгебра--булева функция--логическая операция--математическая логика--функциональная полнота
Аннотация: В учебном пособии рассмотрены основные разделы математической логики: булевы алгебры и булевы функции, теорема о функциональной полноте. Издание содержит большое количество примеров, тестов и индивидуальных домашних заданий. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для изучения дисциплины «Элементы математической логики» по укрупненным группам специальностей 09.00.00 «Информатика и вычислительная техника» и 10.00.00 «Информационная безопасность».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 96015
Автор(ы) : Алаев П. Е., Максимова Л. Л.
Заглавие : Математическая логика : Учебное пособие для СПО
Выходные данные : Саратов, Москва: Профобразование, Ай Пи Ар Медиа, 2020
Колич.характеристики :98 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4488-0789-3, 978-5-4497-0450-4: Б.ц.
УДК : 510
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): алгебраическая система--математическая логика--множество--предикат--формула
Аннотация: Учебное пособие включает разделы, посвященные формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами. Учебное пособие предназначено для изучения дисциплин «Математическая логика и теория алгоритмов», «Дискретная математика с элементами математической логики», «Элементы математической логики» по укрупненным группам специальностей среднего профессионального образования 09.00.00 «Информатика и вычислительная техника», 10.00.00 «Информационная безопасность».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 97547
Автор(ы) : Барский А. Б.
Заглавие : Логические нейронные сети : Учебное пособие
Выходные данные : Москва: Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020
Колич.характеристики :491 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0661-4: Б.ц.
УДК : 004
ББК : 32.81
Ключевые слова (''Своб.индексиров.''): искусственный интеллект--логическая сеть--логическое программирование--математическая логика--нейронная сеть--нейросетевая технология--самообучающаяся система--система управления--структура нейросети
Аннотация: В учебном пособии на основе положений математической логики событий исследуется возможность построения логических нейронных сетей, выполняющих операции вывода в составе систем искусственного интеллекта, имитирующих механизмы работы мозга. Предлагаются методы построения обученных нейронных сетей, созданных «под задачу», простые методы обучения-трассировки, методы преобразования описаний систем принятия решений для повышения достоверности выводов. Рассматривается возможность применения логических нейронных сетей в самообучающихся системах управления, а также в различных системах экономики, транспорта, безопасности, защиты информации, при решении задач интеллектуального отображения, в бизнесе туризма и развлечений, при политическом и социальном прогнозировании и в других задачах науки и искусства.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 96556
Автор(ы) : Горюшкин А. П.
Заглавие : Дискретная математика с элементами математической логики : Учебное пособие для СПО
Выходные данные : Саратов: Профобразование, 2020
Колич.характеристики :503 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4488-0859-3: Б.ц.
УДК : 51
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): maple--дискретная математика--математическая логика--математические вычисления--теория графов
Аннотация: Учебное пособие содержит теоретический материал по всем важнейшим разделам дискретной математики и математической логики. Предлагается разбор задач с указанием методов их решений, а также система упражнений для самостоятельной работы студентов. В конце издания показаны примеры использования вычислительной техники при решении задач дискретной математики, а именно: применение пакета символьных математических вычислений Maple для решения задач математической логики и теории графов. Издание соответствует требованиям Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для студентов, обучающихся по специальности 09.02.07 «Информационные системы и программирование», изучающих дисциплину «Дискретная математика с элементами математической логики». Может быть использовано при реализации образовательных программ СПО по специальности 09.02.06 «Сетевое и системное администрирование», а также в дополнительном профессиональном образовании.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 81280
Автор(ы) : Трунтаева Т. И.
Заглавие : Математическая логика : Учебно-методическое пособие
Выходные данные : Саратов: Вузовское образование, 2019
Колич.характеристики :53 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4487-0479-6: Б.ц.
УДК : 510
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): логическая операция--логическое следование--математика--математическая логика--случай
Аннотация: В учебно-методическом пособии рассмотрены основные понятия математической логики и решения типовых задач с помощью аппарата математической логики, согласно цели и содержанию учебной дисциплины «Математика» для студентов гуманитарных направлений подготовки. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего профессионального образования. Учебно-методическое пособие предназначено для изучения учебной дисциплины «Математика», включенной в учебные планы по гуманитарным направлениям подготовки бакалавров, а также «Математическая логика», входящей в учебный план подготовки бакалавров по направлению 44.03.05 «Педагогическое образование», профиль «Физика и математика».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 87824
Автор(ы) : Гурьянова К. Н., Алексеева У. А., Бояршинов В. В.
Заглавие : Математический анализ : Учебное пособие для СПО
Выходные данные : Саратов, Екатеринбург: Профобразование, Уральский федеральный университет, 2019
Колич.характеристики :330 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4488-0396-3, 978-5-7996-2870-3: Б.ц.
УДК : 517
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): интеграл--математическая индукция--математическая логика--математический анализ--множество--функция
Аннотация: В учебном пособии рассматриваются основные разделы теории пределов, дифференциальное и интегральное исчисление функций одной или нескольких переменных и их применение. Издание содержит большое число иллюстративных упражнений и задач, а также решенных задач — эталонов для самостоятельной работы студентов. Учебное пособие предназначено для изучения дисциплин «Математика», «Элементы высшей математики», «Математика: алгебра и начала математического анализа, геометрия» по всем профессиям и специальностям среднего профессионального образования.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 93340
Автор(ы) : Катрахова А. А., Купцов В. С., Васильев Е. М.
Заглавие : Спецглавы математики и их приложения к задачам электромеханики и теории управления : Курс лекций
Выходные данные : Воронеж: Воронежский государственный технический университет, ЭБС АСВ, 2019
Колич.характеристики :269 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7731-0802-3: Б.ц.
УДК : 517
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): дискретная математика--задача--математическая логика--математическая физика--электромеханика
Аннотация: В издании содержится теоретический материал и задачи по дисциплине «Спецглавы математики». Предназначено для студентов, обучающихся по направлениям 27.03.04 «Управление в технических системах», 13.03.02 «Электроэнергетика и электротехника» (все профили).
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 93340
Автор(ы) : Катрахова А. А., Купцов В. С., Васильев Е. М.
Заглавие : Спецглавы математики и их приложения к задачам электромеханики и теории управления : Курс лекций
Выходные данные : Воронеж: Воронежский государственный технический университет, ЭБС АСВ, 2019
Колич.характеристики :269 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7731-0802-3: Б.ц.
УДК : 517
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): дискретная математика--задача--математическая логика--математическая физика--электромеханика
Аннотация: В издании содержится теоретический материал и задачи по дисциплине «Спецглавы математики». Предназначено для студентов, обучающихся по направлениям 27.03.04 «Управление в технических системах», 13.03.02 «Электроэнергетика и электротехника» (все профили).
(для доступа требуется авторизация)

Найти похожие
 1-10    11-20   21-30   31-40   41-50   51-53 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 01.07.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)