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

Math Logic for Journalists

2023/2024
Учебный год
ENG
Обучение ведется на английском языке
3
Кредиты
Кто читает:
Институт медиа
Статус:
Курс по выбору
Когда читается:
2-й курс, 3 модуль

Преподаватель


Поденко Софья Сергеевна

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

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