База данных: IPR SMART кітаптар
Беті 1, Нәтижелерін: 47
Отмеченные записи: 0
1.
Подробнее
Математика и информатика. Часть 1 : курс лекций. - [Б. м.] : Волгоградский институт бизнеса, 2015 - .Математика и информатика. Часть 1 / Алпатов А. В. - 2015. - 112 с. - ISBN 978-5-94836-430-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
математика -- информатика -- теория множеств -- математическая логика -- предел функции -- дифференциальное исчисление
Аннотация: Курс лекций разработан в соответствии с рабочей программой по дисциплине «Математика и информатика», раздел 1 «Математика», и предназначен для обучающихся по направлению подготовки 40.03.01 Юриспруденция. Данный курс лекций включает в себя следующие разделы математики: теория множеств, элементы математической логики, предел функции, дифференциальное и интегральное исчисление, теория вероятностей и математическая статистика.
Математика и информатика. Часть 1 : курс лекций. - [Б. м.] : Волгоградский институт бизнеса, 2015 - .Математика и информатика. Часть 1 / Алпатов А. В. - 2015. - 112 с. - ISBN 978-5-94836-430-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
математика -- информатика -- теория множеств -- математическая логика -- предел функции -- дифференциальное исчисление
Аннотация: Курс лекций разработан в соответствии с рабочей программой по дисциплине «Математика и информатика», раздел 1 «Математика», и предназначен для обучающихся по направлению подготовки 40.03.01 Юриспруденция. Данный курс лекций включает в себя следующие разделы математики: теория множеств, элементы математической логики, предел функции, дифференциальное и интегральное исчисление, теория вероятностей и математическая статистика.
2.
Подробнее
64 лекции по математике. Книга 2 (лекции 40-64) : учебник. - [Б. м.] : Нижегородский государственный архитектурно-строительный университет, ЭБС АСВ, 2012 - .64 лекции по математике. Книга 2 (лекции 40-64) / Важдаев В. П. - 2012. - 199 с. - ISBN 5-211-02065-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
математика -- учебное пособие -- теория дифференциальных уравнений -- криволинейный интеграл -- теория рядов -- теория множеств -- теория графов -- математическая логика
Аннотация: Лекции по математике в двух книгах написаны преподавателями кафедры математики Нижегородского государственного архитектурно-строительного университета для студентов различных «нематематических» специальностей: будущих инженеров-строителей, экологов, экономистов и других. Вторая книга включает в себя основные понятия теории дифференциальных уравнений, кратные и криволинейные интегралы, теорию рядов, а также элементы теории множеств, теории графов и математической логики.
Доп.точки доступа:
Важдаев, В. П.
Коган, М. М.
Лиогонький, М. И.
Протасова, Л. А.
64 лекции по математике. Книга 2 (лекции 40-64) : учебник. - [Б. м.] : Нижегородский государственный архитектурно-строительный университет, ЭБС АСВ, 2012 - .64 лекции по математике. Книга 2 (лекции 40-64) / Важдаев В. П. - 2012. - 199 с. - ISBN 5-211-02065-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
математика -- учебное пособие -- теория дифференциальных уравнений -- криволинейный интеграл -- теория рядов -- теория множеств -- теория графов -- математическая логика
Аннотация: Лекции по математике в двух книгах написаны преподавателями кафедры математики Нижегородского государственного архитектурно-строительного университета для студентов различных «нематематических» специальностей: будущих инженеров-строителей, экологов, экономистов и других. Вторая книга включает в себя основные понятия теории дифференциальных уравнений, кратные и криволинейные интегралы, теорию рядов, а также элементы теории множеств, теории графов и математической логики.
Доп.точки доступа:
Важдаев, В. П.
Коган, М. М.
Лиогонький, М. И.
Протасова, Л. А.
3.
Подробнее
Кисленко, Н. П.
Информатика : учебное пособие / Кисленко Н. П. - Новосибирск : Новосибирский государственный архитектурно-строительный университет (Сибстрин), ЭБС АСВ, 2022. - 105 с. - ISBN 978-5-7795-0942-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.9
Кл.слова (ненормированные):
информатика -- математическая логика -- условные операторы -- файловые менеджеры
Аннотация: Данное учебное пособие содержит теоретический материал и типовые задачи по основным темам учебной дисциплины «Информатика». Пособие адресовано студентам, обучающимся по направлениям подготовки 09.03.02 «Информационные системы и технологии», 09.03.03 «Прикладная информатика» всех форм обучения. Может быть рекомендовано также студентам других направлений и специальностей, изучающим дисциплины «Информатика», «Информационные технологии».
Доп.точки доступа:
Мухина, И. Н.
Кисленко, Н. П.
Информатика : учебное пособие / Кисленко Н. П. - Новосибирск : Новосибирский государственный архитектурно-строительный университет (Сибстрин), ЭБС АСВ, 2022. - 105 с. - ISBN 978-5-7795-0942-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
информатика -- математическая логика -- условные операторы -- файловые менеджеры
Аннотация: Данное учебное пособие содержит теоретический материал и типовые задачи по основным темам учебной дисциплины «Информатика». Пособие адресовано студентам, обучающимся по направлениям подготовки 09.03.02 «Информационные системы и технологии», 09.03.03 «Прикладная информатика» всех форм обучения. Может быть рекомендовано также студентам других направлений и специальностей, изучающим дисциплины «Информатика», «Информационные технологии».
Доп.точки доступа:
Мухина, И. Н.
4.
Подробнее
Горюшкин, А. П.
Математическая логика и теория алгоритмов : учебник / Горюшкин А. П. - Саратов : Вузовское образование, 2022. - 499 с. - ISBN 978-5-4487-0808-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
аксиоматическое построение -- алгебра высказываний -- алгебра предикатов -- алгоритм -- логика -- математическая логика -- теория алгоритмов -- теория множеств
Аннотация: В основу учебника положен курс лекций по дисциплине, читавшийся автором в течение более десяти лет для студентов различных специальностей Камчатского государственного технического университета и Камчатского государственного университета им. В. Беринга. В нем рассматриваются элементы теории множеств, алгебра высказываний и алгебра предикатов, аксиоматическое построение логики, изучены основные уточнения понятия алгоритма. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для изучения дисциплины «Математическая логика и теория алгоритмов» студентами, обучающимися по направлению подготовки бакалавриата 01.03.02 «Прикладная математика и информатика», укрупненной группе направлений подготовки 09.00.00 «Информатика и вычислительная техника», а также может использоваться студентами направления подготовки 44.03.05 «Педагогическое образование (с двумя профилями подготовки)» (профили «Начальное образование» и «Математика»). Учебник будет полезен преподавателям, ведущим курс математической логики и теории алгоритмов.
Горюшкин, А. П.
Математическая логика и теория алгоритмов : учебник / Горюшкин А. П. - Саратов : Вузовское образование, 2022. - 499 с. - ISBN 978-5-4487-0808-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
аксиоматическое построение -- алгебра высказываний -- алгебра предикатов -- алгоритм -- логика -- математическая логика -- теория алгоритмов -- теория множеств
Аннотация: В основу учебника положен курс лекций по дисциплине, читавшийся автором в течение более десяти лет для студентов различных специальностей Камчатского государственного технического университета и Камчатского государственного университета им. В. Беринга. В нем рассматриваются элементы теории множеств, алгебра высказываний и алгебра предикатов, аксиоматическое построение логики, изучены основные уточнения понятия алгоритма. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для изучения дисциплины «Математическая логика и теория алгоритмов» студентами, обучающимися по направлению подготовки бакалавриата 01.03.02 «Прикладная математика и информатика», укрупненной группе направлений подготовки 09.00.00 «Информатика и вычислительная техника», а также может использоваться студентами направления подготовки 44.03.05 «Педагогическое образование (с двумя профилями подготовки)» (профили «Начальное образование» и «Математика»). Учебник будет полезен преподавателям, ведущим курс математической логики и теории алгоритмов.
5.
Подробнее
Афанасьев, С. Г.
Математическая логика : учебное пособие / Афанасьев С. Г. - Москва : Ай Пи Ар Медиа, 2021. - 82 с. - ISBN 978-5-4497-0963-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
алгебра высказываний -- алгебра предикатов -- исчисление высказываний -- математическая логика -- рассуждение
Аннотация: Учебное пособие написано с учетом современных требований к подготовке специалистов высших учебных заведений, на базе лекций, прочитанных автором для студентов Северо-Кавказского социального института. В нем приводятся необходимые теоретические сведения по основным разделам математической логики: алгебре высказываний, исчислении высказываний, алгебре предикатов и рассуждениях, а также примеры, поясняющие их. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначено для студентов вузов, образовательная программа которых содержит дисциплины, включающие в себя математическую логику, элементы математической логики, элементы высшей математики. Издание может быть использовано как в аудиторной учебной работе, так и для самостоятельной подготовки студентов.
Афанасьев, С. Г.
Математическая логика : учебное пособие / Афанасьев С. Г. - Москва : Ай Пи Ар Медиа, 2021. - 82 с. - ISBN 978-5-4497-0963-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра высказываний -- алгебра предикатов -- исчисление высказываний -- математическая логика -- рассуждение
Аннотация: Учебное пособие написано с учетом современных требований к подготовке специалистов высших учебных заведений, на базе лекций, прочитанных автором для студентов Северо-Кавказского социального института. В нем приводятся необходимые теоретические сведения по основным разделам математической логики: алгебре высказываний, исчислении высказываний, алгебре предикатов и рассуждениях, а также примеры, поясняющие их. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначено для студентов вузов, образовательная программа которых содержит дисциплины, включающие в себя математическую логику, элементы математической логики, элементы высшей математики. Издание может быть использовано как в аудиторной учебной работе, так и для самостоятельной подготовки студентов.
6.
Подробнее
Верещагин, Н. К.
Языки и исчисления : учебное пособие / Верещагин Н. К. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2021. - 278 с. - ISBN 978-5-4497-0924-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
выразимость -- исчисление -- логика высказывания -- математическая логика -- разрешимая теория -- теория моделей
Аннотация: В учебном пособии рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Издание включает в себя около 200 задач различной трудности. Предназначено для студентов, обучающихся по направлениям подготовки и специальностям, учебными планами которых предусмотрено изучение основ математической логики.
Доп.точки доступа:
Шень, А. Х.
Верещагин, Н. К.
Языки и исчисления : учебное пособие / Верещагин Н. К. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2021. - 278 с. - ISBN 978-5-4497-0924-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
выразимость -- исчисление -- логика высказывания -- математическая логика -- разрешимая теория -- теория моделей
Аннотация: В учебном пособии рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Издание включает в себя около 200 задач различной трудности. Предназначено для студентов, обучающихся по направлениям подготовки и специальностям, учебными планами которых предусмотрено изучение основ математической логики.
Доп.точки доступа:
Шень, А. Х.
7.
Подробнее
Барский, А. Б.
Введение в нейронные сети : учебное пособие / Барский А. Б. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 357 с. - ISBN 978-5-4497-0309-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.81
Кл.слова (ненормированные):
логическая сеть -- логическое программирование -- математическая логика -- нейронная сеть -- нейросетевая модель -- нейросетевая технология -- принятие решения -- распознавание объекта -- трехмерное моделирование -- язык пролог
Аннотация: Главной целью данного учебного пособия является демонстрация и внедрение универсального подхода, способного вывести проблему нейронных сетей с уровня частного применения на уровень массового использования практически во всех областях знаний, где требуется логически обосновать принимаемое решение. Утверждается, что самый простой подход к построению нейронных сетей на основе реализуемой нейроном «нечёткой» логики (логических нейронных сетей), продиктован практикой ясного мышления человека. Этот подход приводит к построению всего лишь однослойных нейронных сетей с простейшей функцией активации нейрона, при необходимости дополненных обратными связями. На основе положений математической логики событий исследуются нейронные сети, имитирующие механизмы работы мозга. Эти механизмы реализуют операции вывода по «нечеткой» логике в составе систем искусственного интеллекта — распознавания, управления и принятия решений — во всех областях человеческой деятельности. Рассмотрение многих примеров демонстрирует простейший подход к построению и развитию обученных нейронных сетей «под задачу», а также трассировку — обучение при заданной структуре сети.
Барский, А. Б.
Введение в нейронные сети : учебное пособие / Барский А. Б. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 357 с. - ISBN 978-5-4497-0309-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
логическая сеть -- логическое программирование -- математическая логика -- нейронная сеть -- нейросетевая модель -- нейросетевая технология -- принятие решения -- распознавание объекта -- трехмерное моделирование -- язык пролог
Аннотация: Главной целью данного учебного пособия является демонстрация и внедрение универсального подхода, способного вывести проблему нейронных сетей с уровня частного применения на уровень массового использования практически во всех областях знаний, где требуется логически обосновать принимаемое решение. Утверждается, что самый простой подход к построению нейронных сетей на основе реализуемой нейроном «нечёткой» логики (логических нейронных сетей), продиктован практикой ясного мышления человека. Этот подход приводит к построению всего лишь однослойных нейронных сетей с простейшей функцией активации нейрона, при необходимости дополненных обратными связями. На основе положений математической логики событий исследуются нейронные сети, имитирующие механизмы работы мозга. Эти механизмы реализуют операции вывода по «нечеткой» логике в составе систем искусственного интеллекта — распознавания, управления и принятия решений — во всех областях человеческой деятельности. Рассмотрение многих примеров демонстрирует простейший подход к построению и развитию обученных нейронных сетей «под задачу», а также трассировку — обучение при заданной структуре сети.
8.
Подробнее
Хоменко, Т. В.
Дискретная математика. Отдельные методы теории множеств и математической логики. Лабораторный практикум : учебное пособие / Хоменко Т. В. - Астрахань : Астраханский государственный архитектурно-строительный университет, ЭБС АСВ, 2020. - 111 с. - ISBN 978-5-93026-104-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.176
Кл.слова (ненормированные):
алгоритмы -- дискретная математика -- компьютерная реализация -- математическая логика -- теория множеств
Аннотация: Учебное пособие включает в себя как понятия и определения, необходимые для понимания сущности предложенных задач в цикле лабораторных работ и выполнения индивидуальных заданий по ряду разделов теории множеств и математической логики, так и основные алгоритмы для компьютерной реализации изучаемых понятий и свойств. Помимо теоретической справки, в каждой лабораторной работе приводятся методические указания по ее выполнению и контрольные вопросы, необходимые для закрепления учебного материала по каждой теме и осуществления контроля знаний. Кроме того, в учебном пособии содержатся варианты индивидуальных заданий по теме «Булевы функции», а также приведен разбор типовых примеров из этих индивидуальных заданий. Учебное пособие предназначено для студентов высших учебных заведений, магистрантов и аспирантов.
Хоменко, Т. В.
Дискретная математика. Отдельные методы теории множеств и математической логики. Лабораторный практикум : учебное пособие / Хоменко Т. В. - Астрахань : Астраханский государственный архитектурно-строительный университет, ЭБС АСВ, 2020. - 111 с. - ISBN 978-5-93026-104-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгоритмы -- дискретная математика -- компьютерная реализация -- математическая логика -- теория множеств
Аннотация: Учебное пособие включает в себя как понятия и определения, необходимые для понимания сущности предложенных задач в цикле лабораторных работ и выполнения индивидуальных заданий по ряду разделов теории множеств и математической логики, так и основные алгоритмы для компьютерной реализации изучаемых понятий и свойств. Помимо теоретической справки, в каждой лабораторной работе приводятся методические указания по ее выполнению и контрольные вопросы, необходимые для закрепления учебного материала по каждой теме и осуществления контроля знаний. Кроме того, в учебном пособии содержатся варианты индивидуальных заданий по теме «Булевы функции», а также приведен разбор типовых примеров из этих индивидуальных заданий. Учебное пособие предназначено для студентов высших учебных заведений, магистрантов и аспирантов.
9.
Подробнее
Барский, А. Б.
Логические нейронные сети : учебное пособие / Барский А. Б. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 491 с. - ISBN 978-5-4497-0661-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.81
Кл.слова (ненормированные):
искусственный интеллект -- логическая сеть -- логическое программирование -- математическая логика -- нейронная сеть -- нейросетевая технология -- самообучающаяся система -- система управления -- структура нейросети
Аннотация: В учебном пособии на основе положений математической логики событий исследуется возможность построения логических нейронных сетей, выполняющих операции вывода в составе систем искусственного интеллекта, имитирующих механизмы работы мозга. Предлагаются методы построения обученных нейронных сетей, созданных «под задачу», простые методы обучения-трассировки, методы преобразования описаний систем принятия решений для повышения достоверности выводов. Рассматривается возможность применения логических нейронных сетей в самообучающихся системах управления, а также в различных системах экономики, транспорта, безопасности, защиты информации, при решении задач интеллектуального отображения, в бизнесе туризма и развлечений, при политическом и социальном прогнозировании и в других задачах науки и искусства.
Барский, А. Б.
Логические нейронные сети : учебное пособие / Барский А. Б. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 491 с. - ISBN 978-5-4497-0661-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
искусственный интеллект -- логическая сеть -- логическое программирование -- математическая логика -- нейронная сеть -- нейросетевая технология -- самообучающаяся система -- система управления -- структура нейросети
Аннотация: В учебном пособии на основе положений математической логики событий исследуется возможность построения логических нейронных сетей, выполняющих операции вывода в составе систем искусственного интеллекта, имитирующих механизмы работы мозга. Предлагаются методы построения обученных нейронных сетей, созданных «под задачу», простые методы обучения-трассировки, методы преобразования описаний систем принятия решений для повышения достоверности выводов. Рассматривается возможность применения логических нейронных сетей в самообучающихся системах управления, а также в различных системах экономики, транспорта, безопасности, защиты информации, при решении задач интеллектуального отображения, в бизнесе туризма и развлечений, при политическом и социальном прогнозировании и в других задачах науки и искусства.
10.
Подробнее
Гамова, А. Н.
Математическая логика и теория алгоритмов : учебное пособие для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий / Гамова А. Н. - Саратов : Издательство Саратовского университета, 2020. - 91 с. - ISBN 978-5-292-04649-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12я73
Кл.слова (ненормированные):
исчисление -- математическая логика -- теория алгоритма
Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий, а также магистров и аспирантов.
Гамова, А. Н.
Математическая логика и теория алгоритмов : учебное пособие для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий / Гамова А. Н. - Саратов : Издательство Саратовского университета, 2020. - 91 с. - ISBN 978-5-292-04649-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
исчисление -- математическая логика -- теория алгоритма
Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий, а также магистров и аспирантов.
Беті 1, Нәтижелерін: 47