Публікація: Идентификация начальных логических понятий
Завантаження...
Дата
2000
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХТУРЭ
Анотація
Предпринята попытка формального описания исходных понятий логики, которыми пользуется математиі в своей работе. С этой целью на языке алгебры подстановочных операций дана аксиоматическая характеристика понятий равенства элементов, декартова произведения множеств, принадлежности элемента множеству операций объединения, пересечения и дополнения множеств, равенства множеств, связи отображений с отношениями.
Опис
Ключові слова
понятия логики, язык алгебры подстановочных операций
Бібліографічний опис
Колесников Д. О. Идентификация начальных логических понятий / Д. О. Колесников, С. А. Пославский, Ю. П. Шабанов Кушнаренко // Проблемы бионики. – 2000. – Вып. 52. – С. 9–18.