Бакалавриат
2020/2021
Логика
Статус:
Курс по выбору (Менеджмент и бизнес-администрирование (заочное обучение))
Направление:
38.03.02. Менеджмент
Где читается:
Вечерне-заочный факультет экономики и управления (Пермь)
Когда читается:
1-й курс, 4 модуль
Формат изучения:
без онлайн-курса
Язык:
русский
Кредиты:
5
Контактные часы:
8
Программа дисциплины
Аннотация
Целями освоения дисциплины Логика является овладение студентами основными положениями, терминологией и концепциями логики как науки. Настоящая дисциплина относится к Циклу Дисциплины по выбору Формат изучения дисциплины: с использованием онлайн курса В результате освоения учебной дисциплины, студенты должны владеть следующими знаниями, умениями и навыками: Знать: основные особенности и функции рационального мышления Уметь: применять полученные знания для обработки и анализа информации Владеть: навыками правильного логического вывода, доказательства и аргументации
Цель освоения дисциплины
- Целями освоения дисциплины Логика является овладение студентами основными положениями, терминологией и концепциями логики как науки.
Планируемые результаты обучения
- Формирует понятийный аппарат логики с использованием профессиональной, научной лексики
- Знает аргументацию по теореме о полноте классического исчисления высказываний
- Формулирует понятие логика предикатов: определяет его основные подходы к изучению, подбирает научную литературу модели выразимости, ориентируется в инструментарии модели
Содержание учебной дисциплины
- Раздел 1 Предмет логики. Вопросы оснований математики.Определение логики, основные концепции и подходы к изучении логики как науки. Предмет и объект логики
- Раздел 2. Логика и исчисление высказываний. Теорема о полноте классического исчисления высказываний.Тавтологии, логическая эквивалентность, выполнимость формулы. Теорема о дизъюнктивной нормальной форме. Проверка формулы на выполнимость.
- Раздел 3. Логика предикатов. Модели, выразимость.Переменные и их области изменения. Кванторы. Языки первого порядка: термы, формулы, подформулы. Примеры языков первого порядка: язык арифметики, язык элементарной геометрии.
Промежуточная аттестация
- Промежуточная аттестация (4 модуль)0.5 * Самостоятельная работа + 0.5 * экзамен
Список литературы
Рекомендуемая основная литература
- Логика : учебник / В.И. Кириллов. — 3-е изд., стер. — М.: Норма : ИНФРА-М, 2017. — 240 с. - Режим доступа: http://znanium.com/catalog/product/761281
Рекомендуемая дополнительная литература
- Антюшин, С.С. Логика [Электронный ресурс] : Учебное пособие / С.С. Антюшин. - М.: РАП, 2013. - 256 с. - ISBN 978-5-93916-393-4. - Режим доступа: http://znanium.com/catalog/product/517561
- Светлов, В. А. Логика [Электронный ресурс] : учеб. пособие / В. А. Светлов. – М.: Логос, 2012. – 432 с. – (Новая университетская библиотека). - ISBN 978-5-98704-618-0.