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

Вид документа : Однотомное издание
Шифр издания : 91255
Автор(ы) : Sudoplatov S. V.
Заглавие : Classification of countable models of complete theories. Р.1 : Monograph in two parts
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2018
Колич.характеристики :326 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-3527-4 (p. 1), 978-5-7782-3526-7: Б.ц.
УДК : 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.

Вид документа : Однотомное издание
Шифр издания : 91256
Автор(ы) : Sudoplatov S. V.
Заглавие : Classification of countable models of complete theories. Р.2 : Monograph in two parts
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2018
Колич.характеристики :394 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-3528-1 (p. 2), 978-5-7782-3526-7: Б.ц.
УДК : 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.

Вид документа : Однотомное издание
Шифр издания : 93463
Автор(ы) : Алаев П. Е., Максимова Л. Л.
Заглавие : Математическая логика. В 2 частях. Ч.1 : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный университет, 2018
Колич.характеристики :99 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4437-0731-0, 978-5-4437-0730-3 (ч.1): Б.ц.
УДК : 510
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): алгебраическая система--математическая логика--множество--предикат--формула
Аннотация: Пособие предназначено для студентов математических факультетов, изучающих курс математической логики. Первая часть пособия посвящена формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами.
(для доступа требуется авторизация)

Найти похожие
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.

Вид документа : Однотомное издание
Шифр издания : 56016
Автор(ы) : Алпатов А. В.
Заглавие : Математика и информатика. Часть 1: Курс лекций. Математика и информатика. Часть 1
Выходные данные : : Волгоградский институт бизнеса Б.м., 2015
Колич.характеристики :112 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-94836-430-8: Б.ц.
УДК : 517
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): математика--информатика--теория множеств--математическая логика--предел функции--дифференциальное исчисление
Аннотация: Курс лекций разработан в соответствии с рабочей программой по дисциплине «Математика и информатика», раздел 1 «Математика», и предназначен для обучающихся по направлению подготовки 40.03.01 Юриспруденция. Данный курс лекций включает в себя следующие разделы математики: теория множеств, элементы математической логики, предел функции, дифференциальное и интегральное исчисление, теория вероятностей и математическая статистика.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 10772
Автор(ы) : Балюкевич Э. Л., Ковалева Л. Ф.
Заглавие : Математическая логика и теория алгоритмов : Учебное пособие
Выходные данные : Москва: Евразийский открытый институт, 2009
Колич.характеристики :188 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-374-00220-1: Б.ц.
УДК : 519.1
ББК : 22.176
Ключевые слова (''Своб.индексиров.''): математическая логика--математический аппарат--теория алгоритмов--учебное пособие
Аннотация: Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов.
(для доступа требуется авторизация)

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 93489
Автор(ы) : Батура Т. В.
Заглавие : Математическая лингвистика и автоматическая обработка текстов на естественном языке : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный университет, 2016
Колич.характеристики :166 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4437-0548-4: Б.ц.
УДК : 004
ББК : 32.81
Ключевые слова (''Своб.индексиров.''): математическая лингвистика--математическая логика--обработка текстов--семантический анализ--теория вероятностей
Аннотация: В пособии рассмотрены формальные модели текстов на естественном языке, основанные на методах математической логики, линейной алгебры, теории вероятностей и математической статистики, а также изложены алгоритмы обработки текстов, применяемые для семантического анализа, классификации, поиска и извлечения информации. Пособие предназначено для студентов и аспирантов ФИТ, ММФ и ГФ (отделение фундаментальной и прикладной лингвистики).
(для доступа требуется авторизация)

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

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

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