• A
• A
• A
• ABC
• ABC
• ABC
• А
• А
• А
• А
• А
Regular version of the site

Introduction to Logic

2019/2020
ENG
Instruction in English
4
ECTS credits
Delivered at:
Department of Theory and History of Law and State (Faculty of Law)
Course type:
Elective course
When:
1 year, 4 module

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