KFU. Card publication. Аксиоматическое исчисление высказываний: учебно-методическое пособие

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

АКСИОМАТИЧЕСКОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ: УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ

Form of presentation

Non-approved manuals

Year of publication

2020

Язык

русский

Authors, employees of KFU

Safonov Aleksandr Sergeevich, author

Bibliographic description in the original language

Safonov A. S. Aksiomaticheskoe ischislenie vyskazyvaniy: uchebno-metodicheskoe posobie / Safonov A. S. – Kazan: Izd-vo Kazan. un-ta, 2020. –16 c.

Annotation

В пособии рассматривается две системы аксиоматического исчисления высказываний: со схемами аксиом и с конечным числом аксиом. Приводится доказательство метатеоремы дедукции для системы со схемами аксиом. Также даны примеры доказательств в аксиоматических системах с комментариями. Предназначено для студентов, обучающихся по направлению 47.03.01 – Философия.

Keywords

Логика, Символическая логика, Логика высказываний, Исчисление высказываний

On-line resource for training course

http://dspace.kpfu.ru/xmlui/bitstream/handle/net/159520/F_Ischislenie_vyskazyvanij_UMP.pdf?sequence=1&isAllowed=y

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=239937&p_lang=2

Resource files

File name	Size (MB)	Format
F_Ischislenie_vyskazyvanij_UMP.pdf	1,26	pdf	show / download

Full metadata record

Field DC	Value	Language
dc.contributor.author	Safonov Aleksandr Sergeevich	ru_RU
dc.date.accessioned	2020-01-01T00:00:00Z	ru_RU
dc.date.available	2020-01-01T00:00:00Z	ru_RU
dc.date.issued	2020	ru_RU
dc.identifier.citation	Сафонов А. С. Аксиоматическое исчисление высказываний: учебно-методическое пособие / Сафонов А. С. – Казань: Изд-во Казан. ун-та, 2020. –16 c.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=239937&p_lang=2	ru_RU
dc.description.abstract	В пособии рассматривается две системы аксиоматического исчисления высказываний: со схемами аксиом и с конечным числом аксиом. Приводится доказательство метатеоремы дедукции для системы со схемами аксиом. Также даны примеры доказательств в аксиоматических системах с комментариями. Предназначено для студентов, обучающихся по направлению 47.03.01 – Философия.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	Логика	ru_RU
dc.subject	Символическая логика	ru_RU
dc.subject	Логика высказываний	ru_RU
dc.subject	Исчисление высказываний	ru_RU
dc.title	Аксиоматическое исчисление высказываний: учебно-методическое пособие	ru_RU
dc.type	Non-approved manuals	ru_RU