РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
НОВІНАДХОДЖЕННЯ |
ПОШУК
|
РУБРИКАТОР
|
Бази даних
Реферативна база даних - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб|
|
Пошуковий запит: (<.>ID=REF-0000128722<.>) | |||
|
Загальна кількість знайдених документів : 1 |
|||
Нікітченко М. С. Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення / М. С. Нікітченко, С. С. Шкільняк // Пробл. программирования. - 2003. - № 2. - С. 28-41. - Бібліогр.: 12 назв. - укp. Запропоновано композиційно-номінативні логіки локально-еквітонних предикатів. Зазначено, що такі логіки зберігають основні дедуктивні властивості класичних логік, але мають значно багатший клас моделей. Вивчено семантичні властивості цих логік, відношення логічного наслідку для множин формул, побудовано відповідні секвенційні числення, на їх базі доведено теореми коректності та повноти. Індекс рубрикатора НБУВ: З973-047.20 Рубрики: Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
 Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця" | |||
| Національна бібліотека України імені В. І. Вернадського |
 |
| Відділ наукового формування національних реферативних ресурсів |
 |
| Інститут проблем реєстрації інформації НАН України |
Всі права захищені © Національна бібліотека України імені В. І. Вернадського