Подробное описание документа

Хомич В. И.
Логика высказываний и исчисление высказываний : учеб. пособие по курсу "Математическая логика и теория алгоритмов" / Хомич В. И. ; ред. Крищенко А. П. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2004. - 41 с. - Библиогр.: с. 41. - ISBN 5-7038-2528-8.

Аннотация

Предлагаемое учебное пособие посвящено изложению основополагающих разделов математической логики - логики высказываний и исчисления высказываний. В нем определены основные понятия математической логики, сформулированы и обоснованы практически все известные законы, правила и принципы логики высказываний. Кроме того, построен наиболее известный вариант исчисления высказываний, введены понятия вывода и вывода из гипотез, сформулированы и доказаны допустимые правила естественного вывода. Доказаны теорема о дедукции и теоремы непротиворечивости, полноты и разрешимости исчисления высказываний.
Для студентов факультетов ИУ (кафедры ИУ-6 и ИУ-9) и ФН, а также для всех, кто хочет изучать математическую логикy.

УДК
510.6 Математическая логика

Предметные рубрики

Математическая логика - Учебники и пособия

Общее кол-во в фондах
3 экз.

Заказать на абонемент

Заказать в читальный зал

Вы можете получить данный документ в одном из следующих отделов

Преподавательский абонемент ауд.221л, УЛК, ауд. 221л
Преподавательский абонемент ауд.313, ГУК, ауд. 313
Читальный зал ауд.305л, УЛК, ауд. 305л
Читальный зал ауд.313, ГУК, ауд. 313