Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Компьютерная математика за автором "Шкільняк, С.С."

Репозиторій DSpace/Manakin

Перегляд Компьютерная математика за автором "Шкільняк, С.С."

Сортувати за: Порядок: Результатів:

  • Композиційно-номітативні логіки часткових та неоднозначних предикатів 
    Шкільняк, С.С. (Компьютерная математика, 2014)
    Досліджено чисті першопорядкові логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів. Розглянуто низку розширень цих логік за допомогою узагальнених реномінацій та спеціальних ...
  • Реномінативні логіки квазіарних предикатів 
    Шкільняк, С.С.; Волковицький, Д.Б. (Компьютерная математика, 2016)
    Досліджено реномінативні логіки квазіарних предикатів. Вони посідають місце між пропозиційною та першопорядковими логіками. Виділено реномінативні логіки базового рівня, із предикатами слабкої рівності та з предикатами ...
  • Секвенційні системи логічного виведення першопорядкових логік часткових предикатів 
    Шкільняк, С.С. (Компьютерная математика, 2013)
    Для чистих першопорядкових логік часткових однозначних та часткових неоднозначних предикатів побудовано секвенційні числення. При цьому використано спеціальні предикати-індикатори наявності значення для змінних. Доведено ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис