Kazan Federal University Digital Repository

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

Show simple item record

dc.contributor Казанский федеральный университет
dc.contributor.author Сафонов Александр Сергеевич
dc.date.accessioned 2020-10-26T08:00:45Z
dc.date.available 2020-10-26T08:00:45Z
dc.date.issued 2020
dc.identifier.citation Сафонов А. С. Аксиоматическое исчисление высказываний: учебно-методическое пособие / Сафонов А. С. - Казань: Изд-во Казан. ун-та, 2020. -16 c.
dc.identifier.uri https://dspace.kpfu.ru/xmlui/handle/net/159520
dc.description.abstract В пособии рассматривается две системы аксиоматического исчисления высказываний: со схемами аксиом и с конечным числом аксиом. Приводится доказательство метатеоремы дедукции для системы со схемами аксиом. Также даны примеры доказательств в аксиоматических системах с комментариями. Предназначено для студентов, обучающихся по направлению 47.03.01 - Философия.
dc.language.iso ru
dc.rights только для КФУ
dc.subject Логика
dc.subject Символическая логика
dc.subject Логика высказываний
dc.subject Исчисление высказываний
dc.title Аксиоматическое исчисление высказываний: учебно-методическое пособие
dc.type Book
dc.contributor.org Институт социально-философских наук и массовых коммуникаций
dc.description.pages 16
dc.pub-id 239937


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account

Statistics