2026/2027




Математическая логика для журналистов
Статус:
Маго-лего
Кто читает:
Институт медиа
Где читается:
Факультет креативных индустрий
Охват аудитории:
для своего кампуса
Язык:
русский
Кредиты:
3
Контактные часы:
28
Программа дисциплины
Аннотация
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.
Цель освоения дисциплины
- 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
Планируемые результаты обучения
- 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
Содержание учебной дисциплины
- Introduction into logic and symbolic language
- Propositional logic
- Relational logic
- Modeling in logic
- Functional logic
- Categorical logic
- Revision
Промежуточная аттестация
- 2026/2027 3rd module0.2 * Homework 4 + 0.2 * Homework 2 + 0.2 * Homework 3 + 0.2 * Homework 5 + 0.2 * Homework 1
Список литературы
Рекомендуемая основная литература
- Gensler, Harry J. Introduction to Logic, Taylor & Francis Group, 2010.
Рекомендуемая дополнительная литература
- Friendly Introduction to Mathematical Logic - CCBY4_035 - Christopher Leary & Lars Kristiansen - 2022 - Open Educational Resources: libretexts.org - https://ibooks.ru/products/390555 - 390555 - iBOOKS