Водитель категории В

Описание

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ АЛТАЙСКОГО КРАЯ
КРАЕВОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ПРОФЕССИОНАЛЬНОЕ
ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ



Согласовано
Зам.директора по УПР
_________И.А.Михель
__08___2019г
Утверждено
приказом директора
№ __231__ от _08__2019 г.






КОМПЛЕКТ КОНТРОЛЬНО-ОЦЕНОЧНЫХ СРЕДСТВ
ПРОМЕЖУТОЧНОЙ АТТЕСТАЦИИ
ПО ДИСЦИПЛИНЕ МАТЕМАТИЧЕСКОГО
И ОБЩЕГО ЕСТЕСТВЕННОНАУЧНОГО ЦИКЛА
ЕН.01 МАТЕМАТИКА
ПРОГРАММЫ ПОДГОТОВКИ
СПЕЦИАЛИСТОВ СРЕДНЕГО ЗВЕНА ПО СПЕЦИАЛЬНОСТИ
19.02.10 ПРИКЛАДНАЯ ИНФОРМАТИКА (ПО ОТРАСЛЯМ)


Профиль профессионального образования: __Технический_____



Рассмотрено на заседании
Методической комиссии
Протокол от _08__2019г.
№__1___










Яровое
2019



1. ОБЩИЕ ПОЛОЖЕНИЯ
1.1 Формой промежуточной аттестации по дисциплинам ЕН.01 Математика является дифференцированный зачет (комплексный с ЕН.03. Физика)
1.2 В результате аттестации по дисциплине осуществляется проверка следующих знаний и умений:

Умения ЕН.01
У.1
формулировать задачи логического характера и применять средства математической логики для их решения
Знания ЕН.01
З.1
основные принципы математической логики, теории множеств и теории алгоритмов;
З.2
формулы алгебры высказываний;
З.3
методы минимизации алгебраических преобразований;
З.4
основы языка и алгебры предикатов

2. ЗАДАНИЯ ДЛЯ ЗАЧЁТА
Пакет обучающегося
Инструкция
1. Зачёт проводится в форме письменного ответа
2. Внимательно прочитайте вопрос
3. Ответьте на вопросы и решите задачу
4. Перепишите в тетрадь и вышлите фото


Перечень контрольных вопросов по дисциплине для промежуточной аттестации
Предмет и задачи науки логики. Логика и мышление. Логические парадоксы. Силлогизмы.
Основные этапы развития логики. Классическая и современная логики.
Понятие математической логики. Ее место и роль среди других наук.
Понятие формализации. Алфавиты, слова, языки. Формальные модели.
Формальные теории: определение, построение, использование.
Вывод формул в формальной теории. Интерпретация, полнота и непротиворечивость формальной теории.
Алгебра высказываний. Пропозициональные формулы. Логические операции.
Интерпретация, тавтология, противоречие. Логическое следование и логическая эквивалентность.
Удаление и восстановление скобок в пропозициональных формулах. Практические примеры.
Законы логики и их формальное представление. Ловушки смысла и языка.
Понятие теоремы. Основные способы доказательства теорем.
Основная теорема логического вывода и ее доказательство.
Ошибочные доказательства и парадоксы.
Дедуктивные и индуктивные доказательства. Примеры индуктивных доказательств.
Силлогизмы с точки зрения формальной теории.
Формальная теория для исчисления высказываний. Вывод формул в этой теории.
Метод резолюций в логике высказываний.
Синтаксис и семантика языка логики предикатов. Формулы логики предикатов.
Ограниченные предикаты. Сколемизация формул. Клазуальная форма.
Метод резолюций в логике предикатов.
Формальная теория для исчисления предикатов.
Диаграммы Венна (Эйлера) и их использование.
Формальная арифметика. Теорема Генцена.
Формальная арифметика. Теорема Гудстейна.
Неклассические логики: модальная, темпоральная, нечеткая, алгоритмическая.
Перечень контрольных задач по дисциплине для промежуточной аттестации
Вариант №1
Установите соответствие между термином, формулой, свойством, формулировкой и математическим объектом.
Какой из математических объектов является производной второго порядка?
Какой из математических объектов является неопределенным интегралом?
Какой из пределов является первым замечательным?
Какой из математических объектов является сложной функцией?
Какое выражение является неопределенностью вида ?
Какой из пределов является вторым замечательным?
Какая из формул является формулой Ньютона - Лейбница?
Какой из математических объектов является пределом функции на бесконечности?
Какая формула вычисляет производную дроби?
Какой из математических объектов является определенным интегралом?
Какое выражение является неопределенностью вида ?
Какая формула вычисляет производную произведения?
Какой из математических объектов является криволинейной трапецией?
Какая формула позволяет найти угловой коэффициент касательной к кривой графика функции?
Какая из формул позволяет найти скорость по известному пути?




















Вариант №2
2. Установите соответствие между термином, формулой, свойством, формулировкой и математическим объектом.

Какой из математических объектов является неопределенным интегралом?
Какой из пределов является первым замечательным?
Какой из математических объектов является производной второго порядка?
Какой из пределов является вторым замечательным?
Какой из математических объектов является сложной функцией?
Какое выражение является неопределенностью вида ?
Какая из формул является формулой Ньютона - Лейбница?
Какая формула вычисляет производную дроби?
Какой из математических объектов является пределом функции на бесконечности?
Какое выражение является неопределенностью вида ?
Какой из математических объектов является криволинейной трапецией?
Какой из математических объектов является определенным интегралом?
Какая формула вычисляет производную произведения?
Какая формула позволяет найти угловой коэффициент касательной к кривой графика функции?
Какая из функций на графике является непрерывной?
























Критерии оценки
Неудовлетворительно
Не способен излагать материал последовательно, допускает существенные ошибки, неуверенно, с большими затруднениями выполняет практические задания. Не способен продолжить обучение без дополнительных занятий
Удовлетворительно
Способен применить знания только основного материала, допускает неточности, недостаточно правильные формулировки. Допускает нарушения логической последовательности в изложении программного материала. Имеются затруднения с выводами. Способен к решению конкретных практических задач из числа предусмотренных рабочей программой
Хорошо
Способен логично мыслить, системно излагает материал, не допуская существенных неточностей. Способен эффективно применять теоретические положения при решении практических вопросов и задач, владеет необходимыми навыками и приемами их выполнения. Допускает единичные ошибки в решении проблем
Отлично
Свободно и уверенно оперирует предоставленной информацией, отлично владеет навыками анализа и синтеза информации, знает все основные методы решения проблем, предусмотренные учебной программой, знает типичные ошибки и возможные сложности при решении той или иной проблемы и способен выбрать и эффективно применить адекватный метод решения конкретной проблемы. Способен легко ориентироваться при видоизменении заданий, использует в ответе материал монографической литературы, правильно обосновывает принятое решение, владеет разносторонними навыками и приемами выполнения практических задач