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

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

Аннотация

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

УДК

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

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

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

Общее кол-во в фондах

3 экз.

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