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

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

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

Автор: Ершов Ю.Л.
Год: 2011
Издание: ФИЗМАТЛИТ
Страниц: [не указано]
ISBN: 9785922113014
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория...
Добавлено: 2018-02-05 16:04:52

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

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

Рейтинг@Mail.ru

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