Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Б.3.3.5.1. Изуч.элементов матем.логики ДО 1-2...doc
Скачиваний:
0
Добавлен:
01.05.2025
Размер:
439.81 Кб
Скачать

Технологическая карта по части курса _4_ семестр

ОСНОВНОЙ МОДУЛЬ

(1 з.е.= 36 ч: лекции – 6 ч, практические – 10 ч., самостоятельная работа - 18 ч., к.т. нет)

80%

Проектируемый результат:

знание основных понятий математической логики;

умение анализировать структуру математических утверждений;

владение анализом структуры определений понятий и простейших рассуждений;

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

Контрольная точка 1 (до ____ 201 г.)

(0,5 з.е.= 18 ч: лекции – 4 ч., практические - 6 ч, самостоятельная работа – 8 ч.)

Весовой коэффициент

50 %

Формирование компетенций

(ОК-1, СК-4)

и знаний, умений и навыков

Форма контроля

1

• Знание основных способов определения математических понятий, их виды;

  • Знание требований к определению через род и видовое отличие.

Проверочная работа по теме «Математические понятия» (в форме математического диктанта).

30%

2

• Знание основных операций над высказываниями, их свойств.

Терминологический опрос на лекциях и практических занятиях

20%

3

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

• Умение устанавливать логческую структуру высказывательных форм, находить их множество истинности.

• Владеть уменем строить таблицы истинност составных высказываний.

Самостоятельная работа по теме «Высказывания и предикаты»: Умение строить таблицы истинности для высказываний, находть множество истинности элементарных и составных предикатов.

20%

4

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

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

30%

Итоговый % за 1 контрольную точку.

На положительную оценку min 50%, max 100%

Контрольная точка 2 ( до _____201 г)

(0,5 з.е.= 18 ч: лекции – 2 ч., практические - 4 ч, самостоятельная работа – 10 ч.)

Весовой коэффициент

50 %

Формирование компетенций

(ОК-1, СК-4)

и знаний, умений и навыков

Форма контроля

1

• Знание определений отношения логического следования и равносильности между предикатами

• Знание строения и видов теорем

Терминологический опрос на лекциях и практических занятиях

30%

2

• Умение устанавливать отношение логического следования между предикатами.

Самостоятельная работа по теме «Отношения логического следования и равносильности» (умения устанавливать указанное отношение)

.

20%

3

• Владение формулировкой разных видов теорем, определением их значений истинности.

Проверочная работа по теме «Отношение логического следования» (умение формулировать утверждения при помощи слов «необходимо», достаточно» и «необходимо и достаточно»).

20%

4

• Знание определений отношения логического следования и равносильности между предикатами, строения и видов теорем.

  • Умение определять отношение логического следования между предикатами.

Контрольная работа 1, включающая задания по темам: Математческие понятия. Высказывания и высказывательные формы (предикаты). Отношение логического следования и равносильности.

30%

Итоговый % за 2 контрольную точку

На положительную оценку min 50%, max 100%

Итоговый % за 1 и 2 контрольные точки

Надбавка (активность на практических занятиях, подготовка презентаций по теме)

%

ДОПОЛНИТЕЛЬНЫЙ МОДУЛЬ

20 %

Экзамен/зачет

Итого:

Рейтинг

Оценка по рейтингу

Каждый вид работы (или контрольная точка) оценивается по 100-балльной шкале.

100-балльная система оценивания переводится в 5-ти балльную шкалу в соответствии с «Положением о рейтинговом оценивании студентов»:

Менее 50 баллов – оценка «2»

С 50 до 65 баллов – оценка «3»

С 65 до 83 баллов – оценка «4»

С 83 до 100 баллов – оценка «5»

Ф.И.О. преподавателя

Утверждено на заседании кафедры «___»_______20__г. Протокол №______

Зав. кафедрой________________________