- •Міністерство освіти і науки україни
- •Самостійної роботи студентів, поточного і підсумкового контролю їх знань
- •Київ кнеу 2015
- •1. Вступ
- •2. Тематичний план дисципліни
- •3. Зміст науки за темами
- •4.2. Плани контактних занять для студентів заочної форми навчання Контактне заняття «Рекурсивні функції»
- •План заняття
- •Інформаційне забезпечення
- •План заняття
- •Інформаційне забезпечення
- •План заняття
- •Інформаційне забезпечення
- •4.3. Плани навчальної роботи для студентів заочної форми навчання в міжсесійний період
- •5. Самостійна робота студентів
- •6. Поточний та підсумковий контроль знань.
- •6.1. Очна форма навчання карта самостійної роботи студента
- •Порядок поточного і підсумкового оцінювання знань з науки
- •6.2. Заочна форма навчання карта самостійної роботи студента
- •Довідкова інформація:
- •9. Рекомендована література (основна і додаткова)
9. Рекомендована література (основна і додаткова)
Основна
Комп’ютерна дискретна математика: Підручник / М.Ф. Бондаренко, Н.В. Білоус, А.Г. Руткас. – Харків, «Компанія СМІТ» 2004. – 480 с.
Математическая логика и теорія алгоритмов: Учеб. Пособие для студ. высш. учеб. заведений / В.И. Игошин. – М.: Издательский центр «Академия», 2004. – 448 с.
Задачи и упражнения по математической логике и теории алгоритмов: / В.И. Игошин. – М.: Издательский центр «Академия», 2004. – 400с.
Лісовик Л.П., Шкільняк С.С, Теорія алгоритмів: Навч. посібник.– К.: Видавничий поліграфічний центр «Київський університет», 2003. – 163 с.
Додаткова
Капітонова Ю.В. та ін.. Основи дискретної математики/ Капітонова Ю.В., С.Л. Кривий, О.А. Летичевскький та ін. – К.: Накова думка, 2002. – 578 с.
Новиков Ф.А. Дискретная математика для программистов. – Спб.: питер, 2001.– 304 с..
Грин Д., Кнут Д. Математические методы анализа алгоритмов. – М.: Мир, 1987. – 120 с.
Шкільняк С.С. Математична логіка: приклади і задачі. – Київ: ВПЦ «Київський університет», 2002. – 56 с.