Поиск :
Личный кабинет :
Электронный каталог: Дален, Дирк ван - Логика и структура
Дален, Дирк ван - Логика и структура
Нет экз.
Электронный ресурс
Автор: Дален, Дирк ван
Логика и структура
Logic and Structure
Издательство: МГППУ, 2012 г.
ISBN отсутствует
Автор: Дален, Дирк ван
Логика и структура
Logic and Structure
Издательство: МГППУ, 2012 г.
ISBN отсутствует
На полку
Электронный ресурс
22.1
Дален, Дирк ван.
Логика и структура = Logic and Structure / Дирк ван Дален ; пер. В.Н. Кривцов. – Москва : МГППУ, 2012. – 230 с. – URL: http://psychlib.ru/inc/absid.php?absid=162551.
В книге затронуты основные темы, обычно входящие в программу вводного курса математической логики. Первые две главы посвящены классической логике и логике предикатов, в третьей главе представлена теория моделей, в частности – теорема Гёделя, логика второго порядка представлена в четвертой главе. В пятой главе рассматриваются несколько тем из области интуиционистских исчислений.
Presented textbook covers fundamental subjects usually included in mathematical logic introduction course. The first two chapters discuss classical and predicate logic, third chapter revises theory of models, notably the Godel theorem. Second order logic is presented in fouth chapter, the last one is dedicated to few topics of intuitionism calculus.
ББК 22.1
Д15
Общий = Математика
22.1
Дален, Дирк ван.
Логика и структура = Logic and Structure / Дирк ван Дален ; пер. В.Н. Кривцов. – Москва : МГППУ, 2012. – 230 с. – URL: http://psychlib.ru/inc/absid.php?absid=162551.
В книге затронуты основные темы, обычно входящие в программу вводного курса математической логики. Первые две главы посвящены классической логике и логике предикатов, в третьей главе представлена теория моделей, в частности – теорема Гёделя, логика второго порядка представлена в четвертой главе. В пятой главе рассматриваются несколько тем из области интуиционистских исчислений.
Presented textbook covers fundamental subjects usually included in mathematical logic introduction course. The first two chapters discuss classical and predicate logic, third chapter revises theory of models, notably the Godel theorem. Second order logic is presented in fouth chapter, the last one is dedicated to few topics of intuitionism calculus.
ББК 22.1
Д15
Общий = Математика