Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
ЭМЛ КОСЫ 230111.docx
Скачиваний:
0
Добавлен:
01.07.2025
Размер:
434.13 Кб
Скачать

ПРАВИТЕЛЬСТВО САНКТ-ПЕТЕРБУРГА

КОМИТЕТ ПО НАУКЕ И ВЫСШЕЙ ШКОЛЕ

Государственное бюджетное образовательное учреждение

среднего профессионального образования

«Санкт-Петербургский технический колледж управления и коммерции»

УТВЕРЖДАЮ

Заместитель директора по УВР

Минюк Н.Б.

« » 20 г.

КОМПЛЕКТ

КОНТРОЛЬНО-ОЦЕНОЧНЫХ СРЕДСТВ

ПО УЧЕБНОЙ ДИСЦИПЛИНЕ

ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ

по специальности среднего профессионального образования

230111 «Компьютерные сети»

(код и наименование специальности)

Санкт-Петербург,

2013г.

Комплект контрольно-оценочных средств разработан в соответствии с требованиями Федерального государственного образовательного стандарта (далее – ФГОС) по специальности среднего профессионального образования (далее – СПО) 230111 «Компьютерные сети» и рабочего учебного плана.

.

Составитель:

Преподаватель Евстратова Марина Вячеславовна

Комплект контрольно-оценочных средств рассмотрен и одобрен на заседании предметно-цикловой комиссии программирования и компьютерных сетей

«__» ________ 20__г. протокол № ____

Председатель П(Ц)К __________Т.В. Подкопаева

Методист УЦИТО-________________Л.П. Шаройкина

I. Паспорт фонда оценочных средств по дисциплине ен.01 «элементы высшей математики»

№ п/п

Контролируемые разделы (темы) дисциплины*

Порядковый номер контролируемых знаний и умений

Код контролируемой компетенции

Наименование и вид

оценочного средства

Множества и отношения

У.1

З.1

ОК1-9

ПК 1.1, 2.3

Фонд оценочных средств для самостоятельной работы Комплект оценочных средств для контрольных работ № 1

Комплект оценочных средств по лабораторным работам № 1-5

Основы алгебры логики

У.1

З.1-З.3

ОК1-9

ПК 1.2, 1.4, 3.5

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

Варианты контрольной работы №2. Комплект оценочных средств по лабораторной работе

№ 6-20

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

У.1

З.4

ОК1-9

ПК 1.1,3.4

Комплект оценочных средств по лабораторной работе № 21-24

Элементы теории алгоритмов

З.1

У.1

ОК1-9

ПК 1.2

2.4

3.4

Комплект оценочных средств для рубежного контроля

Форма промежуточной аттестации по дисциплине - экзамен.

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

Результаты обучения

(освоенные умения, усвоенные знания)

Показатели оценки результатов обучения

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

Тематическое тестирование,

защита всех лабораторно- практических работ№1-30, рефератов, презентаций, проектов.

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

Тематическое тестирование,

защита, лабораторно-практических работ №6-№11, рефератов, презентаций, проектов.

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

Устные опросы, тематическое тестирование, защита, лабораторно- практических работ.№12-№19,рефератов, презентаций, проектов.

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

Выполнение лабораторно-практических работ №20-№27, текущая контрольная работа по разделу.

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

Выполнение текущих контрольных работ№1,2,3.

Рубежный контроль №1.

Прохождение промежуточной аттестации