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

Вуз

Предмет

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

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

☆ #
10.08.20139 Ф81Logic and CS
- ☆ #
  10.08.20131 Ф26Gallier. Logic for Computer Science_ Foundations of Automatic Theorem Proving.pdf
  - ☆ #
    10.08.20137 Мб26book03all.pdf
- ☆ #
  10.08.2013805 Кб31Aaby. The Logical Foundations of Computer Science and Mathematics (lecture notes, draft book, 2007).pdf
- ☆ #
  10.08.201321 Мб20Ben-Ari. Mathematical Logic for Computer Science, 2ed, 2001 (Springer).pdf
- ☆ #
  10.08.2013947 Кб30Girard. Proofs and Types.pdf
- ☆ #
  10.08.201329 Мб53Handbook of Logic in Computer Science, Vol. 5, eds. Abramsky et al. .pdf
- ☆ #
  10.08.20132 Мб81Huth, Ryan. Logic in Computer Science, 2004 (Cambridge).pdf
- ☆ #
  10.08.2013495 Кб23Moortgat. Categorial Type Logic, 1997.pdf
- ☆ #
  10.08.201339 Мб43Sorensen, Urzyczyn. Lectures on the Curry-Howard Isomorphism.pdf
- ☆ #
  10.08.20136 Мб25Математическая логика в программировании (сборник статей), Мир, 1991.djvu
☆ #
10.08.201311 Ф41Non-classic logics
- ☆ #
  10.08.20136 Ф26Linear Logic
  - ☆ #
    10.08.20138 Мб23Ambler. First-order linear logic in symmetric monoidal categories.pdf
  - ☆ #
    10.08.2013652 Кб22Girard, Lafont. Linear logic and lazy computation, 1987.pdf
  - ☆ #
    10.08.20132 Мб20Girard. Light linear logic, 1995.pdf
  - ☆ #
    10.08.2013665 Кб23Girard. Linear logic and parallelism, 1987.pdf
  - ☆ #
    10.08.201311 Мб26Girard. Linear Logic, 1986.pdf
  - ☆ #
    10.08.20132 Мб22Petri.pdf
- ☆ #
  10.08.20133 Ф22Modal Logics
  - ☆ #
    10.08.201310 Мб22Blackburn et al. Handbook of Modal Logic, Vol. 3.pdf
  - ☆ #
    10.08.20132 Мб19Cocchiarella, Freund. Modal logic An introduction to its syntax and semantics (Oxford Univ. Pr.), 2008.djvu
  - ☆ #
    10.08.20137 Мб17Cresswell, Hughes. A New Introduction to Modal Logic.1996.djvu
- ☆ #
  10.08.20132 Мб41Bergmann. Introduction to Many-Valued and Fuzzy Logic CUP, 2007.pdf
- ☆ #
  10.08.20136 Мб21Исследования по теории множеств и неклассическим логикам.djvu
☆ #
10.08.20136 Ф33Верещагин, Шень. Лекции по мат. логике и теории алгоритмов
- ☆ #
  10.08.20131 Ф27part1ps
  - ☆ #
    10.08.20131 Мб27part1.ps
- ☆ #
  10.08.20131 Ф24part2ps
  - ☆ #
    10.08.20133 Мб24part2.ps
- ☆ #
  10.08.2013929 Кб331.Начала теории множеств.pdf
- ☆ #
  10.08.20132 Мб312.Языки и исчисления.pdf
- ☆ #
  10.08.20131 Мб323.Вычислимые функции.pdf
- ☆ #
  10.08.201330 б26links.txt
☆ #
10.08.20132 Ф25Гильберт, Бернайс. Основания математики
- ☆ #
  10.08.20135 Мб25Гильберт, Бернайс. Основания математики, ч. 1. Логические исчисления и формализация арифметики.djvu
- ☆ #
  10.08.20137 Мб22Гильберт, Бернайс. Основания математики, ч. 2. Теория доказательств.djvu
☆ #
10.08.20130 ФМат. логика и теория алгоритмов
☆ #
10.08.20135 Ф31Справочная книга по математической логике, ред. Барвайс
- ☆ #
  10.08.20139 Мб29Handbook of mathematical logic, Barwise ed., 1977.djvu
- ☆ #
  10.08.20136 Мб29Ч.1. Теория моделей.djvu
- ☆ #
  10.08.20136 Мб30Ч.2. Теория множеств.djvu
