• A
• A
• A
• АБВ
• АБВ
• АБВ
• А
• А
• А
• А
• А
Обычная версия сайта

# Introduction to Logic

2019/2020
Учебный год
ENG
Обучение ведется на английском языке
4
Кредиты
Статус:
Курс по выбору
Когда читается:
1-й курс, 4 модуль

### Course Syllabus

#### Abstract

This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth. https://www.coursera.org/learn/logic-introduction?

#### Learning Objectives

• Problem solving, propositional calculus, mathematical logic skills

#### Expected Learning Outcomes

• Problem solving, propositional calculus, mathematical logic skills

#### Course Contents

• Lesson 1. Introduction.
Introduction.
• Lesson 2. Propositional Logic.
Propositional Logic.
• Lesson 3. Propositional Analysis.
Propositional Analysis.
• Lesson 4. Propositional Proofs.
Propositional Proofs.
• Lesson 5. Propositional Resolution.
Propositional Resolution.
• Lesson 6. Relational Logic.
Relational Logic
• Lesson 7. Relational Analysis.
Relational Analysis
• Lesson 8. Relational Proofs.
Relational Proofs.
• Lesson 9. Herbrand Logic.
Herbrand Logic.
• Lesson 10. Herbrand Proofs.
Herbrand Proofs.
• Lesson 11. Induction.
Induction.
• Lesson 12. Resolution.
Resolution.

#### Assessment Elements

• Tests
• Final exam
В 2019/2020 учебном году дисциплина не состоялась

#### Interim Assessment

• Interim assessment (4 module)
0.5 * Final exam + 0.5 * Tests

#### Recommended Core Bibliography

• Логика для юристов : учебник / Е.А. Кротков. — Москва : ИНФРА-М, 2019. — 210 с. — (Высшее образование: Бакалавриат). — www.dx.doi.org/10.12737/textbook_5d3965d1262371.99015551. - Текст : электронный. - URL: http://znanium.com/catalog/product/974418