Introduction to Logic

2019/2020

Academic Year

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

Bibliography

Recommended Core Bibliography

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

Recommended Additional Bibliography

• Chiswell, I., Hodges, W. Mathematical logic. – Oxford University Press, 2007. – 250 pp.
• Лейбниц Г. ; Пер. Федоров Н. А. - ЛОГИКА И ГНОСЕОЛОГИЯ. ИЗБРАННЫЕ ТРУДЫ - М.:Издательство Юрайт - 2019 - 212с. - ISBN: 978-5-534-07164-1 - Текст электронный // ЭБС ЮРАЙТ - URL: https://urait.ru/book/logika-i-gnoseologiya-izbrannye-trudy-422157