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

Алгоритми логічного виведення поліноміальної складності

Автор
Семеренко, В. П.
Дата
2013
Metadata
Показати повну інформацію
Collections
  • Наукові роботи каф. ОТ [758]
Анотації
Для логічного виведення в численні висловлювань і в численні предикатів першого порядку представлено математичний апарат булевої алгебри кубічних функцій. Клас булевої функції визначається на основі аналізу її кубічного покриття. Запропоновано алгоритми логічного виведення поліноміальної складності за допомогою операцій над кубами.
 
Для логического вывода в исчислении высказываний и в исчислении предикатов первого порядка представлен математический аппарат булевой алгебры кубических функций. Класс булевой функции определяется на основе анализа ее кубического покрытия. Предложены алгоритми логического вывода полиномиальной сложности с помощью операций над кубами.
 
For logic deduction in classical propositional and first order predicate calculus the mathematical tools of Boolean algebra of cube functions is presented. The class of Boolean function is determined based on the analysis of its cube covering. The algorithms of logic deduction of polynomial complexity by operations with cubes is suggested.
 
URI:
http://ir.lib.vntu.edu.ua/handle/123456789/9411
Відкрити
Paper5-Semerenko.pdf (78.82Kb)

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

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

Ресурси

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
Працює за підтримки 
НТБ ВНТУ