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