Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Пошуковий запит: (<.>ID=REF-0000161788<.>) |
Загальна кількість знайдених документів : 1
|
Войтович С. А. Доказательство полноты алгебры для логического исчисления с четырехзначной семантикой / С. А. Войтович, О. М. Сорокин // Системи оброб. інформації. - 2005. - Вип. 6. - С. 193-202. - Библиогр.: 11 назв. - рус.Представлена алгебра для строгого логического исчисления с четырехзначной семантикой, которое предназначено для представления знаний в системах управления реального масштаба времени с использованием качественной оценки неопределенности признаковой информации. Доказана полнота предлагаемой алгебры. Ключ. слова: логическое исчисление, четырехзначная семантика, неопределенность признаковой информации, полнота алгебры Індекс рубрикатора НБУВ: В123 + З973-018.21
Рубрики:
Шифр НБУВ: Ж70474 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
|