- ☆ #
  10.08.20135 Мб31Ч.3. Теория рекурсии.djvu
- ☆ #
  10.08.20135 Мб29Ч.4. Теория доказательств и конструктивная математика.djvu
☆ #
10.08.20133 Ф26Теория множеств
- ☆ #
  10.08.20138 Мб26Куратовский, Мостовский. Теория множеств.djvu
- ☆ #
  10.08.20138 Мб20Френкель, Бар-Хиллел. Основания теории множеств.djvu
- ☆ #
  10.08.20137 Мб18Хаусдорф. Теория множеств.djvu
☆ #
10.08.20132 Мб562Boolos et al. Computability and Logic, 5ed, CUP, 2007.pdf
☆ #
10.08.20133 Мб548Bradley, Manna. The Calculus of Computation, Springer, 2007.pdf
☆ #
10.08.2013972 Кб26Chaitin. Algorithmic information theory.pdf
☆ #
10.08.201332 Мб17Griffor. Handbook of Computability Theory, 1999.pdf
☆ #
10.08.20137 Мб96Hedman. A First Course in Logic, 2004 (Oxford).pdf
☆ #
10.08.20133 Мб30Logic and Integer Programming.pdf
☆ #
10.08.20138 Мб11Odifreddi. Classical recursion theory, Elsevier, 1989.djvu
☆ #
10.08.20134 Мб17Булос, Джеффри. Вычилсимость и логика.djvu
☆ #
10.08.20134 Мб21Гильберт, Аккерман. Основы теоретической логики.djvu
☆ #
10.08.20134 Мб26Гудстеин. Математическая логика.djvu
☆ #
10.08.2013570 Кб34Гуц. Математическая логика и теория алгоритмов.djvu
☆ #
10.08.20134 Мб22Ершов, Палютин. Математическая логика.djvu
☆ #
10.08.201312 Мб20Ершов, Палютин. Математическая логика.pdf
☆ #
10.08.20134 Мб14Ершов. Теория нумераций.djvu
☆ #
10.08.20136 Мб21Карри. Основания математической логики.djvu
☆ #
10.08.201310 Мб32Клини. Введение в метаматематику.djvu
☆ #
10.08.20136 Мб25Клини. Математическая логика.djvu
☆ #
10.08.2013967 Кб27Колмогоров, Драгилев. Введение в математическую логику.djvu
☆ #
10.08.20132 Мб22Колмогоров, Драгилев. Математическая логика. Дополнительные главы.djvu
☆ #
10.08.201313 Мб36Кондаков. Логический словарь-справочник, 1975.djvu
☆ #
10.08.20133 Мб17Лавров, Максимова. Задачи....djvu
☆ #
10.08.20135 Мб28Мальцев. Алгоритмы и рекурсивные функции.djvu
☆ #
10.08.20132 Мб27Манин. Вычислимое и невычислимое.djvu
☆ #
10.08.20132 Мб28Манин. Доказуемое и недоказуемое.djvu
☆ #
10.08.20133 Мб28Математическая теория логического вывода, сб..djvu
☆ #
10.08.20133 Мб30Мендельсон. Введение в математическую логику.djvu
☆ #
10.08.20132 Мб570Непейвода. Прикладная логика.PDF
☆ #
10.08.2013784 Кб107Пентус. Введение в мат. логику. Конспект лекций (Мехмат МГУ, 1 курс).pdf
☆ #
10.08.2013917 Кб44Подзоров. Булевы алгебры.pdf
☆ #
10.08.20137 Мб16Проблемы математической логики, сбор. перев..djvu
☆ #
10.08.20137 Мб26Роджерс. Теория рекурсивных функций и эффективная вычислимость.djvu
☆ #
10.08.20133 Мб42Успенский, Семенов. Теория алгоритмов.djvu
☆ #
10.08.20136 Мб12Успенский. Лекции о вычислимых функциях, 1960.djvu
☆ #
10.08.201321 Кб6Успенский. Теорема Геделя о неполноте -- Содержание.htm
☆ #
10.08.20132 Мб18Успенский. Теорема Геделя о неполноте.djvu
☆ #
10.08.20135 Мб28Черч. Введение в математическую логику.djvu
☆ #
10.08.20132 Мб27Эббинхауз и др. Машины Тьюринга и рекурсивные функции.djvu

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

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

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

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