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. Metateoreticheskie svoystva logicheskikh sistem: uchebno-metodicheskoe posobie / Safonov A. S. – Kazan: Izd-vo Kazan. un-ta, 2020. –19 c.

Annotation

В пособии рассматриваются метатеоретические свойства логических систем: равнообъемность, непротиворечивость полнота. Приводятся доказательства метатеоретических свойств для системы со схемами аксиом (САР). Предназначено для студентов, обучающихся по направлению 47.03.01 – Философия.

Keywords

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

On-line resource for training course

http://dspace.kpfu.ru/xmlui/bitstream/handle/net/159519/Metasvojstva_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=239938&p_lang=2

Resource files

File name	Size (MB)	Format
Metasvojstva_UMP.pdf	1,43	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. –19 c.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=239938&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