Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
http://elartu.tntu.edu.ua/handle/lib/36150
| Title: | Про використання функцій з побітовими операціями для аналізу суперечливості множини диз’юнктів |
| Other Titles: | About the analysis of satisfaction of a set of clauses with bitwise operations |
| Authors: | Кліщ, М. Klishch, M. |
| Affiliation: | Відокремлений структурний підрозділ «Тернопільський фаховий коледж Тернопільського національного технічного університету імені Івана Пулюя» Separate Structural Subdivision «Ternopil Professional College of Ternopil Ivan Puluj National Technical University» |
| Bibliographic description (Ukraine): | Кліщ М. Про використання функцій з побітовими операціями для аналізу суперечливості множини диз’юнктів / Кліщ М. // Матеріали Ⅳ Міжнародної студентської науково-технічної конференції „Природничі та гуманітарні науки. Актуальні питання“, 28-29 квітня 2021 року. — Т. : ТНТУ, 2021. — С. 36–38. — (Математика). |
| Bibliographic description (International): | Klishch M. (2021) Pro vykorystannia funktsii z pobitovymy operatsiiamy dlia analizu superechlyvosti mnozhyny dyziunktiv [About the analysis of satisfaction of a set of clauses with bitwise operations]. Materialy Ⅳ Mizhnarodnoi studentskoi naukovo-tekhnichnoi konferentsii "Pryrodnychi ta humanitarni nauky. Aktualni pytannia" (Tern., 28-29 April 2021), pp. 36-38 [in Ukrainian]. |
| Is part of: | Матеріали Ⅳ Міжнародної студентської науково-технічної конференції „Природничі та гуманітарні науки. Актуальні питання“, 2021 |
| Conference/Event: | Ⅳ Міжнародна студентська науково-технічна конференція „Природничі та гуманітарні науки. Актуальні питання“ |
| Journal/Collection: | Матеріали Ⅳ Міжнародної студентської науково-технічної конференції „Природничі та гуманітарні науки. Актуальні питання“ |
| Issue Date: | 28-Απρ-2021 |
| Date of entry: | 12-Δεκ-2021 |
| Publisher: | ТНТУ TNTU |
| Place of the edition/event: | Тернопіль Ternopil |
| Temporal Coverage: | 28-29 квітня 2021 року 28-29 April 2021 |
| Keywords: | метод резолюцій побітові операції диз’юнкт resolution method bitwise operations clauses |
| Number of pages: | 3 |
| Page range: | 36-38 |
| Start page: | 36 |
| End page: | 38 |
| URI: | http://elartu.tntu.edu.ua/handle/lib/36150 |
| Copyright owner: | © Тернопільський національний технічний університет імені Івана Пулюя, 2021 |
| URL for reference material: | https://web.stanford.edu/class/linguist289/robinson65.pdf |
| References (Ukraine): | 1. Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний / С. Л. Крывый та ін. Проблеми програмування. 2008. № 2-3. С. 25-30. 2. ROBINSON J. A. A Machine-Oriented Logic Based on the Resolution Principle / Journal of the Association for Computing Machinery, Val. 1 2, No. 1 (January, 1965), P. 23-41. URL: https://web.stanford.edu/class/linguist289/robinson65.pdf |
| References (International): | 1. Alhoritm proverki protivorechivosti mnozhestva dizieiunktov v ischislenii vyskazyvanii, S. L. Kryvyi and other Problemi prohramuvannia. 2008. No 2-3. P. 25-30. 2. ROBINSON J. A. A Machine-Oriented Logic Based on the Resolution Principle, Journal of the Association for Computing Machinery, Val. 1 2, No. 1 (January, 1965), P. 23-41. URL: https://web.stanford.edu/class/linguist289/robinson65.pdf |
| Content type: | Conference Abstract |
| Εμφανίζεται στις συλλογές: | IV Міжнародна студентська науково-технічна конференція „Природничі та гуманітарні науки. Актуальні питання“ (2021) |
Αρχεία σε αυτό το τεκμήριο:
| Αρχείο | Περιγραφή | Μέγεθος | Μορφότυπος | |
|---|---|---|---|---|
| MSNTK_2021_Klishch_M-About_the_analysis_of_satisfaction_36-38.pdf | 777,74 kB | Adobe PDF | Δείτε/ Ανοίξτε | |
| MSNTK_2021_Klishch_M-About_the_analysis_of_satisfaction_36-38.djvu | 221,59 kB | DjVu | Δείτε/ Ανοίξτε | |
| MSNTK_2021_Klishch_M-About_the_analysis_of_satisfaction_36-38__COVER.png | 282,72 kB | image/png | Δείτε/ Ανοίξτε |
Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα