• English
    • українська
  • українська 
    • English
    • українська
  • Увійти
Дивитися документ 
  • Головна
  • Факультет інформаційних технологій та комп'ютерної інженерії
  • Кафедра обчислювальної техніки
  • Наукові роботи каф. ОТ
  • Дивитися документ
  • Головна
  • Факультет інформаційних технологій та комп'ютерної інженерії
  • Кафедра обчислювальної техніки
  • Наукові роботи каф. ОТ
  • Дивитися документ
Сайт інституційного репозитарію ВНТУ містить роботи, матеріали та файли, які були розміщені докторантами, аспірантами та студентами Вінницького Національного Технічного Університету. Для розширення функцій сайту рекомендується увімкнути JavaScript.

An Algebraic Method to Identify Classes of Formulas in Calculus of Predicates

Автор
Semerenko, V. P.
Семеренко, В. П.
Дата
2012
Metadata
Показати повну інформацію
Collections
  • Наукові роботи каф. ОТ [758]
Анотації
The P-complete problem of logic deduction in classical propositional and first order predicate calculus is considered. The suggested method is alternative to the traditional methods of direct and inverse logic deduction in particular to the Robinson’s resolution principle. The deterministic algorithm of polynomial complexity based on Boolean algebra of cubic functions for differentiation between two classes of formulas: valid and satisfiable, or unsatisfiable and satisfiable, is suggested.
 
Рассматривается NP-полная проблема логического вывода в классическом исчислении высказываний и в исчислении предикатов первого порядка. Предложенный метод является альтернативой традиционным методам прямого и обратного логического вывода, в частности, принципа резолюций Робинсона. Предложен детерминированный алгоритм логического вывода полиномиальной сложности, который базируется на булевой алгебре кубических функций, позволяет различать два класса формул: тождественно-истинные и выполнимые или тождественно-ложные и выполнимые.
 
URI:
http://ir.lib.vntu.edu.ua/handle/123456789/9390
Відкрити
Algebraic Method to Identify Classes of Formulas.pdf (151.0Kb)

Інституційний репозиторій

ГоловнаПошукДовідкаКонтактиПро нас

Ресурси

JetIQСайт бібліотекиСайт університетаЕлектронний каталог ВНТУ

Перегляд

Всі архівиСпільноти та колекціїЗа датою публікаціїАвторамиНазвамиТемамиТипВидавництвоМоваУДКISSNВидання, що міститьDOIЦя колекціяЗа датою публікаціїАвторамиНазвамиТемамиТипВидавництвоМоваУДКISSNВидання, що міститьDOI

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

ВхідРеєстрація

Статистика

View Usage Statistics

ISSN 2413-6360 | Головна | Відправити відгук | Довідка | Контакти | Про нас
© 2016 Vinnytsia National Technical University | Extra plugins code by VNTU Linuxoids | Powered by DSpace
Працює за підтримки 
НТБ ВНТУ