Вимоги до оформлення домашньої контрольної роботи

Домашня контрольна робота виконується у звичайному шкільному зошиті, перша сторінка якого оформлюється за зразком додатку 1. Опис виконання першої частини завдання здійснюється за зразком [1], стор.37-63; виконання другої частини завдання здійснюється за прикладами, наведеними у попередньому розділі «Методичних вказівок».

Графік виконання домашньої контрольної роботи

Термін виконання ДКР – 3 тижні з моменту отримання завдання. За цей період проводиться консультація.

Порядок виконання домашньої контрольної роботи

Для виконання домашньої контрольної роботи необхідно отримати свій варіант завдання у викладача. Завдання ДКР складається з двох частин. Для виконання першої частини завдання потрібно скористатися Перша частина завдання полягає у тому, щоб перевірити правильність заданого міркування або сумісність заданої

Для підготовки до виконання ДКР слід скористатися конспектом лекцій та «Методичними вказівками», а також вивчити матеріал [1], стор. 4-36; [2], стор. 178-183, 195-200, 510-526. Для поглибленого вивчення теми можна скористатися додатковою літературою. ДКР виконується у зошиті та здається на перевірку викладачеві. Необхідно захистити ДКР згідно з графіком, який визначається викладачем.

Оцінювання домашньої контрольної роботи

Повне виконання, роботу захищено 24-27 балів,

повне виконання, роботу не захищено 10 балів,

неповне виконання, роботу не захищено 0 балів.

Максимальна кількість балів за виконання ДКР – 27.

Список рекомендованої літератури

Основна

1. Дискретний аналіз. Курс лекцій для студентів спеціальностей, пов’язаних з інформаційними технологіями та захистом інформації. Частина 2. Елементи математичної логіки. Укладач Мороховець М.К. – К.: НТУУ «КПІ», 2010. – 70 с.

2. Капітонова Ю.В., Кривий С.Л., Летичевський О.А., Луцький Г.М., Печурін М.К. Основи дискретної математики. – К.: Наукова думка, 2002. – 580 с.

Додаткова

1. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. – М.: Наука, 1983. – 360 с.

2. Мендельсон Э. Введение в математическую логику. – М.: Наука, 1984. – 320 с.

ДОДАТОК 1

До методичних вказівок

НАЦІОНАЛЬНИЙ ТЕХНІЧНИЙ УНІВЕРСИТЕТ УКРАЇНИ

“КИЇВСЬКИЙ ПОЛІТЕХНІЧНИЙ ІНСТИТУТ”

Фізико-технічний інститут

Кафедра математичних методів захисту інформації

ДОМАШНЯ КОНТРОЛЬНА РОБОТА

з дисципліни

МАТЕМАТИЧНА ЛОГІКА

ТА ТЕОРІЯ АЛГОРИТМІВ

Варіант №_______

Виконав: студент ________ курсу групи______ ___________________________________ (ПІБ студента) Прийняв: Викладач__________________________ (ПІБ викладача) Кількість балів: ___________________________

20__

31