Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика



Скачать 277.89 Kb.
страница2/3
Дата01.02.2013
Размер277.89 Kb.
ТипУчебно-методический комплекс
1   2   3

4.1 Критерии оценок


В основе оценки знаний по предмету лежат следующие основные требования:

  • освоение всех разделов теоретического курса Программы;

  • умение применять полученные знания к решению конкретных задач.

Ответ заслуживает отличной оценки, если экзаменуемый показывает знания, в полной степени, отвечающие предъявляемым к ответу требованиям: это требование основных понятий и приемов решения задач. Отличная оценка характеризует свободную ориентацию экзаменуемого в предмете. Ответы на вопросы, в том числе и дополнительные, должны обнаруживать уверенное владение терминологией, основными умениями и навыками.

Хорошая оценка характеризует тот ответ, который не в полной степени удовлетворяет вышеперечисленным критериям, однако, экзаменуемый обнаруживает прочные знания в объеме курса. Ответ должен быть достаточно аргументирован, вопросы глубоко и осмысленно изложены.

Оценка «удовлетворительно» выставляется за то, что ответ экзаменуемого соотносится с основными требованиями, т.е. имеются в виду твердые знания в объеме учебной программы и умение владеть терминологией. Удовлетворительная оценка выставляется за знание в целом, однако, отдельные детали могут быть упущены.

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

Дисциплина разбита на 4 модуля.

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

Уровень успеваемости задается 60% (оценка удовлетворительно)

Оценка «хорошо» - 75%.

Оценка «отлично» - 90%.

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

  2. При повторной сдаче коллоквиума, сдаче его не графику (без уважительных причин) максимальный балл снижается до 12.

  3. Если студент не имеет уровня успеваемости или хочет повысить рейтинговую оценку, он сдает экзамен. На экзамене предлагается два вопроса и тест. Каждое задание оценивается в 10 баллов. Итого (с учетом рейтинга) максимальное число баллов становится 130.

Если студент набрал 50% (65 баллов) - ставится оценка удовлетворительно, если 70% (91 балл) - оценка «хорошо», если 85% (110 баллов) - оценка «отлично».


Технологическая карта




Название блока (модуля)

Вид контроля, содержание

Возможное количество баллов

Контрольные сроки

Максимальное количество баллов по блоку

  1. Алгебра логики.

Текущий

25

  1. Высказывания и операции над ними

0-3




  1. Формулы алгебры логики

3. Тавтологии

0-3

0-3




4. Нормальные и совершенные формы

0-3




5. Приложение алгебры логики

0-3




Блочный

  1. Презентация/буклет

0-5




2. Расчетно-графическая работа №1

0-5



  1. Исчисление высказываний.

Текущий

20

  1. Система аксиом и правила вывода

0-3




  1. Теорема о дедукции

  2. Правила вывода

0-3




  1. Непротиворечивость и полнота ИВ

0-3




Блочный

  1. Коллоквиум №1

(теория, устно)

0-11




  1. Алгебра предикатов.

Текущий

15

  1. Предикат, операции, кванторы

0-3




  1. Формулы АП

0-3




  1. Ощезначимость и выполнимость

0-3




Блочный

Расчетно-графическая работа №2

0-6




  1. Исчисление предикатов.

  1. Аксиомы и правила вывода ИП

  2. Теорема о дедукции

  3. Непротиворечивость

  4. Теорема Геделя о неполноте

0-10




10

  1. 1-4.

Семестровый контроль

0-30




30

Итого

100


Примечание. Технологическая карта выдается студентам на первом занятии с указанием конкретных сроков прохождения контроля и правил начисления баллов. В дальнейшем правила игры не меняются.
4.3 Примерный перечень контрольных вопросов и заданий

к коллоквиуму.

1. Предмет математической логики.

2. Определение высказывания. Логические операции над высказываниями, примеры.

3. Определение формулы. Истинностные значения формул. Определение функции. Представления истинностных функций формулами.

4. Определения тавтологии и противоречия. Закон контрапозиции, исключенного третьего, двойного отрицания.

5. Равносильность. Равносильные преобразования формул. Связь равносильностей с тавтологиями.

6. Определения ДН-формы и КН-формы, приводимость всякой формулы к нормальной форме, примеры.

7. Логическое следствие

8. Закон двойственности.

9. Определения СДН-формы и СКН-формы, алгоритм нахождения.

10. Аксиомы исчисления высказываний и правила вывода. Доказуемость формул. Выводимость из гипотез, правила выводимости.

11. Теоремы дедукции.

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

13. Полнота и разрешимость исчисления высказываний.

