Раздел 2. Организация, структура и содержание учебных занятий
Приложение к приказу проректора
по учебно-методической работе
от ________________________ № ________
Санкт-Петербургский государственный университет
Р А Б О Ч А Я П Р О Г Р А М М А
УЧЕБНОЙ ДИСЦИПЛИНЫ
Логика и основания математики
Logic and Fundamentals of Mathematics
Язык(и) обучения
русский
Трудоемкость в зачетных единицах: 2
Регистрационный номер рабочей программы: 018043
Санкт-Петербург
Раздел 1. Характеристики учебных занятий
Цели и задачи учебных занятий
Подготовка по данной рабочей программе учебной дисциплины является элективной частью основной образовательной программы (ООП) по направлению «Философия» по тео-ретико-методологическому профилю с присвоением квалификации (степени) – магистр фи-лософии. Данная рабочая программа реализуется на основе требований компетентностно-ориентированного учебного плана.
Курс является основополагающей дисциплиной для освоения логической составляю-щей теоретико-методологического профиля. Логика предикатов первого порядка является основным логическим языком, т. е. средством формализации как специальных, так и универсальных контекстов естественного языка. Семантика логики предикатов пред-ставляет собой теоретико-модельное построение, изучение которого позволяет понять природу и функции логической семантики вообще. Подробное рассмотрение доказательств метатеоретических характеристик (корректности и полноты) исчисления предикатов дают возможность познакомиться со сложной логической техникой. Изучения роли логики предикатов в основаниях математики показывает как в историческом, так и в теоретическом аспекте междисциплинарную функцию современной логики. Знакомство с теоремой Гёделя и её доказательством является необходимым компонентом логической грамотности.
Задачи курса: (1) Овладение синтаксисом и семантикой логики предикатов; (2) изуче-ние исчисления предикатов и его метатеоретических характеристик; (3) ознакомление с ро-лью логики предикатов в основаниях математики, (4) изучение теоремы Гёделя.
|
|
|
Требования подготовленности обучающегося к освоению содержания учебных занятий (пререквизиты)
Знакомство с теорией множеств в объёме общего односеместрового курса математики для гуманитариев.
Знакомство с основами логики высказываний и логики предикатов в объёме односеместрового курса символической логики.
Дисциплина рассчитана на изучение в первом семестре второго курса бакалавриата. Формой отчетности является зачет.
Перечень результатов обучения (learningoutcomes)
|
|
|
ОКБ-3 Владеет культурой мышления, способен к восприятию, обобщению, анализу инфор-мации, к постановке цели и выбору путей ее достижения, способен анализировать философ-ские, мировоззренческие, социально и личностно значимые проблемы.
ОКБ-6 Владеет основами методологии научного исследования, готов применять полученные знания и навыки для решения практических задач в процессе обучения и в профессиональной и социальной деятельности.
ОКБ-7 Способен понимать сущность и значение информации в развитии общества, готов ис-пользовать основные методы, способы и средства получения, хранения, переработки инфор-мации, работать с компьютером как средством управления информацией, в том числе в гло-бальных компьютерных сетях, соблюдать основные требования информационной безопасно-сти, в том числе защиты государственной тайны.
ПК-6 способен применять основные методы, способы и средства получения, хранения, пере-работки и представления информации для решения профессиональных и социально значи-мых задач, в т.ч. с использованием современных информационных технологий и средств коммуникаций
ПК-7 готов применять методы поиска, анализа научной информации, владеет навыками ее изложения, реферирования и аннотирования
|
|
|
Перечень и объём активных и интерактивных форм учебных занятий
В процессе преподавания данной дисциплины используются лекционные и практиче-ские занятия. Лекции позволяют компактно представить наиболее важный материал и наце-лены на формирование у студентов ориентиров для дальнейшей практической и самостоя-тельной работы. Активные и интерактивные формы обучения предполагают практические занятия.
Самостоятельная работа предполагает работу студентов с использованием методиче-ских материалов и исследовательской литературы
Раздел 2. Организация, структура и содержание учебных занятий
Организация учебных занятий
2.1.1 Основной курс
| Трудоёмкость, объёмы учебной работы и наполняемость групп обучающихся | ||||||||||||||||||||
| Код модуля в составе дисциплины, практики и т.п. | Контактная работаобучающихся с преподавателем | Самостоятельная работа | Объём активных и интерактивных форм учебных занятий | Трудоёмкость | ||||||||||||||||
| лекции | семинары | консультации | практические занятия | лабораторныеработы | контрольныеработы | коллоквиумы | текущий контроль | промежуточная аттестация | итоговая аттестация | под руководством преподавателя | в присутствии преподавателя | сам.раб. с использованием методических материалов | текущий контроль (сам.раб.) | промежуточная аттестация (сам.раб.) | итоговая аттестация (сам.раб.) | |||||
| ОСНОВНАЯ ТРАЕКТОРИЯ
| ||||||||||||||||||||
| Форма обучения: очная | ||||||||||||||||||||
| Семестр 3 | 28 | 42 | 30 | 2 | ||||||||||||||||
| 10-25 | 1-1 | |||||||||||||||||||
| ИТОГО | 28 | 42 | 2 | |||||||||||||||||
| Виды, формы и сроки текущего контроля успеваемости и промежуточной аттестации | ||||||
| Код модуля в составе дисциплины, практики и т.п. | Формы текущего контроля успеваемости | Виды промежуточной аттестации | Виды итоговой аттестации (только для программ итоговой аттестации и дополнительных образовательных программ) | |||
| Формы | Сроки | Виды | Сроки | Виды | Сроки | |
| ОСНОВНАЯ ТРАЕКТОРИЯ | ||||||
| Форма обученияочная | ||||||
| Семестр 3 |
|
| зачёт, устно, традиционная форма | по графику промежуточной аттестации | ||
Дата добавления: 2018-05-01; просмотров: 231; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!