Добавил:

fench Опубликованный материал нарушает ваши авторские права? Сообщите нам.

Вуз:

Сумский государственный университет

Предмет:

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

Файл:

Griffor. Handbook of Computability Theory, 1999

.pdf

Скачиваний:

34

Добавлен:

10.08.2013

Размер:

31.99 Mб

Скачать

☆

<<< < Предыдущая 7 8 9 10 11 12 13 14 15 16 17 1819 / 7519 20 21 22 23 24 25 26 27 28 29 30 31 > Следующая >>>

<<< < Предыдущая 7 8 9 10 11 12 13 14 15 16 17 1819 / 7519 20 21 22 23 24 25 26 27 28 29 30 31 > Следующая >>>

Соседние файлы в предмете Математическая логика и теория алгоритмов

#
10.08.20132.33 Mб601Boolos et al. Computability and Logic, 5ed, CUP, 2007.pdf
#
10.08.20132.75 Mб612Bradley, Manna. The Calculus of Computation, Springer, 2007.pdf
#
10.08.2013972.32 Кб44Chaitin. Algorithmic information theory.pdf
#
10.08.201331.99 Mб34Griffor. Handbook of Computability Theory, 1999.pdf
#
10.08.20137.17 Mб149Hedman. A First Course in Logic, 2004 (Oxford).pdf
#
10.08.20132.8 Mб49Logic and Integer Programming.pdf
#
10.08.20132.27 Mб1018Непейвода. Прикладная логика.PDF
#
10.08.2013784.48 Кб144Пентус. Введение в мат. логику. Конспект лекций (Мехмат МГУ, 1 курс).pdf
#
10.08.201320.79 Кб11Успенский. Теорема Геделя о неполноте -- Содержание.htm