• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
Медицинские практики в раннем средневековом праве

Лошкарева М. Е., Савенкова С. Р., Долкова Е. А.

Российский юридический журнал. 2021. № 2 (137). С. 204-215.

Глава в книге
К ИСТОРИИ ВОСТОЧНОЙ ПОЛИТИКИ ВЕЛИКИХ СУЗДАЛЬСКО-НИЖЕГОРОДСКИХ КНЯЗЕЙ (МОГ ЛИ КНЯЗЬ ДМИТРИЙ КОНСТАНТИНОВИЧ ТИТУЛОВАТЬСЯ «БОЛГАРСКИЙ» И «БОЛЫМЕЦКИЙ»)

Сочнев Ю. В.

В кн.: Народ и власть: взаимодействие в истории и современности: научный ежегодник факультета права НИУ ВШЭ - Нижний Новгород. Вып. 6. НИУ ВШЭ - Нижний Новгород, 2019. С. 339-349.

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

Learning Objectives

  • Problem solving, propositional calculus, mathematical logic skills
Expected Learning Outcomes

Expected Learning Outcomes

  • Problem solving, propositional calculus, mathematical logic skills
Course Contents

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

Assessment Elements

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

Interim Assessment

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

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