|
Читайте также: |
| Наименование элемента умений или знаний | Виды аттестации | |
| Текущий контроль | Промежуточная аттестация | |
| У1. Формулировать задачи логического характера и применять средства математической логики для их решения; | Оценка по результатам тестирования | Дифференцированный зачет (по билетам) |
| З1. Основные принципы математической логики, теории множеств и теории алгоритмов; | Оценка по результатам тестирования Расчетное задание | |
| З2. Формулы алгебры высказываний; | Оценка по результатам тестирования Расчетное задание | |
| З3. Методы минимизации алгебраических преобразований; | Оценка выполнения расчетное задание | |
| З4. Основы языка и алгебры предикатов | Оценка выполнения расчетное задание,выполнения домашнего задания |
Распределение типов контрольных заданий по элементам знаний и умений.
| Содержание учебного материала | Тип контрольного задания | ||||||||||
| У1 | З1 | З2 | З3 | ||||||||
| по программе УД | |||||||||||
| Раздел 1. Тема 1.1. Высказывания и операции над ними. | Тест | Тест | Тест | ||||||||
| Раздел 1. Тема 1.2. Формулы алгебры высказываний. | Тест | Тест | Тест | ||||||||
| Раздел 1. Тема 1.3. Нормальные формы для формул алгебры высказываний. | Расчетное задание | Расчетное задание | Расчетное задание | Расчетное задание | |||||||
| Раздел 1. Тема 1.4. Приложения алгебры высказываний к логико-математической практике. | Расчетное задание | Расчетное задание | Расчетное задание | ||||||||
| Раздел 2. Булевы функции. Тема 2.1. Множества, отношения, функции. | Дом. работа | Дом. работа | |||||||||
| Раздел 2. Тема 2.2. Булевы функции от одного, двух аргументов и от n аргументов. | Дом. работа | ||||||||||
| Раздел 3. Тема 3.1 Основные понятия связанные с предикатами. | Расчетное задание | Расчетное задание | |||||||||
| Раздел 3. Тема 3.2. Кванторные операции над предикатами. | Дом. работа | Расчетное задание | |||||||||
| Раздел 3. Тема 3.3. Применение логики предикатов к логико-математической практике. | Дом. работа | Расчетное задание | Дом. работа | Дом. работа | |||||||
| Раздел 4. Тема 4.1. Задачи и алгоритмы | Расчетное задание | ||||||||||
| Раздел 4. Тема 4.2. Нормальный алгоритм Маркова. Машина Тьюринга | Расчетное задание | ||||||||||
Распределение элементам знаний аттестации.
Дата добавления: 2015-07-20; просмотров: 148 | Нарушение авторских прав
| <== предыдущая страница | | | следующая страница ==> |
| Результаты освоения дисциплины, подлежащие проверке | | | Типов и количества контрольных заданий по и умений, контролируемых на промежуточной |