Наукова періодика України | Кібернетика та системний аналіз | ||
Шкильняк С. С. Логики квазиарных предикатов первого порядка / С. С. Шкильняк // Кибернетика и системный анализ. - 2010. - Т. 46, № 6. - С. 32-50. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2010_46_6_5 Досліджено композиційно-номінативні логіки квазіарних предикатів (ЛКП). Розглянуто спектр композиційно-номінативних логік, описано класи першопорядкових ЛКП. Для загального випадку ЛКП кванторного рівня побудовано числення секвенційного типу, доведено його коректність і повноту. Цитованість авторів публікації: Бібліографічний опис для цитування: Шкильняк С. С. Логики квазиарных предикатов первого порядка / С. С. Шкильняк // Кибернетика и системный анализ. - 2010. - Т. 46, № 6. - С. 32-50. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2010_46_6_5. Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |