- •Контрольно-оценочных оценочных средств учебной дисциплины
- •1. Общие положения
- •2. Результаты освоения дисциплины, подлежащие проверке
- •3. Распределение оценивания результатов обучения по видам контроля
- •4. Распределение типов контрольных заданий по элементам знаний и умений.
- •5. Распределение элементам знаний аттестации.
- •6. Структура контрольного задания 6.1.Тестовое задание
- •6.1.1. Текст задания
- •6.1.3. Перечень объектов контроля и оценки
- •6.2. Тестовое задание
- •6.2.1. Текст задания
- •6.2.3. Перечень объектов контроля и оценки
- •6.3. Тестовое задание 6.3.1. Текст задания
- •6.3.3. Перечень объектов контроля и оценки
- •6.4. Расчетное задание 6.4.1. Текст задания
- •6.4.3. Перечень объектов контроля и оценки
- •6.5. Расчетное задание 6.5.1. Текст задания
- •6.5.3. Перечень объектов контроля и оценки
- •6.6. Домашняя работа 6.6.1. Текст задания
- •6.6.3. Перечень объектов контроля и оценки
- •6.7. Расчетное задание 6.7.1. Текст задания
- •6.7.3. Перечень объектов контроля и оценки
- •6.8. Расчетное задание 6.8.1. Текст задания
- •6.8.3. Перечень объектов контроля и оценки
- •6.9. Расчетное задание 6.9.1. Текст задания
- •6.9.3. Перечень объектов контроля и оценки
- •6.10. Домашняя работа 6.10.1. Текст задания
- •6.10.3. Перечень объектов контроля и оценки
- •9. Перечень объектов контроля и оценки
- •10. Перечень материалов, оборудования и информационных источников, используемых в аттестации
Департамент образования и науки Кемеровской области Государственное бюджетное образовательное учреждение Среднего профессионального образования
«Прокопьевский политехнический техникум»
Комплект
Контрольно-оценочных оценочных средств учебной дисциплины
ЕН.02. Элементы математической логики основной образовательной программы (ОПОП) по направлению подготовки (специальности) 230111 Компьютерные сети
Чащина Е.А.
г. Прокопьевск 2012г.
1. Общие положения
Контрольно-оценочные средства (КОС) предназначены для контроля и оценки образовательных достижений обучающихся, освоивших программу учебной дисциплины Элементы математической логики.
КОС включают контрольные материалы для проведения текущего контроля и промежуточной аттестации в форме дифференцированного зачета.
КОС разработаны на основании положений:
основной профессиональной образовательной программы по специальности СПО230111 Компьютерные сети
программы учебной дисциплины Элементы математической логики.
2. Результаты освоения дисциплины, подлежащие проверке
Результаты обучения (освоенные умения, усвоенные знания)
|
Основные показатели оценки результатов
|
мение формулировать задачи огического характера и применять редства математической логики для их ешения
|
пределение значения истинности высказываний.
остроение составных высказываний. Составление таблиц истинности ля формул риведение формул к совершенным нормальным формам прощение формул логики до минимальной ДНФ риведение формул к совершенным нормальным формам ешение логических задач
ыполнение операции над множествами ахождение мощности множеств ешение задач при помощи кругов Эйлера
ычисление кортежей и декартового произведения множеств ешение задачалгебры Буля ешение логических задач при помощи электронных таблиц. сследование релейно-контактных схем при помощи алгебры логики ыполнение логических операций над предикатам ыполнение операций с кванторами рименение логики предикатов оставление массовых и индивидуальных задач оставление алгоритмов ычислимые функциипо Тьюрингу
|
нание основных принципов атематической логики, теории множеств теории алгоритмов
|
ормулировка высказывания и высказывательных форм. ормулировка основных операций: отрицание, конъюнкция и изъюнкция. Союзы языка и логические операции (Язык и логика). мпликанция, эквиваленция, сумма по модулю два, штрих Шеффера, трелка Пирса. Таблицы истинности.Классификация множеств. ощность множеств. Кортежи и декартово произведение множеств.
риложение кругов Эйлера к решению логических задач. Описание инарных отношений и их свойств. Описание соответствия между ножествами. Отображения.Функции.Описание элементов теории
|
|
лгоритмов. Формулировка определения алгоритма писание машины Тьюринга. писание нормального алгоритма Марковой
|
нание формул алгебры высказываний
|
лассификация формул алгебры логики .Перечисление оследовательности действий при решении логических задач.
|
нание методов минимизации лгебраических преобразований
|
риложение алгебры высказываний к логико-математической практике. риложение нормальных форм для формул алгебры высказываний.
|
нание основы языка и алгебры редикатов
|
оюзы языка и логические операции
ормулировка основных понятий связанные с предикатами еречисление последовательности действий кванторных операции над редикатами
писание процессов применения логики предикатов к логико-атематической практике.
|