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

Вуз

Предмет

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

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

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

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

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

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

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

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