Темнікова, Олена Леонідівна2021-08-022021-08-022020-06-18Темнікова, О. Л. Математична логіка. Практикум [Електронний ресурс] : навч. посіб. для студ. спеціальності 113 «Прикладна математика», освітньої програми «Наука про дані та математичне моделювання» / О. Л. Темнікова ; КПІ ім. Ігоря Сікорського. – Електронні текстові дані (1 файл: 1,41 Мбайт). – Київ : КПІ ім. Ігоря Сікорського, 2020. – 76 с. – Назва з екрана.https://ela.kpi.ua/handle/123456789/42844ukматематична логікаформалізація сужденьметод резолюціїнечітки множиниMethodical Material76 с.