14. Независимость аксиом.
4.4 Примерный вариант тестовых заданий.

  1. Укажите, какой ученый является основателем формальной логики?

  1. Буль

  2. Евклид

  3. Аристотель

  4. Колмогоров

  5. Лейбниц

  1. Какие из следующих предложений являются высказываниями?

  1. Какое чудесное утро!



  2. Треугольник называется равнобедренным, если его боковые стороны равны.

  3. Число x не превосходит единицы.

  4. Если треугольник равнобедренный, то высота, опущенная на основание, одновременно является медианой и биссектрисой.

  1. Укажите ложное высказывания:

  1. 210 < 1000.

  2. Уравнение не имеет действительных корней.

  3. >14.

  4. Луна – естественный спутник Земли.

  5. Существуют действительные иррациональные числа.

  1. Укажите отрицание высказывания: «Существуют иррациональные числа»

  1. Все числа иррациональные.

  2. Все числа рациональные.

  3. Существуют рациональные числа.

  4. Все числа нерациональные.

  5. Нет иррациональных чисел.

  1. Укажите унарную алгебраическую операцию:











  1. Сформулируйте и запишите в виде конъюнкции или дизъюнкции условие истинности высказывания |a| > 3 (а, b R).











  1. Укажите, какие из предложенных последовательностей символов – формула.











  1. Формула, итоговый столбец которой состоит из одних нулей, является:

    1. тождественно-истинной

    2. выполнимой

    3. опровержимой

    4. тождественно-ложной

    5. общезначимой

  2. Укажите тавтологию.











  1. Укажите верное утверждение:

    1. Равносильность является операцией алгебры логики

    2. Отношение равносильности обладает свойством симметричности

    3. Отношение равносильности обладает свойством антирефлексивности

    4. Равносильность является операцией алгебры предикатов

    5. Отношение равносильности обладает свойством полноты

  2. Формулой равносильной к является.

  1. 0







  2. 1

  1. Укажите, какая выводимость (логическое следствие) имеет место.

  1. ,

  2. 1╞

  3. ╞ r



  4. 0╞ ()

  1. Укажите, в каких высказываниях вместо многоточия необходимо вставить выражение (достаточно, но необходимо), чтобы оно было истинным:

  1. Для того, чтобы четырёхугольник был параллелограммом, … , чтобы все его стороны были равны

  2. - четное число … для того, чтобы было четным числом .

  3. … для того, чтобы

  4. Для того, чтобы четырёхугольник был прямоугольником, … , чтобы все его углы были равны.

  5. Для того, чтобы четырёхугольник был прямоугольником, … , чтобы его диагонали были равны.
1   2   3

Похожие:

Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика iconУчебно-методический комплекс учебной дисциплины Геометрические построения Специальность 032200. 00 Физика
Рабочая программа составлена на основании Государственного образовательного стандарта высшего профессионального образования по специальности...
Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика iconУчебно-методический комплекс учебной дисциплины ен. Ф. 01 Математика (аналитическая геометрия и линейная алгебра) ооп: Специальность 032200. 00 Физика
Рабочая программа составлена на основании Государственного образовательного стандарта высшего профессионального образования по специальности...
Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика iconУчебно-методический комплекс учебной дисциплины Математическая логика Специальность 032100. 00 Математика
Рабочая программа составлена на основании Государственного образовательного стандарта высшего профессионального образования по специальности...
Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика iconРабочая программа дисциплины Математическая логика и теория алгоритмов Направление подготовки 230700 Прикладная информатика
Целями освоения дисциплины «Математическая логика и теория алгоритмов» являются получение теоретических знаний по основам математическая...
Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика iconУчебная программа Дисциплины р2 «Математическая логика и теория алгоритмов»
Фгос впо, содействует формированию мировоззрения и системного мышления. Целью преподавания дисциплины «Математическая логика и теория...
Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика icon1. Организационно-методический раздел. 1 Название курса. Математическая логика и теория алгоритмов
Основной курс "Математическая логика и теория алгоритмов" предназначен для студентов первого курса отделения прикладной инфоматики...
Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика iconУчебно-методический комплекс учебной дисциплины
Ооп: Специальность 032100. 00 Математика с дополнительной специальностью физика (код оксо 050201)
Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика iconУчебно-методический комплекс дисциплины Логика Для студентов экономического факультета
Учебно-методический комплекс дисциплины «Логика» : для студентов экономического факультета, обучающихся по направлению подготовки...
Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика iconУчебно-методический комплекс по учебным дисциплинам «Теория вероятностей»
Учебно-методический комплекс по учебным дисциплинам «Теория вероятностей» и «Математическая статистика» для социологов: Учебно-методическое...
Учебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика iconУчебно-методический комплекс дисциплины теория государства и права для студентов юридического факультета
Учебно-методический комплекс дисциплины «Теория государства и права» / авт сост. В. В. Оксамытный. – М. Импэ им. А. С. Грибоедова,...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org