Конструктивний алгоритм зворотного методу для числення висловлювань
A general scheme of the inverse method by S. Maslov for the sentential calculus is considered. A line of heuristic strategies and rules of conclusion on reduction of search and a constructive algorithm for the inverse method for the sentential calculus are described.
Saved in:
| Date: | 2018 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute"
2018
|
| Online Access: | http://journal.iasa.kpi.ua/article/view/127655 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | System research and information technologies |