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

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

RUS

- EN
- 中文
- ES

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

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

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

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

2020

Язык

русский

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

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

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

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

Аннотация

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

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

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

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

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

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

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

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

Название файла	Размер (Мб)	Формат
F_Ischislenie_vyskazyvanij_UMP.pdf	1,26	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. –16 c.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=239937	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