-
1
Συγγραφείς: Бирюков, Марк Олегович, Андреева, Валентина Валерьевна
Πηγή: Материалы XI-й Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-27 мая 2024 г. Томск, 2024. С. 90-96
Θεματικοί όροι: SAT-решатели, конъюнктивные нормальные формы, математическое моделирование
Περιγραφή αρχείου: application/pdf
Relation: koha:001151793; https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001151793
-
2Book
Συγγραφείς: Минаков, И.В.
Θεματικοί όροι: Research Subject Categories::HUMANITIES and RELIGION::History and philosophy subjects::Philosophy subjects, Research Subject Categories::SOCIAL SCIENCES::Social sciences::Education, формы высказываний, язык логики высказываний, отношение равносильности формул в логике высказываний. правило равносильной замены. тавтологии и противоречия, расширение языка пропозициональной логики, полные системы логических связок. закон двойственности, нормальная форма формул логики высказываний, семантическая проблема разрешения, конъюнктивные нормальные формы, понятие логического следования, дизъюнктивные нормальные формы, понятие логического вывода, системы натуральных исчислений высказываний, ограниченные классические логики, аксеоматические исчисления высказываний, формализованная силлогистика Я.Лукасевича, язык логики предикатов первого порядка (синтаксический аспект), теория значения (логическая семантика) для языка логики предикатов, аксеоматическое исчисление предикатов (АИП), общее понятие формальной теории (логического исчисления), проблема оснований математики, теоремы Гёделя
Relation: Минаков И.В. Символическая логика: Пособие для практических занятий и самостоятельной работы / И.В. Минаков. – Харьков, 2012. – 47 с.; http://dspace.univer.kharkov.ua/handle/123456789/9690
Διαθεσιμότητα: http://dspace.univer.kharkov.ua/handle/123456789/9690
-
3
Πηγή: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск, 2020. С. 136
Θεματικοί όροι: создание схем, робастно тестируемые неисправности задержек путей, логические схемы, тестовые пары, конъюнктивные нормальные формы
Περιγραφή αρχείου: application/pdf
Relation: vtls:000792186; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000792186
-
4
Πηγή: Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 2018 г. Томск, 2018. С. 17-21
Θεματικοί όροι: сверхбольшие интегральные схемы, конъюнктивные нормальные формы, проблемы выполнимости булевых функций, методы упрощения конъюнктивных нормальных форм
Περιγραφή αρχείου: application/pdf
Relation: vtls:000647951; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000647951
-
5
Πηγή: Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 2018 г. Томск, 2018. С. 17-21
Θεματικοί όροι: сверхбольшие интегральные схемы, конъюнктивные нормальные формы, проблемы выполнимости булевых функций, методы упрощения конъюнктивных нормальных форм
Περιγραφή αρχείου: application/pdf
Relation: vtls:000647951; https://openrepository.ru/article?id=273340
Διαθεσιμότητα: https://openrepository.ru/article?id=273340
-
6
Συγγραφείς: Кидярова, Галина Владимировна
Συνεισφορές: Томский государственный университет Научное управление Лаборатории НУ
Πηγή: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 51-52
Θεματικοί όροι: SAT-решатели, конъюнктивные нормальные формы, булевы формулы, дискретная математика
Περιγραφή αρχείου: application/pdf
Relation: vtls:000504502; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000504502
-
7
Συγγραφείς: Кидярова, Галина Владимировна
Συνεισφορές: Томский государственный университет Научное управление Лаборатории НУ
Πηγή: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 51-52
Θεματικοί όροι: SAT-решатели, конъюнктивные нормальные формы, булевы формулы, дискретная математика
Περιγραφή αρχείου: application/pdf
Relation: vtls:000504502; https://openrepository.ru/article?id=312435
Διαθεσιμότητα: https://openrepository.ru/article?id=312435