ВУЗ:
Составители:
Рубрика:
Рецензент
Кандидат физико-математических наук, доцент ТГТУ
В.В. Васильев
Составители:
Е.С. Лоскутова,
А.Д. Нахман
Л793 Математическая логика. Типовые расчёты : методические ука-
зания и контрольные задания / сост. : Е.С. Лоскутова, А.Д. Нахман. –
Тамбов : Изд-во Тамб. гос. техн. ун-та, 2008. – 28 с. – 200 экз.
Приведены основные понятия и утверждения математической ло-
гики (алгебры высказываний), руководство к решению типовых задач и
образцы решений. Предложены варианты контрольных заданий.
Предназначены для студентов инженерно-технических специаль-
ностей вузов.
УДК 51
ББК В12я73
ГОУ ВПО «Тамбовский государственный
технический университет» (ТГТУ), 2008
