Інфопакет

Теорія алгоритмів та математична логіка

ОК.29

Обов’язкова дисципліна для ОП

Перший

2022/2023

4 Семестр

4

ПР 2. Вміти розпізнавати стандартні схеми для розв’язання комбінаторних та логічних задач, що сформульовані природною мовою; застосовувати класичні алгоритми для перевірки властивостей та класифікації об’єктів, множин, відношень, графів, груп, кілець, решіток, булевих функцій тощо. ПР15. Розуміти українську та іноземну мови на рівні, достатньому для обробки фахових інформаційнолітературних джерел, професійного усного і письмового спілкування, написання текстів за фаховою тематикою.

Дистанційне навчання

Знати: базові поняття дискретної математики: основи теорії множин, теорії відношень, теорії булевих функцій. Вміти: встановлювати основні теоретико-множинні співвідношення, використовувати апарат теорії булевих функцій.

Мета дисципліни – засвоєння базових знань з основ математичної логіки та теорії алгоритмів, включаючи вивчення семантичних моделей та формальних мов логіки, вивчення формально-аксіоматичних логічних систем та систем пошуку доведень, вивчення формальних моделей алгоритмів та алгоритмічно обчислюваних функцій, питань обчислюваності, розв’язності та нерозв’язності масових проблем. Навчальна дисципліна «Теорія алгоритмів та математична логіка» є складовою освітньо-професійної програми підготовки фахівців за першим (бакалаврським) рівнем вищої освіти галузі знань №12 «Інформаційні технології» зі спеціальності №124 «Системний аналіз» освітньо-професійної програми „Системний аналіз”. Дана дисципліна є обов’язковою навчальною за програмою „Системний аналіз” . Викладається у 4 семестрі 2 курсу в обсязі – 120 год. (4 кредити ECTS), зокрема: лекції –30 год., практичні заняття – 30 год., самостійна робота –60 год. У курсі передбачено 4 контрольні роботи. Завершується дисципліна – заліком в 4 семестрі.

1. Нікітченко М.С., Шкільняк С.С. Математична логіка та теорія алгоритмів. – К., 2008. 2. Трохимчук Р. М., Нікітченко М. С. Дискретна математика у прикладах і задачах. Київ. нац. ун-т ім. Тараса Шевченка. - Київ : Київський університет, 2017. - 248 с. 3. Зубенко В.В., Шкільняк С.С. Основи математичної логіка: навчальний посібник. К.: НУБіП України, 2020.– 102 с.

Лекція, практичні заняття, самостійна робота. Контрольні роботи 1– 4, поточне оцінювання.

Семестрове оцінювання: 1. Контрольна робота 1: РН 1.1, РН 2.2 – 20 балів / 12 балів. 2. Контрольна робота 2: РН 1.1, РН 2.1 – 20 балів / 12 балів. 3. Контрольна робота 3: РН 1.2, РН 1.3, РН 2.2 – 20 балів / 12 балів. 4. Контрольна робота 4 (питання з лекційного курсу): РН 1.1 – РН 1.3 – 20 балів / 12 балів. 5. Робота студентів на практичних заняттях (поточне оцінювання): РН2.2, РН 3.1 – 20 балів/ 12 балів. Підсумкове оцінювання у формі заліку. Виставляється за результатами роботи студентами впродовж усього семестру та не передбачає додаткових заходів оцінювання для успішних студентів.

Українська