Труды КНЦ (Технические науки вып. 7/2023(14))

9. Кулик Б. А. Новые классы КНФ, с полиномиально распознаваемым свойством выполнимости // Автоматика и телемеханика. 1995. № 2. С. 111-124. 10. Поспелов Д. А. Моделирование рассуждений. Опыт анализа мыслительных актов. М.: Радио и связь, 1989. 184 с. 11. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983. 360 с. 12. Мелихов А. Н. Ориентированные графы и конечные автоматы. М.: Наука, 1971. 416 с. 13. Кулик Б. А., Зуенко А. А., Фридман А. Я. Алгебраический подход к интеллектуальной обработке данных и знаний. СПб.: Изд-во Политехн. ун-та, 2010. 235 с. 14. Kulik B., Fridman A. Complicated Methods o f Logical Analysis Based on Simple Mathematics. Cambridge Scholars Publishing, 2022. 195 p. 15. Кулик Б. А. Исследование противоречий в естественных рассуждениях на примерах метафор и пресуппозиций // Труды XVII Национальной конференции по искусственному интеллекту с международным участием. КИИ-2019 (21-25 окт. 2019 г., Ульяновск, Россия). Ульяновск: УлГТУ, 2019. Т. 2. С. 192-200. 16. Кулик Б. А. Вывод следствий с предварительно заданными свойствами // Системный анализ в проектировании и управлении. В 3 ч. Ч.2: сб. науч. тр. XXV Междунар. науч. и учебн.-практич. конф. (13-14 окт. 2021 г.). СПб.: ПОЛИТЕХ-ПРЕСС, 2021. Ч. 2. С. 89-97. 17. Pelletier F. J. Seventy-Five Problems for Testing Automatic Theorem Provers // Journal o f Automated Reasoning, 1986, Vol. 2, P. 191-216. 18. Петров В. ТРИЗ. Теория решенияизобретательских задач. Уровень 1. М.: СОЛОН-Пресс, 2017. 252 с. References 1. Burbaki N. Teorija mnozhestv [Set Theory]. Moscow, Mir, 1965, 455 p. 2. Mendelson E. Introduction to Mathematical Logic. Boca Raton; London; New York, Taylor & Francis Group, 2015, 499 p. 3. Kurant R., Robbins G. Chto takoe matematika? [What is Mathematics?]. Moscow, MCNMO, 2001, 568 p. 4. Kulik B. A. Logika i matematika: prosto o slozhnyh metodah logicheskogo analiza [Logic and Mathematics: Complex Methods of Logical Analysis in Plain Words]. Saint Petersburg, Politehnika, 2021, 141 p. (In Russ.). 5. Kulik B. A. Pochemu v uchebnikah logiki soderzhatsja logicheskie oshibki? [Why do logic textbooks contain logical errors?]. Obrazovatel'nye resursy i tehnologii [Educational Resources and Technologies], 2023, no. 1(42), pp. 7-14. (In Russ.). 6. Copi I. M., Cohen C., McMahon K. Introduction to Logic. Routledge, 2016, 654 p. 7. Bocharov V. A., Markin V. I. Vvedenie v logiku: uchebnik [Introduction to Logic: Textbook]. Moscow, INFRA-M, 2008, 560 p. 8. Ivlev Ju. V. Logika: uchebnik [Logic: textbook]. Moscow, Prospekt, 2022, 304 p. 9. Kulik B. A. Novye klassy KNF, s polinomial'no raspoznavaemym svoj stvom vypolnimosti [New classes o f conjunctive normal forms with a polynomially recognizable property o f satisfiability]. Avtomatika i telemekhanika [Autom. Remote Control], 1995, no. 2, pp. 111-124. (In Russ.). 10. Pospelov D. A. Modelirovanie rassuzhdenij. Opyt analiza myslitel'nyh aktov [Modeling reasoning. The experience o f analyzing mental acts]. Moscow, Radio i svjaz', 1989, 184 p. 11. Chen' Ch., Li R. Matematicheskaja logika i avtomaticheskoe dokazatel'stvo teorem [Symbolic logic and mechanical theorem proving]. Moscow, Nauka, 1983, 360 p. 12. Melihov A. N. Orientirovannye grafy i konechnye avtomaty [Directed graphs and finite automata]. Moscow, Nauka, 1971, 416 p. 13. Kulik B. A., Zuenko A. A., Fridman A. Ja. Algebraicheskijpodhodk intellektual'noj obrabotke dannyh i znanij [An algebraic approach to intelligent data and knowledge processing]. Saint Petersburg, izd-vo Politehn. un-ta, 2010, 235 p. 14. Kulik B., Fridman A. Complicated Methods o f Logical Analysis Based on Simple Mathematics. Cambridge Scholars Publishing, 2022, 195 p. Труды Кольского научного центра РАН. Серия: Технические науки. 2023. Т. 14, № 7. С. 26-34. Transactions of the Kola Science Centre of RAS. Series: Engineering Sciences. 2023. Vol. 14, No. 7. P. 26-34. © Кулик Б. А., 2023 33