КФУ. Карточка публикации. Метатеоретические свойства логических систем: учебно-методическое пособие

КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ

RUS

- EN
- 中文
- ES

МЕТАТЕОРЕТИЧЕСКИЕ СВОЙСТВА ЛОГИЧЕСКИХ СИСТЕМ: УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ

Форма представления

Учебно-методическое пособие без грифа

Год публикации

2020

Язык

русский

Авторы, сотрудники КФУ

Сафонов Александр Сергеевич, автор

Библиографическое описание на языке оригинала

Сафонов А. С. Метатеоретические свойства логических систем: учебно-методическое пособие / Сафонов А. С. – Казань: Изд-во Казан. ун-та, 2020. –19 c.

Аннотация

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

Ключевые слова

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

Ссылка для РПД

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

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку

https://repository.kpfu.ru/?p_id=239938

Файлы ресурса

Название файла	Размер (Мб)	Формат
Metasvojstva_UMP.pdf	1,43	pdf	посмотреть / скачать

Полная запись метаданных

Поле DC	Значение	Язык
dc.contributor.author	Сафонов Александр Сергеевич	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/?p_id=239938	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	Учебно-методическое пособие без грифа	ru_RU