Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A
Главная ИРБИС64+ Упрощенный режим Описание
Авторизация
Логин
Пароль
 

Базы данных


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

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=математическая логика<.>)
Общее количество найденных документов : 53
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-50   51-53 
1.
IPRBooks-94650
94650

   
    Математика и информатика. Ч.1 [Электронный ресурс] : учебное пособие / Чекин А. Л. - Москва : Московский педагогический государственный университет, 2019. - 236 с. - ISBN 978-5-4263-0827-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 22.1

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

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


Доп.точки доступа:
Чекин, А. Л.; Босова, Л. Л.; Добротворский, А. С.; Иванова, Е. А.; Лаврова, Н. Н.; Локшин, А. А.; Тимошенко, В. В.; Чекина, А. Л. \ред.\
Свободных экз. нет
Найти похожие

2.
IPRBooks-85606
85606

   
    Краткий курс высшей математики [Электронный ресурс] : учебник / Балдин К. В. - Москва : Дашков и К, 2019. - 512 с. - ISBN 978-5-394-03335-3 : Б. ц.
Книга не входит в Премиум-версию ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 22.16

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

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


Доп.точки доступа:
Балдин, К. В.; Балдин, Ф. К.; Джеффаль, В. И.; Макриденко, Е. Л.; Рукосуев, А. В.; Балдина, К. В. \ред.\
Свободных экз. нет
Найти похожие

3.
IPRBooks-98701
98701

    Бекарева, Н. Д.
    Дискретная математика [Электронный ресурс] : учебное пособие / Бекарева Н. Д. - Новосибирск : Новосибирский государственный технический университет, 2019. - 80 с. - ISBN 978-5-7782-3952-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 22.1

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

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

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

4.
IPRBooks-93340
93340

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

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

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


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

5.
IPRBooks-87824
87824

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

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

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


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

6.
IPRBooks-98780
98780

    Комиссаров, В. В.
    Математика. Сборник задач [Электронный ресурс] : учебное пособие / Комиссаров В. В. - Новосибирск : Новосибирский государственный технический университет, 2019. - 88 с. - ISBN 978-5-7782-3926-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 22.1

Кл.слова (ненормированные):
аналитическая геометрия -- векторная алгебра -- комплексное число -- линейная алгебра -- математика -- математическая логика -- множество -- функция
Аннотация: Работа выполнена на кафедре высшей математики для студентов первого курса, обучающихся по специальностям: Регионоведение (41.03.01), Менеджмент (38.03.02), Психология (37.03.01), Социология (39.03.01), Конфликтология (37.03.02), Социальная работа (39.03.02).

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


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

7.
IPRBooks-92841
92841

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

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

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


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

8.
IPRBooks-92827
92827

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

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

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


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

9.
IPRBooks-89426
89426

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

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

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

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

10.
IPRBooks-15974
15974

    64 лекции по математике. Книга 2 (лекции 40-64) [Электронный ресурс] : учебник. - [Б. м.] : Нижегородский государственный архитектурно-строительный университет, ЭБС АСВ, 2012 - .64 лекции по математике. Книга 2 (лекции 40-64) / Важдаев В. П. - 2012. - 199 с. - ISBN 5-211-02065-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 22.1

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

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


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

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