Методическое обеспечение самостоятельной работы
Самостоятельная подготовка к практическому занятию предполагает чтение учебной литературы, выполнение практических заданий, подготовку к применению полученной инфрмации в решении заданий на занятиях.
Методика проведения текущего контроля успеваемости и промежуточной аттестации и критерии оценивания
Зачет как форма промежуточного контроля знаний проводится в письменной форме, включает в себя ответ на один вопрос из числа рассмотренных в ходе лекционных и практических занятий, а также изученных студентами в ходе самостоятельной работы с литературой, список которой представлен в данной программе, и методическими материалами. Помимо вопроса студенту даётся для выполнения практическое задание, соответвующее по своему типу и уровню сложности заданиям, которые выполнялись на практических занятиях.
Для того чтобы успешно сдать зачет по курсу, студент должен обладать знаниями и умениями, определёнными в п. 1.4 настоящей рабочей программы.
Использование студентами вспомогательных материалов во время зачета запрещено.
Итоговая оценка складывается из суммирования оценок, выставляемых за три вида деятельности студента: (1) Работа во время практических занятий, (2) оценка ответ на вопрос и за выполнение письменного задания на зачете.
Чтобы получить итоговую оценку «зачет» студент должен получить оценку «зачет» по каждому виду деятельности. Если хотя бы один из видов деятельности студента получает оценку «незачет», то итоговая оценка – «незачет».
|
|
|
Оценка «зачёт» по каждому из видов деятельности выставляется в том случае, если студент успешно освоил не менее 50% объёма материала практических занятий справился с 50% заданий контрольной работы и обнаружил на зачёте знания и навыки в условном объёме 50% от максимального.
Методические материалы для проведения текущего контроля успеваемости и промежуточной аттестации (контрольно-измерительные материалы, оценочные средства)
Оценка усвоения материала, подлежащего проверке при ответе на вопрос и выполнения задания во время зачета, выставляется по результатам опроса студента и проверки письменной работы непосредственно в день проведения зачета и включает в себя следующие параметры: 1. Знание содержания изучаемых вопросов курса. 2. Умение раскрыть смысл основных понятий логики предикатов и оснований математики. 3. Способность раскрыть значение конкретного вопроса в контексте всего курса. 4. Успешное выполнение практического задания с использованием навыков, приобретённых в ходе изучения курса.
Примерный перечень вопросов к зачету по всему курсу
|
|
|
1. Синтаксис логики предикатов.
2. Логика предикатов и естественный язык.
3. Интерпретация. Означивание. Модель.
4. Понятия общезначимости и выполнимости. Отношение логического следования.
5. Финитные и нефинитные модели.
6. Проблема разрешимости и её решение для логики предикатов. Метод семантических таблиц и его возможности.
7. Формализация отношения логического следования в логике предикатов. Варианты построения исчисления предикатов.
8. Теорема дедукции, путь её доказательство и ограничения.
9. Четыре семантические леммы и их доказательства.
10. Обоснование корректности исчисления предикатов.
11. Непротиворечивое множество формул. Максимальное непротиворечивое множество форму и его свойства.
12. Доказательство леммы Линденбаума.
13. Понятие w-непротиворечивости.
14. Расширение непротиворечивого множества формул до насыщенного.
15. Каноническая модель.
16. Ход доказательства основной леммы. Доказательство теоремы о полноте.
17. Содержательная и формальная аксиоматика. Арифметика Пеано.
18. Свойства формализованной арифметики и возможности обоснования её непротиворечивости и полноты.
19. Понятие о рекурсивной и примитивно рекурсивной функциях.
20. Гёделевы номера формул и свойства нумераций.
21. Представимость формул и функций. Теорема о представимости.
22. Теорема Гёделя и пути её доказательства.
23. Значение теоремы Гёделя для оснований математики и для философско-логических исследований.
Дата добавления: 2018-05-01; просмотров: 206; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!