• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Магистратура 2023/2024

Математическая логика для журналистов

Статус: Курс по выбору (Современная журналистика)
Направление: 42.04.02. Журналистика
Кто читает: Институт медиа
Когда читается: 2-й курс, 3 модуль
Формат изучения: без онлайн-курса
Охват аудитории: для всех кампусов НИУ ВШЭ
Прогр. обучения: Современная журналистика
Язык: английский
Кредиты: 3
Контактные часы: 28

Course Syllabus

Abstract

The apparatus used in mathematical logic allows mathematically rigorous work with reasoning, objectively proving their truth or falsity. The skills that arise in the study and use of mathematical logic allow to build correct conclusions, conduct evidence-based rhetoric, exposing the falsity of the rhetoric of opponents who do not possess such skills and build their argumentation intuitively.
Learning Objectives

Learning Objectives

  • Students will be able to use symbolic logic to present their premises and conclusions
  • Students will be able to use logical proofs to draw new conclusions
  • Students will get familiar with different methods for logical proofs
Expected Learning Outcomes

Expected Learning Outcomes

  • Can rewrite sentences using symbolic language
  • Can distinguish between different types of logical notations
  • Can proof conclusions using Fitch proof
  • Can present logical statements using Venn diagrams and Boolean grids
  • Can proof conclusions using Venn diagrams
  • Students can draw conclusions from the given set of premises in a form of normal sentences.
  • Students can distinguish between different types of sentences in propositional logic
  • Students can use the Fitch system to proof logical conclusions. Students can distinguish between different types of relational logic’s sentences
  • Students can use Boolean models to solve logical problems
  • Students can use models to solve logical problems
Course Contents

Course Contents

  • Introduction into logic and symbolic language
  • Propositional logic
  • Relational logic
  • Modeling in logic
  • Functional logic
  • Categorical logic
  • Revision
Assessment Elements

Assessment Elements

  • non-blocking Homework 1
  • non-blocking Homework 2
  • non-blocking Homework 3
  • non-blocking Homework 4
  • non-blocking Homework 5
Interim Assessment

Interim Assessment

  • 2023/2024 3rd module
    0.2 * Homework 1 + 0.2 * Homework 2 + 0.2 * Homework 3 + 0.2 * Homework 4 + 0.2 * Homework 5
Bibliography

Bibliography

Recommended Core Bibliography

  • Gensler, Harry J. Introduction to Logic, Taylor & Francis Group, 2010.

Recommended Additional Bibliography

  • Friendly Introduction to Mathematical Logic - CCBY4_035 - Christopher Leary & Lars Kristiansen - 2022 - Open Educational Resources: libretexts.org - https://ibooks.ru/bookshelf/390555 - 390555 - iBOOKS

Authors

  • Uvarov Fedor Maksimovich
  • DMITRIEV OLEG ARKADEVICH