Публікація:
Бинарные предикаты при описании булевых логических пространств

Завантаження...
Зображення мініатюри

Дата

2012

Назва журналу

ISSN журналу

Назва тома

Видавництво

ХНУРЭ

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

Устоявшееся представление о математической логике как о науке, изучающей законы мышления с применением аппарата математики, главным образом, для нужд самой математики, в современных условиях становится слишком узким [1]. С расширением областей применения и дальнейшим развитием математической логики изменяется и взгляд на нее. Объектами математической логики являются любые дискретные конечные системы, а ее главная задача – структурное моделирование таких систем. Человеческий язык, как явление дискретное, естественно, должен описываться средствами дискретной математики

Опис

Ключові слова

дискретная конечная система, структурное моделирование

Бібліографічний опис

Гвоздинский А. Н. Бинарные предикаты при описании булевых логических пространств / А. Н. Гвоздинский, Н. А. Якимова, В. А. Губин // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2012. – Вып. 161. – С. 108–113.

DOI