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

Параллельная реализация логических рассуждений

Author
Семеренко, В. П.
Date
1995
Metadata
Show full item record
Collections
  • Наукові роботи каф. ОТ [760]
Abstract
Рассматривается формализация вывода в исчислении высказываний и в исчислении предикатов, а также дана интерпретация категорического силлогизма. Предложена аппаратная реализация вывода с помощью программируемых систолических структур
 
Formalization of inference method in propositional calculus and predicate calculus is considered and new interpretation categorical syllogism is given. Hardwarily implementation inference by means programmed systolic structure is proposed
 
Розглядається формалізація виведення в численні висловлювань і в численні предикатів, а також дана інтерпретація категоричного силогізму. Запропонована апаратна реалізація виведення за допомогою програмованих систолічних структур
 
URI:
http://ir.lib.vntu.edu.ua/handle/123456789/11548
View/Open
LOGIC7-Ялта-1995.pdf (212.8Kb)

Institutional Repository

FrontpageSearchHelpContact UsAbout Us

University Resources

JetIQLibrary websiteUniversity websiteE-catalog of VNTU

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsTypePublisherLanguageUdcISSNPublicationDOIThis CollectionBy Issue DateAuthorsTitlesSubjectsTypePublisherLanguageUdcISSNPublicationDOI

My Account

LoginRegister

Statistics

View Usage Statistics

ISSN 2413-6360 | Frontpage | Send Feedback | Help | Contact Us | About Us
© 2016 Vinnytsia National Technical University | Extra plugins code by VNTU Linuxoids | Powered by DSpace
Працює за підтримки 
НТБ ВНТУ