Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
kos_ehlementy_matematicheskoj_logiki.doc
Скачиваний:
254
Добавлен:
30.05.2015
Размер:
9.23 Mб
Скачать

5. Распределение элементам знаний аттестации.

типов и количества контрольных заданий по и умений, контролируемых на промежуточной

Содержание учебного материала по программе УД

Тип контрольного задания

У1

З1

З2

З3

З4

Раздел 1. Тема 1.1. Высказывания и операции над ними

Б№1

Раздел 1. Тема 1.2. Формулы алгебры высказываний.

Б№20

Б№1

Б№8

Раздел 1. Тема 1.3. Нормальные формы для формул алгебры высказываний.

Б№9

Б№7

Б№24

Раздел 1. Тема 1.4. Приложения алгебры высказываний к логико-математической практике.

Б№11

Б№21

Б№12

Б№25

Раздел 2. Булевы функции. Тема 2.1. Множества, отношения, функции.

Б№16

Раздел 2. Тема 2.2. Булевы функции от одного, двух аргументов и от n аргументов.

Раздел 3. Тема 3.1 Основные понятия связанные с предикатами.

Б№2

Б№10

Б№17

Б№19

Раздел 3. Тема 3.2. Кванторные операции над предикатами.

Б№4

Б№5

Б№18

Раздел 3. Тема 3.3. Применение логики предикатов к логико-математической практике.

Б№2

Б№6

Б№2

Раздел 4. Тема 4.1. Задачи и алгоритмы

Б№5

Б№22

Раздел 4. Тема 4.2. Нормальный алгоритм Маркова. Машина Тьюринга

Б№14

Б№15

Б№23

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]