Інфопакет

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

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

Перший

2021/2022

4 Семестр

4

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

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

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

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

Лекція, практичні заняття, самостійна робота

Контрольна робота, залік

Українська