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

Департамент образования и науки Кемеровской области Государственное бюджетное образовательное учреждение Среднего профессионального образования

«Прокопьевский политехнический техникум»

Комплект

Контрольно-оценочных оценочных средств учебной дисциплины

ЕН.02. Элементы математической логики основной образовательной программы (ОПОП) по направлению подготовки (специальности) 230111 Компьютерные сети

Чащина Е.А.

г. Прокопьевск 2012г.

1. Общие положения

Контрольно-оценочные средства (КОС) предназначены для контроля и оценки образовательных достижений обучающихся, освоивших программу учебной дисциплины Элементы математической логики.

КОС включают контрольные материалы для проведения текущего контроля и промежуточной аттестации в форме дифференцированного зачета.

КОС разработаны на основании положений:

основной профессиональной образовательной программы по специальности СПО230111 Компьютерные сети

программы учебной дисциплины Элементы математической логики.

2. Результаты освоения дисциплины, подлежащие проверке

Результаты обучения (освоенные умения, усвоенные знания)

Основные показатели оценки результатов

мение формулировать задачи огического характера и применять редства математической логики для их ешения

пределение значения истинности высказываний.

остроение составных высказываний. Составление таблиц истинности ля формул

риведение формул к совершенным нормальным формам прощение формул логики до минимальной ДНФ риведение формул к совершенным нормальным формам

ешение логических задач

ыполнение операции над множествами ахождение мощности множеств

ешение задач при помощи кругов Эйлера

ычисление кортежей и декартового произведения множеств ешение задачалгебры Буля

ешение логических задач при помощи электронных таблиц. сследование релейно-контактных схем при помощи алгебры логики ыполнение логических операций над предикатам

ыполнение операций с кванторами рименение логики предикатов

оставление массовых и индивидуальных задач оставление алгоритмов

ычислимые функциипо Тьюрингу

нание основных принципов атематической логики, теории множеств

теории алгоритмов

ормулировка высказывания и высказывательных форм. ормулировка основных операций: отрицание, конъюнкция и

изъюнкция. Союзы языка и логические операции (Язык и логика). мпликанция, эквиваленция, сумма по модулю два, штрих Шеффера,

трелка Пирса. Таблицы истинности.Классификация множеств. ощность множеств.

Кортежи и декартово произведение множеств.

риложение кругов Эйлера к решению логических задач. Описание инарных отношений и их свойств. Описание соответствия между

ножествами. Отображения.Функции.Описание элементов теории

лгоритмов. Формулировка определения алгоритма писание машины Тьюринга.

писание нормального алгоритма Марковой

нание формул алгебры высказываний

лассификация формул алгебры логики .Перечисление оследовательности действий при решении логических задач.

нание методов минимизации лгебраических преобразований

риложение алгебры высказываний к логико-математической практике. риложение нормальных форм для формул алгебры высказываний.

нание основы языка и алгебры редикатов

оюзы языка и логические операции

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

редикатами

писание процессов применения логики предикатов к логико-атематической практике.

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