|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
2022 "Кванторная выразимость в логике предикатов"Капустин Ю. С.в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 26, № выпуск 2, с. 62-84статья
- Автор: Капустин Ю.С.
- Журнал: Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
- Том: 26
- Номер: 2
- Год издания: 2022
- Издательство: [б.и.]
- Местоположение издательства: М.
- Первая страница: 62
- Последняя страница: 84
- Номер статьи: 5
- Аннотация: В математике новые понятия часто вводятся путем кванторных определений. При наличии достаточно большого запаса такихпонятий они могут позволить переформулировать новые кванторные определения бескванторным образом. Это делает заслуживающей рассмотрения задачу отыскания базисных понятий в заданной предметной области, которые делают избыточным дальнейшеекванторное определение.В данной работе рассматривается кванторная выразимостьнебольшой глубины в 4 алгебраических системах. Были найденыбазисы выразимости для небольшой глубины
- Добавил в систему: Капустин Юрий Сергеевич