Добро пожаловать! Вы можете войти или зарегистрироваться
Обратная связь
Visa MasterCard WebMoney Яндекс.Деньги PayPal
+7 (495) 638-5305
+7 (812) 380-5006
Мой регион
Математическая логика: Уч.пособие. 5-е изд






Ю. Ершов

Математическая логика: Уч.пособие. 5-е изд

бумажная книга

     
(0 голосов )
  • ISBN: 5-8114-0533-2
  • 336 страниц
  • январь 2005
  • Лань
  • 365 г

Аннотация к книге "Математическая логика: Уч.пособие. 5-е изд"

Для студ.математ.специальностей вузов, может служить пособием для спецкурсов. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисления предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.