Личный кабинет


Д10-20/81749
510/Х 170
Халатян, Кристина Арсеновна. Математическая логика : учебно-методическое пособие / К. А. Халатян, Л. А. Григорян, Л. Г. Зверева ; Ставропольский государственный педагогический институт. - Ставрополь : АГРУС, 2020. - 67 с. : ил. - Библиогр.: с. 67 (14 назв.). - 500 экз. - ISBN 978-5-9596-1683-0 : 100 р. - Текст (визуальный) : непосредственный.
ГРНТИ УДК
27.03.19510

Рубрики:
Математическая логика

Кл.слова (ненормированные): логика высказываний -- алгебра высказываний -- логика предикатов -- математические теоремы -- теория доказательств
Аннотация: Изложены основные понятия, теоремы и формулы разделов дисциплины "Логика высказываний", "Логика предикатов", "Математические теоремы. Элементы теории доказательств", которые вводятся и иллюстрируются примерами. Пособие предназначено для преподавателей, студентов и старшеклассников, интересующихся вопросами математической логики.
Доп. точки доступа:
Григорян, Л.А.
Зверева, Л.Г.
Ставропольский государственный педагогический институт
Экз-ры полностью Д10-20/81749
Имеются экземпляры в отделах: всего 2 : ХРЦ (2)
Свободны: ХРЦ (2)