1. ELARTU — Інституційний репозитарій ТНТУ імені Івана Пулюя
  2. Матеріали конференцій, семінарів, читань
  3. 2021
  4. IV Міжнародна студентська науково-технічна конференція „Природничі та гуманітарні науки. Актуальні питання“ (2021)
Ezzel az azonosítóval hivatkozhat erre a dokumentumra forrásmegjelölésben vagy hiperhivatkozás esetén: http://elartu.tntu.edu.ua/handle/lib/36150

Összes dokumentumadat
DC mezőÉrtékNyelv
dc.contributor.authorКліщ, М.
dc.contributor.authorKlishch, M.
dc.coverage.temporal28-29 квітня 2021 року
dc.coverage.temporal28-29 April 2021
dc.date.accessioned2021-12-12T18:54:05Z-
dc.date.available2021-12-12T18:54:05Z-
dc.date.created2021-04-28
dc.date.issued2021-04-28
dc.identifier.citationКліщ М. Про використання функцій з побітовими операціями для аналізу суперечливості множини диз’юнктів / Кліщ М. // Матеріали Ⅳ Міжнародної студентської науково-технічної конференції „Природничі та гуманітарні науки. Актуальні питання“, 28-29 квітня 2021 року. — Т. : ТНТУ, 2021. — С. 36–38. — (Математика).
dc.identifier.urihttp://elartu.tntu.edu.ua/handle/lib/36150-
dc.format.extent36-38
dc.language.isouk
dc.publisherТНТУ
dc.publisherTNTU
dc.relation.ispartofМатеріали Ⅳ Міжнародної студентської науково-технічної конференції „Природничі та гуманітарні науки. Актуальні питання“, 2021
dc.relation.urihttps://web.stanford.edu/class/linguist289/robinson65.pdf
dc.subjectметод резолюцій
dc.subjectпобітові операції
dc.subjectдиз’юнкт
dc.subjectresolution method
dc.subjectbitwise operations
dc.subjectclauses
dc.titleПро використання функцій з побітовими операціями для аналізу суперечливості множини диз’юнктів
dc.title.alternativeAbout the analysis of satisfaction of a set of clauses with bitwise operations
dc.typeConference Abstract
dc.rights.holder© Тернопільський національний технічний університет імені Івана Пулюя, 2021
dc.coverage.placenameТернопіль
dc.coverage.placenameTernopil
dc.format.pages3
dc.relation.references1. Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний / С. Л. Крывый та ін. Проблеми програмування. 2008. № 2-3. С. 25-30.
dc.relation.references2. 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
dc.relation.referencesen1. Alhoritm proverki protivorechivosti mnozhestva dizieiunktov v ischislenii vyskazyvanii, S. L. Kryvyi and other Problemi prohramuvannia. 2008. No 2-3. P. 25-30.
dc.relation.referencesen2. 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
dc.identifier.citationenKlishch 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].
dc.contributor.affiliationВідокремлений структурний підрозділ «Тернопільський фаховий коледж Тернопільського національного технічного університету імені Івана Пулюя»
dc.contributor.affiliationSeparate Structural Subdivision «Ternopil Professional College of Ternopil Ivan Puluj National Technical University»
dc.citation.journalTitleМатеріали Ⅳ Міжнародної студентської науково-технічної конференції „Природничі та гуманітарні науки. Актуальні питання“
dc.citation.spage36
dc.citation.epage38
dc.citation.conferenceⅣ Міжнародна студентська науково-технічна конференція „Природничі та гуманітарні науки. Актуальні питання“
Ebben a gyűjteményben:IV Міжнародна студентська науково-технічна конференція „Природничі та гуманітарні науки. Актуальні питання“ (2021)

Fájlok a dokumentumban:
Fájl Leírás MéretFormátum 
MSNTK_2021_Klishch_M-About_the_analysis_of_satisfaction_36-38.pdf777,74 kBAdobe PDFMegtekintés/Megnyitás
MSNTK_2021_Klishch_M-About_the_analysis_of_satisfaction_36-38.djvu221,59 kBDjVuMegtekintés/Megnyitás
MSNTK_2021_Klishch_M-About_the_analysis_of_satisfaction_36-38__COVER.png282,72 kBimage/pngMegtekintés/Megnyitás
Áttekintő adatok a dokumentumról


Minden dokumentum, ami a DSpace rendszerben szerepel, szerzői jogokkal védett. Minden jog fenntartva!