Стусь, Олександр Вікторович2018-01-172018-01-172017Стусь, О. В. Математична логіка та теорія алгоритмів: Лекції [Електронний ресурс] : навчальний посібник для студентів спеціальності 124 «Системний аналіз» / О. В. Стусь ; КПІ ім. Ігоря Сікорського. – Електронні текстові дані (1 файл: 0,8 Мбайт). – Київ : КПІ ім. Ігоря Сікорського, 2017. – 150 с. – Назва з екрана.https://ela.kpi.ua/handle/123456789/21581ukдискретна математикаалгоритмрекурсіязмістовна теоріяпредикаткванторМатематична логіка та теорія алгоритмів: ЛекціїMethodical Matherial150 с.