Детальная информация
| Название | Математическая модель логического анализа систем на основе законов алгебры множеств = Mathematical model of logical analysis of systems based on the laws of algebra of sets // Системный анализ в проектировании и управлении: сборник научных трудов XXVIII Международной научно-практической конференции, 27–29 июня 2024 года: [в 2 частях]. Ч. 1 |
|---|---|
| Авторы | Кулик Борис Александрович |
| Организация | Российская академия наук. Институт проблем машиноведения |
| Выходные сведения | Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2024 |
| Электронная публикация | 2025 |
| Коллекция | Общая коллекция |
| Тематика | Множеств теория ; Математический анализ ; алгебра множеств ; логический анализ ; полисиллогистика ; закон парадокса ; закон непустого пересечения ; закон существования ; algebra of sets ; logical analysis ; polysyllogistics ; the law of paradox ; the law of nonempty intersection ; the law of existence |
| УДК | 510.22; 510.54; 517 |
| Тип документа | Статья, доклад |
| Язык | Русский |
| DOI | 10.18720/SPBPU/2/id24-451 |
| Права доступа | Свободный доступ из сети Интернет (чтение, печать, копирование) |
| Ключ записи | RU\SPSTU\edoc\76088 |
| Дата создания записи | 27.05.2025 |
В докладе предложено рассматривать алгебру множеств в соответствии с ее определением в книге Р. Куранта и Г. Роббинса «Что такое математика?» как независимую от теории множеств математическую систему, законы которой можно обосновать без аксиом. Показана основанная на законах алгебры множеств математическая модель, предназначенная для логического анализа систем. При решении некоторых задач в этой модели потребовалось сформулировать и обосновать три новых закона алгебры множеств: закон парадокса, закон непустого пересечения и закон существования.
The report proposes to consider the algebra of sets in accordance with its definition in the book by R. Courant and H. Robbins “What is mathematics?” as a mathematical system independent of set theory, the laws of which can be justified without axioms. A mathematical model based on the laws of algebra of sets is shown, designed for the logical analysis of systems. When solving some problems in this model, it was necessary to formulate and justify three new laws of algebra of sets: the law of paradox, the law of nonempty intersection and the law of existence.
| Место доступа | Группа пользователей | Действие |
|---|---|---|
| Локальная сеть ИБК СПбПУ | Все |
|
| Интернет | Все |
|
