Публікація: Бинарные предикаты при описании булевых логических пространств
Завантаження...
Дата
2012
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЭ
Анотація
Устоявшееся представление о математической логике как о науке, изучающей законы мышления с применением аппарата математики, главным образом, для нужд самой математики, в современных условиях становится слишком узким [1]. С расширением областей применения и дальнейшим развитием математической логики изменяется и взгляд на нее. Объектами математической логики являются любые дискретные конечные системы, а ее главная задача – структурное моделирование таких систем. Человеческий язык, как явление дискретное, естественно, должен описываться средствами дискретной математики
Опис
Ключові слова
дискретная конечная система, структурное моделирование
Бібліографічний опис
Гвоздинский А. Н. Бинарные предикаты при описании булевых логических пространств / А. Н. Гвоздинский, Н. А. Якимова, В. А. Губин // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2012. – Вып. 161. – С. 108–113.