№ п/п
Тема
Лекции, час
Практическ
занятия, час
Самостоятельная и
индивидуальная работа, час
Итого часов
по теме
Итого
количество
баллов
Модуль 1
1
Булевы функции и логика высказываний.
4
2
8
14
5
2
Исчисление высказываний.
6
6
14
26
30
Всего
10
8
22
40
35
Модуль 2
1
Логика предикатов.
6
2
8
16
25
2
Фильтры и фильтрованные произведения.
6
2
4
12
5
Всего
12
4
12
28
30
Модуль 3
1
Исчисление предикатов.
6
2
4
12
30
2
Элементы теории алгоритмов.
8
4
8
20
5
Всего
14
6
12
32
35
Итого (часов, баллов)
36
18
46
100
100
Тематический план изучения дисиплины «Математическая логика и теория алгоритмов» . Математика Третий семестр
БАЛЛЬНАЯ ОЦЕНКА ТЕКУЩЕЙ УСПЕВАЕМОСТИ СТУДЕНТА «Математическая логика и теория алгоритмов» . Математика Третий семестр
№ п/п | Тема | решение задач | Домашняя, самостоят. работа | Другие виды | контрольная | Итого | |
Модуль 1 | |||||||
1 | Булевы функции и логика высказываний. | 2 | 3 | 5 | |||
2 | Исчисление высказываний. | 2 | 3 | 25 | 30 | ||
Всего | 4 | 6 | 25 | 35 | |||
Модуль 2 | |||||||
1 | Логика предикатов | 2 | 3 | 20 | 25 | ||
2 | Фильтры и фильтрованные произведения | 2 | 3 | 5 | |||
Всего | 4 | 6 | 20 | 30 | |||
Модуль 3 | |||||||
1 | Исчисление предикатов | 2 | 3 | 25 | 30 | ||
2 | Элементы теории алгоритмов.. | 2 | 3 | 5 | |||
Всего | 4 | 6 | 25 | 35 | |||
Итого (часов, баллов) | 12 | 18 | 70 | 100 |
