Методичні вказівки до практичних робіт “Логіка висловлювань. Аналіз формул логіки висловлювань” [Електронний ресурс] : з курсу “Математична логіка та теорія алгоритмів” : для студ. спец. “Прикладна математика” / Національний технічний університет “Харківський політехнічний інститут” ; уклад.: І. Д. Вечірська, Н. Т. Процай ; рец. Л. М. Любчик. - Електрон. текстові дан. - Харків : НТУ “ХПІ”, 2015. - 16 с. - Б. ц. Кл.слова (ненормовані): МІРКУВАННЯ -- ФОРМУЛА -- ЛОГІКА -- ПРОПОЗИЦІЙНІ КОМПОЗИЦІЇ -- ЛОГІЧНІ ЗВ’ЯЗКИ -- КЛАУЗА Есть полнотекстовые версии (доступ потребує авторизації) Дод.точки доступу: Вечірська, Ірина Дмитрівна \уклад.\ Процай, Наталія Тимофіївна \уклад.\ Любчик, Леонід Михайлович (доктор технічних наук) \рец.\ Любчик, Леонид Михайлович (доктор технических наук) Національний технічний університет “Харківський політехнічний інститут” |