Математическая логика и теория алгоритмов. Файловый архив СумГУ. StudFiles

Вуз

Предмет

Развернуть все

Идет загрузка списка

☆ #
10.08.20137 Ф125Logic and CS
☆ #
10.08.201311 Ф67Non-classic logics
☆ #
10.08.20136 Ф61Верещагин, Шень. Лекции по мат. логике и теории алгоритмов
☆ #
10.08.20132 Ф27Гильберт, Бернайс. Основания математики
☆ #
10.08.20130 ФМат. логика и теория алгоритмов
☆ #
10.08.20135 Ф39Справочная книга по математической логике, ред. Барвайс
☆ #
10.08.20133 Ф31Теория множеств
☆ #
10.08.20132 Мб606Boolos et al. Computability and Logic, 5ed, CUP, 2007.pdf
☆ #
10.08.20133 Мб613Bradley, Manna. The Calculus of Computation, Springer, 2007.pdf
☆ #
10.08.2013972 Кб45Chaitin. Algorithmic information theory.pdf
☆ #
10.08.201332 Мб35Griffor. Handbook of Computability Theory, 1999.pdf
☆ #
10.08.20137 Мб153Hedman. A First Course in Logic, 2004 (Oxford).pdf
☆ #
10.08.20133 Мб49Logic and Integer Programming.pdf
☆ #
10.08.20132 Мб1037Непейвода. Прикладная логика.PDF
☆ #
10.08.2013784 Кб148Пентус. Введение в мат. логику. Конспект лекций (Мехмат МГУ, 1 курс).pdf
☆ #
10.08.201321 Кб11Успенский. Теорема Геделя о неполноте -- Содержание.htm

Идет загрузка списка

Помогите рассортировать файлы. К какому предмету относится данный файл?

Ненужные и мусорные файлы можно перемещать в предмет [НА УДАЛЕНИЕ].

Помогите дать файлам осмысленные названия

Примеры:
lab1 => Лабораторная работа №1. Фотоэффект.
Savelev_molekulyarnaya_fizika => Савельев. Молекулярная физика