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

    Sudoplatov, S. V.
    Classification of countable models of complete theories. Р.1 [Электронный ресурс] : monograph in two parts / Sudoplatov S. V. - Новосибирск : Новосибирский государственный технический университет, 2018. - 326 с. - ISBN 978-5-7782-3527-4 (p. 1), 978-5-7782-3526-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
510
ББК 22.1

Кл.слова (ненормированные):
алгебра -- математическая логика -- полная теория -- семантическая модель -- счетная модель
Аннотация: The book is the first part of the monograph «Classification of countable models of complete theories» consisting of two parts. In the monograph, a classification of countable models of complete theories with respect to two basic characteristics (Rudin-Keisler preorders and distribution functions for numbers of limit models) is presented and applied to the most important classes of countable theories such as the class of Ehrenfeucht theories (i. e., complete first-order theories with finitely many but more than one pairwise non-isomorphic countable models), the class of small theories (i. e., complete first-order theories with countably many types), and the class of countable first-order theories with continuum many types. For realizations of basic characteristics of countable complete theories, syntactic generic constructions, generalizing the Jonsson-Fraïssé construction and the Hrushovski construction, are presented. Using these constructions a solution of the Goncharov-Millar problem (on the existence of Ehrenfeucht theories with countable models which are not almost homogeneous) is described. Modifying the Hrushovski-Herwig generic construction, a solution of the Lachlan problem on the existence of stable Ehrenfeucht theories is shown. In the first part, a characterization of Ehrenfeuchtness, properties of Ehrenfeucht theories, generic constructions, and algebras for distributions of binary semi-isolating formulas of a complete theory are considered. The book is intended for specialists interested in Mathematical Logic.

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

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

    Sudoplatov, S. V.
    Classification of countable models of complete theories. Р.2 [Электронный ресурс] : monograph in two parts / Sudoplatov S. V. - Новосибирск : Новосибирский государственный технический университет, 2018. - 394 с. - ISBN 978-5-7782-3528-1 (p. 2), 978-5-7782-3526-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
510
ББК 22.1

Кл.слова (ненормированные):
гиперграф -- задача -- математическая логика -- полная теория -- предельная модель -- счетная модель
Аннотация: The book is the second part of the monograph «Classification of countable models of complete theories» consisting of two parts. In the book, generic Ehrenfeucht theories and realizations of Rudin–Keisler preorders are considered as well as a solution of the Goncharov–Millar problem on the existence of Ehrenfeucht theories with countable models which are not almost homogeneous, stable Ehrenfeucht theories solving the Lachlan problem, hypergraphs of prime models, distributions of countable models of small theories, and distributions of countable models of theories with continuum many types. The book is intended for specialists interested in Mathematical Logic.

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

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

    Алаев, П. Е.
    Математическая логика. В 2 частях. Ч.1 [Электронный ресурс] : учебное пособие / Алаев П. Е. - Новосибирск : Новосибирский государственный университет, 2018. - 99 с. - ISBN 978-5-4437-0731-0, 978-5-4437-0730-3 (ч.1) : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
510
ББК 22.1

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

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


Доп.точки доступа:
Максимова, Л. Л.
Свободных экз. нет
Найти похожие
4.
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 «Информационная безопасность».

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


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

    Математика и информатика. Часть 1 [Электронный ресурс] : курс лекций. - [Б. м.] : Волгоградский институт бизнеса, 2015 - .Математика и информатика. Часть 1 / Алпатов А. В. - 2015. - 112 с. - ISBN 978-5-94836-430-8 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
517
ББК 22.1

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

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

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

    Балюкевич, Э. Л.
    Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Балюкевич Э. Л. - Москва : Евразийский открытый институт, 2009. - 188 с. - ISBN 978-5-374-00220-1 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
519.1
ББК 22.176

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

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


Доп.точки доступа:
Ковалева, Л. Ф.
Свободных экз. нет
Найти похожие
7.
IPRBooks-89426
89426

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

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

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

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

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

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

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

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

    Батура, Т. В.
    Математическая лингвистика и автоматическая обработка текстов на естественном языке [Электронный ресурс] : учебное пособие / Батура Т. В. - Новосибирск : Новосибирский государственный университет, 2016. - 166 с. - ISBN 978-5-4437-0548-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
004
ББК 32.81

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

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

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

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

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

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

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