БАЛЛЬНАЯ ОЦЕНКА ТЕКУЩЕЙ УСПЕВАЕМОСТИ СТУДЕНТА

Третий семестр

№ п/п

Тема

Формы текущего контроля

решение задач
на пр. занятии

коллоквиум

контрольная
работа

другие
формы

Итого
количество
баллов

Модуль 1. Логика высказываний. Исчисление высказываний.

1

Формулы алгебры логики. Равносильность. СКНФ и СДНФ. Релейно-контактные схемы. Доказательство секвенций.

5

25

30

Всего

5

25

30

Модуль 2. Логика предикатов. Исчисление предикатов.

1

Эквивалентные формулы.

4

4

8

2

Исчисление предикатов

1

20

1

22

Всего

5

20

5

30

Модуль 3. Алгоритмы и рекурсивные множества.

1

Частично-рекурсивные функции.

2

2

2

Машина Тьюринга.

3

 20

15

38

Всего

5

20

15

40

Итого (часов, баллов)

15

20

60

5

100