| DC Field | Value | Language |
|---|
| dc.contributor.author | Емельяненков, В. И. | - |
| dc.date.accessioned | 2017-10-13T06:35:19Z | - |
| dc.date.available | 2017-10-13T06:35:19Z | - |
| dc.date.issued | 2014 | - |
| dc.identifier.citation | Емельяненков, В. И. Тавтологии и тождества на решетках / В. И. Емельяненков // Информационные технологии и системы 2014 (ИТС 2014) : материалы международной научной конференции, БГУИР, Минск, Беларусь, 29 октября 2014 г. – Information Technologies and Systems 2014 (ITS 2014) : Proceeding of The International Conference, BSUIR, Minsk, 29th October 2014 / редкол. : Л. Ю. Шилин [и др.]. – Минск : БГУИР, 2014. – С. 116–117. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/26382 | - |
| dc.description.abstract | В данной работе рассматривается построение решеточной интерпретации алгебры булевых функций, в которой обоснования логических тождеств и тавтологий выполняются как формальные процедуры вычисления значений для логических выражений. | ru_RU |
| dc.language.iso | ru | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | логические тождества | ru_RU |
| dc.subject | формальные процедуры | ru_RU |
| dc.subject | материалы конференций | ru_RU |
| dc.subject | алгебра | ru_RU |
| dc.subject | булевы функции | ru_RU |
| dc.subject | решеточная интерпретация | ru_RU |
| dc.subject | тавтологии | ru_RU |
| dc.title | Тавтологии и тождества на решетках | ru_RU |
| dc.type | Статья | ru_RU |
| Appears in Collections: | ИТС 2014
|
