Electronic Documents Search

Documents found: 4

1

Логико-интервальный анализ систем на основе алгебры кортежей // Системный анализ в проектировании и управлении: сборник научных трудов XXIV Международной научной и учебно-практической конференции, 13–14 октября 2020 года: [в 3 частях]. Ч. 2

Creators	Кулик Борис Александрович
Organization	Российская академия наук
Imprint	Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2020
Collection	Общая коллекция
Subjects	Кластеры; Интервальный анализ (мат.)
UDC	004.827; 519.6
Document type	Article, report
File type	PDF
Language	Russian
DOI	10.18720/SPBPU/2/id20-158
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 0.5 Mb

Есть ли логика в современном образовании? // Системный анализ в проектировании и управлении: сборник научных трудов XXVI Международной научно-практической конференции, 13–14 октября 2022 года: [в 3 частях]. Ч. 3

Creators	Кулик Борис Александрович
Organization	Российская академия наук. Институт Проблем Машиноведения
Imprint	Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2023
Collection	Общая коллекция
Subjects	Математическая логика; логический анализ; обучение; аксиоматический подход; силлогистика; теория множеств; алгебра множеств; язык первого порядка; исчисление предикатов; алгебра кортежей; logical analysis; education; axiomatic approach; syllogistics; set theory; algebra of sets; first-order language; predicate calculus; n-tuple algebra
UDC	510.6
Document type	Article, report
File type	PDF
Language	Russian
DOI	10.18720/SPBPU/2/id23-482
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 1.3 Mb

Математическая модель логического анализа систем на основе законов алгебры множеств // Системный анализ в проектировании и управлении: сборник научных трудов XXVIII Международной научно-практической конференции, 27–29 июня 2024 года: [в 2 частях]. Ч. 1 New arrival!

Creators	Кулик Борис Александрович
Organization	Российская академия наук. Институт проблем машиноведения
Imprint	Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2024
Electronic publication	2025
Collection	Общая коллекция
Subjects	Множеств теория; Математический анализ; алгебра множеств; логический анализ; полисиллогистика; закон парадокса; закон непустого пересечения; закон существования; algebra of sets; logical analysis; polysyllogistics; the law of paradox; the law of nonempty intersection; the law of existence
UDC	510.22; 510.54; 517
Document type	Article, report
File type	PDF
Language	Russian
DOI	10.18720/SPBPU/2/id24-451
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 0.6 Mb

Вывод следствий с предварительно заданными свойствами // Системный анализ в проектировании и управлении: сборник научных трудов XXV Международной научной и учебно-практической конференции, 13–14 октября 2021 г.: [в 3 частях]. Ч. 2

Creators	Кулик Борис Александрович
Organization	Российская академия наук
Imprint	Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2021
Collection	Общая коллекция
Subjects	Математическая логика; логический вывод; интересные следствия; алгебра кортежей; правило обобщения; минимальное следствие; проекция; элиминация атрибутов
UDC	510.6
Document type	Article, report
File type	PDF
Language	Russian
DOI	10.18720/SPBPU/2/id21-157
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 0.4 Mb

1