Гвоздинский, А. Н.Якимова, Н. А.Губин, В. А.2020-06-162020-06-162012Гвоздинский А. Н. Бинарные предикаты при описании булевых логических пространств / А. Н. Гвоздинский, Н. А. Якимова, В. А. Губин // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2012. – Вып. 161. – С. 108–113.http://openarchive.nure.ua/handle/document/12189Устоявшееся представление о математической логике как о науке, изучающей законы мышления с применением аппарата математики, главным образом, для нужд самой математики, в современных условиях становится слишком узким [1]. С расширением областей применения и дальнейшим развитием математической логики изменяется и взгляд на нее. Объектами математической логики являются любые дискретные конечные системы, а ее главная задача – структурное моделирование таких систем. Человеческий язык, как явление дискретное, естественно, должен описываться средствами дискретной математикиruдискретная конечная системаструктурное моделированиеArticle