Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Пошуковий запит: (<.>ID=REF-0000166780<.>) |
Загальна кількість знайдених документів : 1
|
Нікітченко М. С. Логіки, орієнтовані на специфікації програм / М. С. Нікітченко, С. С. Шкільняк, Л. Л. Омельчук // Пробл. програмув. - 2006. - 2-3 [спец. вип.]. - С. 17-24. - Бібліогр.: 28 назв. - укp.Розглянуто композиційно-номінативні логіки, орієнтовані на специфікації програм. Такі логіки будуються в семантико-синтаксичному стилі на базі композиційно-номінативного (КН) підходу. Запропоновано спектр КН логік різних рівнів абстрактності та загальності. Для логік еквітонних квазіарних предикатів на базі секвенційних числень доведено теореми про визначність. На базі аксіоматичної системи специфікацій програм над метаномінативними даними (МНД) побудовано прототип системи автоматизації доведення теорем теорії МНД. Індекс рубрикатора НБУВ: З973-018
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
|