Electronic Documents Search

Documents found: 3

1

Вывод следствий с предварительно заданными свойствами // Системный анализ в проектировании и управлении: сборник научных трудов 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

Есть ли логика в современном образовании? // Системный анализ в проектировании и управлении: сборник научных трудов 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

Логико-интервальный анализ систем на основе алгебры кортежей // Системный анализ в проектировании и управлении: сборник научных трудов 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

1