Основания математики. Математическая логика. Теория чисел

Список источников >Учебная литература >Студентам и аспирантам >Естественные науки. Математика >Математика >Основания математики. Математическая логика. Теория чисел >

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

Автор: Ершов Ю. Л., Палютин Е. А.
Год: 2011
Издание: ФИЗМАТЛИТ
Страниц: 356
ISBN: 9785922113014
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов.
Добавлено: 2017-05-26 14:16:49

Видео о книгах:

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2016, Список Литературы