1. ELARTU — Інституційний репозитарій ТНТУ імені Івана Пулюя
2. Матеріали конференцій, семінарів, читань
3. 2021
4. IV Міжнародна студентська науково-технічна конференція „Природничі та гуманітарні науки. Актуальні питання“ (2021)

Назва:	Про використання функцій з побітовими операціями для аналізу суперечливості множини диз’юнктів
Інші назви:	About the analysis of satisfaction of a set of clauses with bitwise operations
Автори:	Кліщ, М. Klishch, M.
Приналежність:	Відокремлений структурний підрозділ «Тернопільський фаховий коледж Тернопільського національного технічного університету імені Івана Пулюя» Separate Structural Subdivision «Ternopil Professional College of Ternopil Ivan Puluj National Technical University»
Бібліографічний опис:	Кліщ М. Про використання функцій з побітовими операціями для аналізу суперечливості множини диз’юнктів / Кліщ М. // Матеріали Ⅳ Міжнародної студентської науково-технічної конференції „Природничі та гуманітарні науки. Актуальні питання“, 28-29 квітня 2021 року. — Т. : ТНТУ, 2021. — С. 36–38. — (Математика).
Bibliographic description:	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].
Є частиною видання:	Матеріали Ⅳ Міжнародної студентської науково-технічної конференції „Природничі та гуманітарні науки. Актуальні питання“, 2021
Конференція/захід:	Ⅳ Міжнародна студентська науково-технічна конференція „Природничі та гуманітарні науки. Актуальні питання“
Журнал/збірник:	Матеріали Ⅳ Міжнародної студентської науково-технічної конференції „Природничі та гуманітарні науки. Актуальні питання“
Дата публікації:	28-кві-2021
Дата внесення:	12-гру-2021
Видавництво:	ТНТУ TNTU
Місце видання, проведення:	Тернопіль Ternopil
Часове охоплення:	28-29 квітня 2021 року 28-29 April 2021
Теми:	метод резолюцій побітові операції диз’юнкт resolution method bitwise operations clauses
Кількість сторінок:	3
Діапазон сторінок:	36-38
Початкова сторінка:	36
Кінцева сторінка:	38
URI (Уніфікований ідентифікатор ресурсу):	http://elartu.tntu.edu.ua/handle/lib/36150
Власник авторського права:	© Тернопільський національний технічний університет імені Івана Пулюя, 2021
URL-посилання пов’язаного матеріалу:	https://web.stanford.edu/class/linguist289/robinson65.pdf
Перелік літератури:	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:	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
Тип вмісту:	Conference Abstract
Розташовується у зібраннях:	IV Міжнародна студентська науково-технічна конференція „Природничі та гуманітарні науки. Актуальні питання“ (2021)

Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.