Элементы математической логики

1. УМК

1.1. Рабочая программа

1.2. Календарно-тематический план

1.3. Методические указания для самостоятельной работы студентов

1.4. Инструкционные карты для выполнения практических заданий

1.5. Фонд оценочных средств

2. Логика как наука

3. Формулы логики

4. Булевы функции

5. Элементы теории множеств

6. Отношения. Соответствия

7. Предикаты. Бинарные отношения

8. Отображения и подстановки

9. Компетенции

9.1. ОК 1-9

9.2. ПК 1.1,1.2,2.4,3.4

10. Элементы высшей математики

10.1. ПК 1.1,1.2,2.4,3.4

11. Архитектура компьютерных сетей

11.1. ПК 1.1,1.2,1.5,2.3,2.4,3.1,3.2,3.4

12. Основы философии

12.1. ОК 1-9

13. Теория вероятностей и математическая статистика

13.1. ПК 1.1.,1.2,2.4,3.4

14. Основы программирования

14.1. ПК 1.1,-1.5,3.1