Описание
Дален Дирк ван. Логика и структура = Logic and Structure / Пер. с англ. под ред. В. Н. Кривцова. — М.: Моск. гор. психолого-пед. ун-т, 2010. — 230 с. — URL: https://psychlib.ru/inc/absid.php?absid=162551.
Рубрики:
• Прочие отрасли знания → Математика
Аннотация:
В книге затронуты основные темы, обычно входящие в программу вводного курса математической логики. Первые две главы посвящены классической логике и логике предикатов, в третьей главе представлена теория моделей, в частности – теорема Гёделя, логика второго порядка представлена в четвертой главе. В пятой главе рассматриваются несколько тем из области интуиционистских исчислений.
В книге затронуты основные темы, обычно входящие в программу вводного курса математической логики. Первые две главы посвящены классической логике и логике предикатов, в третьей главе представлена теория моделей, в частности – теорема Гёделя, логика второго порядка представлена в четвертой главе. В пятой главе рассматриваются несколько тем из области интуиционистских исчислений.
• Открыть карточку в Электронном каталоге: 162551