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

Вид документа : Однотомное издание
Шифр издания : 94650
Автор(ы) : Чекин А. Л., Босова Л. Л., Добротворский А. С., Иванова Е. А., Лаврова Н. Н., Локшин А. А., Тимошенко В. В.
Заглавие : Математика и информатика. Ч.1 : Учебное пособие
Выходные данные : Москва: Московский педагогический государственный университет, 2019
Колич.характеристики :236 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4263-0827-5: Б.ц.
УДК : 378
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): алгоритмика--дискретная математика--информатика--комбинаторика--математическая логика--множество--случайная величина
Аннотация: Учебное пособие предназначено для студентов факультетов начального образования педагогических вузов, обучающихся по образовательной программе бакалавриата по направлению 44.03.01 Педагогическое образование (профиль «Начальное образование») и направлению 44.03.05 Педагогическое образование (с двумя профилями подготовки) при условии, что первым профилем является профиль «Начальное образование». В первую часть пособия включены разделы программы, которые относятся к дискретной математике. Каждая глава кроме адаптированного теоретического материала содержит еще и достаточно большой перечень задач, которые можно использовать на практических занятиях.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 85606
Автор(ы) : Балдин К. В., Балдин Ф. К., Джеффаль В. И., Макриденко Е. Л., Рукосуев А. В.
Заглавие : Краткий курс высшей математики : Учебник
Выходные данные : Москва: Дашков и К, 2019
Колич.характеристики :512 с
Примечания : Книга не входит в Премиум-версию ЭБС IPRbooks.
ISBN, Цена 978-5-394-03335-3: Б.ц.
УДК : 517
ББК : 22.16
Ключевые слова (''Своб.индексиров.''): векторная алгебра--высшая математика--дискретная математика--дифференциальное исчисление--интегральное исчисление--комбинаторика--математическая логика--предел последовательности--теория графов--теория множеств
Аннотация: Настоящий учебник содержит систематизированное изложение основ математики и написан на базе лекционных курсов, которые авторы преподавали в ряде вузов столицы. Для студентов бакалавриата экономических вузов.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 98701
Автор(ы) : Бекарева Н. Д.
Заглавие : Дискретная математика : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2019
Колич.характеристики :80 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-3952-4: Б.ц.
УДК : 517
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): дискретная математика--доказательство--логическая функция--математическая логика--множество
Аннотация: Работа включает разделы: операции теории множеств, математическую логику в составе булевой алгебры, исчисления высказываний и исчисления предикатов. При изложении материала использован конструктивный подход – наиболее современная и эффективная форма подачи материала. Каждый раздел сопровождается задачами, приводятся решения типовых задач. Работа окажется полезной при подготовке бакалавров по всем направлениям факультета прикладной математики и информатики.
(для доступа требуется авторизация)

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 98780
Автор(ы) : Комиссаров В. В., Комиссарова Н. В.
Заглавие : Математика. Сборник задач : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2019
Колич.характеристики :88 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-3926-5: Б.ц.
УДК : 510
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): аналитическая геометрия--векторная алгебра--комплексное число--линейная алгебра--математика--математическая логика--множество--функция
Аннотация: Работа выполнена на кафедре высшей математики для студентов первого курса, обучающихся по специальностям: Регионоведение (41.03.01), Менеджмент (38.03.02), Психология (37.03.01), Социология (39.03.01), Конфликтология (37.03.02), Социальная работа (39.03.02).
(для доступа требуется авторизация)

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

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

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 15974
Автор(ы) : Важдаев В. П., Важдаев В. П., Коган М. М., Лиогонький М. И., Протасова Л. А.
Заглавие : 64 лекции по математике. Книга 2 (лекции 40-64): Учебник. 64 лекции по математике. Книга 2 (лекции 40-64)
Выходные данные : : Нижегородский государственный архитектурно-строительный университет, ЭБС АСВ Б.м., 2012
Колич.характеристики :199 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 5-211-02065-0: Б.ц.
УДК : 51
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): математика--учебное пособие--теория дифференциальных уравнений--криволинейный интеграл--теория рядов--теория множеств--теория графов--математическая логика
Аннотация: Лекции по математике в двух книгах написаны преподавателями кафедры математики Нижегородского государственного архитектурно-строительного университета для студентов различных «нематематических» специальностей: будущих инженеров-строителей, экологов, экономистов и других. Вторая книга включает в себя основные понятия теории дифференциальных уравнений, кратные и криволинейные интегралы, теорию рядов, а также элементы теории множеств, теории графов и математической логики.
(для доступа требуется авторизация)

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