Добавил:

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

Вуз:

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

Предмет:

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

Файл:

Griffor. Handbook of Computability Theory, 1999

.pdf

Скачиваний:

33

Добавлен:

10.08.2013

Размер:

31.99 Mб

Скачать

☆

<<< < Предыдущая 1 2 3 4 5 6 78 / 758 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 > Следующая >>>

<<< < Предыдущая 1 2 3 4 5 6 78 / 758 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 > Следующая >>>

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

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