 | УЧЕБНИКИ |
|
| |
| |
| |
Учебники для вузов: НовинкиДля связи: info@vuz-uchebniki.ru
| |
| |
высшее образование / учебники для вузов / литература для студентов и педагогов / литература для аспирантов |
Н. К. Косовский
Элементы математической логики и ее приложения к теории субрекурсивных агоритмов. Учебное пособие
Издательство Ленинградского университета, 1981 Страниц: 192 Формат: 60x90/16 Учебное пособие посвящено изложению элементов математической логики на основе секвенциального аппарата выводимости, успешно используемого в современных метаматематических исследованиях, и на основе предлагаемого автором точного понятия алгоритма, ориентированного на приложения в теории программирования. Формулируются аксиомы элементарной теории чисел, строятся основы теории множеств в аксиоматической системе Цермело - Френкеля. В последнем разделе книги - приложения к теории субрекурсивных алгоритмов в специализированных направлениях. Настоящее издание рассчитано на студентов, инженеров, аспирантов и научных сотрудников, интересующихся математической логикой, современной теорией алгоритмов, а также математическими основами теории программирования. Категории каталога: Основания математики. Математическая логика. Теория чисел |
|
Студенту на заметку:
Как получить образование заграницей
Как избежать выгорания?
|
