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

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

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

510.6 Математическая логика
3 экз.
Вы можете получить данный документ в одном из следующих отделов
  1. Абонемент научной литературы ГУК, ГУК, ауд. 313
  2. Абонемент научной литературы УЛК, УЛК, ауд. 119л
  3. Читальный зал младших курсов №1, УЛК, ауд. 305л
  4. Читальный зал младших курсов №2, УЛК, ауд. 221л
  5. Читальный зал старших курсов, ГУК, ауд. 313