Мат логика теория алгоритмов | B48D54E431F5AF39F0921A6B48D12DE1358D5926

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

Name	Мат. логика и теория алгоритмов	DOWNLOAD Copy Link
Total Size	811.7 MB
Total Files	75
Hash	B48D54E431F5AF39F0921A6B48D12DE1358D5926

/Logic and CS/
Sorensen, Urzyczyn. Lectures on the Curry-Howard Isomorphism.pdf	39.4 MB
Handbook of Logic in Computer Science, Vol. 5, eds. Abramsky et al. .pdf	29.2 MB
Ben-Ari. Mathematical Logic for Computer Science, 2ed, 2001 (Springer).pdf	21.4 MB
Математическая логика в программировании (сборник статей), Мир, 1991.djvu	5.9 MB
Huth, Ryan. Logic in Computer Science, 2004 (Cambridge).pdf	2.2 MB
Gallier. Logic for Computer Science_ Foundations of Automatic Theorem Proving.pdf.gz	1.6 MB
Girard. Proofs and Types.pdf	947.2 KB
Aaby. The Logical Foundations of Computer Science and Mathematics (lecture notes, draft book, 2007).pdf	805.2 KB
Moortgat. Categorial Type Logic, 1997.pdf	495.4 KB
/Linear Logic/
Girard. Linear Logic, 1986.pdf	11.1 MB
Ambler. First-order linear logic in symmetric monoidal categories.pdf	7.6 MB
Petri.pdf	2.2 MB
Girard. Light linear logic, 1995.pdf	1.6 MB
Girard. Linear logic and parallelism, 1987.pdf	665.4 KB
Girard, Lafont. Linear logic and lazy computation, 1987.pdf	651.8 KB
/Modal Logics/
Blackburn et al. Handbook of Modal Logic, Vol. 3.pdf	10.4 MB
Cresswell, Hughes. A New Introduction to Modal Logic.1996.djvu	7.1 MB
Cocchiarella, Freund. Modal logic_ An introduction to its syntax and semantics (Oxford Univ. Pr.), 2008.djvu	2.3 MB
/Non-classic logics/
Исследования по теории множеств и неклассическим логикам.djvu	5.7 MB
Bergmann. Introduction to Many-Valued and Fuzzy Logic CUP, 2007.pdf	2.1 MB
/Верещагин, Шень. Лекции по мат. логике и теории алгоритмов/
2.Языки и исчисления.pdf	1.8 MB
3.Вычислимые функции.pdf	1.3 MB
1.Начала теории множеств.pdf	929.3 KB
part2ps.zip	698.1 KB
part1ps.zip	398.7 KB
links.txt	0.0 KB
/Гильберт, Бернайс. Основания математики/
Гильберт, Бернайс. Основания математики, ч. 2. Теория доказательств.djvu	7.4 MB
Гильберт, Бернайс. Основания математики, ч. 1. Логические исчисления и формализация арифметики.djvu	5.3 MB
/Справочная книга по математической логике, ред. Барвайс/
Handbook of mathematical logic, Barwise ed., 1977.djvu	9.2 MB
Ч.1. Теория моделей.djvu	6.3 MB
Ч.2. Теория множеств.djvu	5.7 MB
Ч.3. Теория рекурсии.djvu	5.4 MB
Ч.4. Теория доказательств и конструктивная математика.djvu	5.4 MB
/Теория множеств/
Куратовский, Мостовский. Теория множеств.djvu	8.4 MB
Френкель, Бар-Хиллел. Основания теории множеств.djvu	7.6 MB
Хаусдорф. Теория множеств.djvu	7.1 MB
/
Handbook Of Mathematical Logic (Elsevier, 1977).pdf	399.1 MB
Griffor. Handbook of Computability Theory, 1999.pdf	32.0 MB
Кондаков. Логический словарь-справочник, 1975.djvu	13.4 MB
Ершов, Палютин. Математическая логика.pdf	12.3 MB
Клини. Введение в метаматематику.djvu	9.8 MB
Odifreddi. Classical recursion theory, Elsevier, 1989.djvu	8.2 MB
Hedman. A First Course in Logic, 2004 (Oxford).pdf	7.2 MB
Роджерс. Теория рекурсивных функций и эффективная вычислимость.djvu	7.0 MB
Проблемы математической логики, сбор. перев..djvu	6.6 MB
Клини. Математическая логика.djvu	6.4 MB
Карри. Основания математической логики.djvu	6.3 MB
Успенский. Лекции о вычислимых функциях, 1960.djvu	5.7 MB
Черч. Введение в математическую логику.djvu	5.4 MB
Столл. Множества. Логика. Аксиоматические теории.doc	4.6 MB
Мальцев. Алгоритмы и рекурсивные функции.djvu	4.6 MB
Ершов, Палютин. Математическая логика.djvu	4.4 MB
Булос, Джеффри. Вычилсимость и логика.djvu	4.0 MB
Гудстеин. Математическая логика.djvu	3.9 MB
Ершов. Теория нумераций.djvu	3.6 MB
Гильберт, Аккерман. Основы теоретической логики.djvu	3.5 MB
Математическая теория логического вывода, сб..djvu	3.5 MB
Успенский, Семенов. Теория алгоритмов.djvu	3.5 MB
Logic and Integer Programming.pdf	2.8 MB
Мендельсон. Введение в математическую логику.djvu	2.8 MB
Bradley, Manna. The Calculus of Computation, Springer, 2007.pdf	2.7 MB
Лавров, Максимова. Задачи....djvu	2.6 MB
Эббинхауз и др. Машины Тьюринга и рекурсивные функции.djvu	2.5 MB
Манин. Доказуемое и недоказуемое.djvu	2.4 MB
Boolos et al. Computability and Logic, 5ed, CUP, 2007.pdf	2.3 MB
Непейвода. Прикладная логика.PDF	2.3 MB
Манин. Вычислимое и невычислимое.djvu	2.1 MB
Успенский. Теорема Геделя о неполноте.djvu	1.9 MB
Колмогоров, Драгилев. Математическая логика. Дополнительные главы.djvu	1.9 MB
Chaitin. Algorithmic information theory.pdf	972.3 KB
Колмогоров, Драгилев. Введение в математическую логику.djvu	967.4 KB
Подзоров. Булевы алгебры.pdf	916.7 KB
Пентус. Введение в мат. логику. Конспект лекций (Мехмат МГУ, 1 курс).pdf	784.5 KB
Гуц. Математическая логика и теория алгоритмов.djvu	569.6 KB
Успенский. Теорема Геделя о неполноте -- Содержание.htm	20.8 KB
Total files 75