Online Library TheLib.net » Теория рекурсивных функций и эффективная вычислимость
cover of the book Теория рекурсивных функций и эффективная вычислимость

Ebook: Теория рекурсивных функций и эффективная вычислимость

00
27.01.2024
0
0
Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых последних лет. Не предполагающая в основной своей части никаких предварительных знаний, кроме знакомства с теоретико-множественной терминологией, книга Роджерса написана хорошим, ясным языком; при этом формальному изложению предпосылаются содержательные рассуждения, разъясняющие природу вводимых понятий или идей построений и доказательств; в ней содержится очень много упражнений. Книга рассчитана на читателей, интересуйщихся современными проблемами математической логики и теории алгоритмов. Она доступна аспирантам и студентам старших курсов университетов и пединститутов.

Download the book Теория рекурсивных функций и эффективная вычислимость for free or read online
Read Download
Continue reading on any device:
QR code
Last viewed books
Related books
Comments (0)
reload, if the code cannot be seen