https://libeldoc.bsuir.by/handle/123456789/26382| Title: | Тавтологии и тождества на решетках |
| Authors: | Емельяненков, В. И. |
| Keywords: | логические тождества;формальные процедуры;материалы конференций;алгебра;булевы функции;решеточная интерпретация;тавтологии |
| Issue Date: | 2014 |
| Publisher: | БГУИР |
| 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. |
| Abstract: | В данной работе рассматривается построение решеточной интерпретации алгебры булевых функций, в которой обоснования логических тождеств и тавтологий выполняются как формальные процедуры вычисления значений для логических выражений. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/26382 |
| Appears in Collections: | ИТС 2014 |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Tavtologii.PDF | 773.82 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.