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

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

Курс математической логики и теории вычислимости. Учебное пособие

Автор: Герасимов А.С.
Год: 2014
Издание: Лань
Страниц: [не указано]
ISBN: 9785811416660
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены...
Добавлено: 2018-02-05 17:11:28

Околостуденческое

Рейтинг@Mail.ru

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