| Boolos et al. Computability and Logic, 5ed, CUP, 2007.pdf | 2.23 MB | ||
| Bradley, Manna. The Calculus of Computation, Springer, 2007.pdf | 2.62 MB | ||
| Chaitin. Algorithmic information theory.pdf | 949.53 KB | ||
| Griffor. Handbook of Computability Theory, 1999.pdf | 30.51 MB | ||
| Handbook Of Mathematical Logic (Elsevier, 1977).pdf | 380.57 MB | ||
| Hedman. A First Course in Logic, 2004 (Oxford).pdf | 6.84 MB | ||
| Logic and CS | |||
| Aaby. The Logical Foundations of Computer Science and Mathematics (lecture notes, draft book, 2007).pdf | 786.35 KB | ||
| Ben-Ari. Mathematical Logic for Computer Science, 2ed, 2001 (Springer).pdf | 20.38 MB | ||
| Gallier. Logic for Computer Science_ Foundations of Automatic Theorem Proving.pdf.gz | 1.52 MB | ||
| Girard. Proofs and Types.pdf | 924.95 KB | ||
| Handbook of Logic in Computer Science, Vol. 5, eds. Abramsky et al. .pdf | 27.86 MB | ||
| Huth, Ryan. Logic in Computer Science, 2004 (Cambridge).pdf | 2.13 MB | ||
| Moortgat. Categorial Type Logic, 1997.pdf | 483.81 KB | ||
| Sorensen, Urzyczyn. Lectures on the Curry-Howard Isomorphism.pdf | 37.55 MB | ||
| Математическая логика в программировании (сборник статей), Мир, 1991.djvu | 5.64 MB | ||
| Logic and Integer Programming.pdf | 2.67 MB | ||
| Non-classic logics | |||
| Bergmann. Introduction to Many-Valued and Fuzzy Logic CUP, 2007.pdf | 1.96 MB | ||
| Linear Logic | |||
| Ambler. First-order linear logic in symmetric monoidal categories.pdf | 7.3 MB | ||
| Girard, Lafont. Linear logic and lazy computation, 1987.pdf | 636.56 KB | ||
| Girard. Light linear logic, 1995.pdf | 1.51 MB | ||
| Girard. Linear Logic, 1986.pdf | 10.56 MB | ||
| Girard. Linear logic and parallelism, 1987.pdf | 649.81 KB | ||
| Petri.pdf | 2.1 MB | ||
| Modal Logics | |||
| Blackburn et al. Handbook of Modal Logic, Vol. 3.pdf | 9.96 MB | ||
| Cocchiarella, Freund. Modal logic_ An introduction to its syntax and semantics (Oxford Univ. Pr.), 2008.djvu | 2.17 MB | ||
| Cresswell, Hughes. A New Introduction to Modal Logic.1996.djvu | 6.81 MB | ||
| Исследования по теории множеств и неклассическим логикам.djvu | 5.4 MB | ||
| Odifreddi. Classical recursion theory, Elsevier, 1989.djvu | 7.77 MB | ||
| Булос, Джеффри. Вычилсимость и логика.djvu | 3.81 MB | ||
| Верещагин, Шень. Лекции по мат. логике и теории алгоритмов | |||
| 1.Начала теории множеств.pdf | 907.47 KB | ||
| 2.Языки и исчисления.pdf | 1.67 MB | ||
| 3.Вычислимые функции.pdf | 1.29 MB | ||
| links.txt | 30 B | ||
| part1ps.zip | 389.36 KB | ||
| part2ps.zip | 681.77 KB | ||
| Гильберт, Аккерман. Основы теоретической логики.djvu | 3.35 MB | ||
| Гильберт, Бернайс. Основания математики | |||
| Гильберт, Бернайс. Основания математики, ч. 1. Логические исчисления и формализация арифметики.djvu | 5.03 MB | ||
| Гильберт, Бернайс. Основания математики, ч. 2. Теория доказательств.djvu | 7.04 MB | ||
| Гудстеин. Математическая логика.djvu | 3.68 MB | ||
| Гуц. Математическая логика и теория алгоритмов.djvu | 556.29 KB | ||
| Ершов, Палютин. Математическая логика.djvu | 4.19 MB | ||
| Ершов, Палютин. Математическая логика.pdf | 11.76 MB | ||
| Ершов. Теория нумераций.djvu | 3.39 MB | ||
| Карри. Основания математической логики.djvu | 6.03 MB | ||
| Клини. Введение в метаматематику.djvu | 9.32 MB | ||
| Клини. Математическая логика.djvu | 6.09 MB | ||
| Колмогоров, Драгилев. Введение в математическую логику.djvu | 944.74 KB | ||
| Колмогоров, Драгилев. Математическая логика. Дополнительные главы.djvu | 1.77 MB | ||
| Кондаков. Логический словарь-справочник, 1975.djvu | 12.76 MB | ||
| Лавров, Максимова. Задачи....djvu | 2.52 MB | ||
| Мальцев. Алгоритмы и рекурсивные функции.djvu | 4.38 MB | ||
| Манин. Вычислимое и невычислимое.djvu | 1.98 MB | ||
| Манин. Доказуемое и недоказуемое.djvu | 2.34 MB | ||
| Математическая теория логического вывода, сб..djvu | 3.34 MB | ||
| Мендельсон. Введение в математическую логику.djvu | 2.63 MB | ||
| Непейвода. Прикладная логика.PDF | 2.17 MB | ||
| Пентус. Введение в мат. логику. Конспект лекций (Мехмат МГУ, 1 курс).pdf | 766.1 KB | ||
| Подзоров. Булевы алгебры.pdf | 895.18 KB | ||
| Проблемы математической логики, сбор. перев..djvu | 6.32 MB | ||
| Роджерс. Теория рекурсивных функций и эффективная вычислимость.djvu | 6.68 MB | ||
| Справочная книга по математической логике, ред. Барвайс | |||
| Handbook of mathematical logic, Barwise ed., 1977.djvu | 8.75 MB | ||
| Ч.1. Теория моделей.djvu | 6.05 MB | ||
| Ч.2. Теория множеств.djvu | 5.48 MB | ||
| Ч.3. Теория рекурсии.djvu | 5.19 MB | ||
| Ч.4. Теория доказательств и конструктивная математика.djvu | 5.17 MB | ||
| Столл. Множества. Логика. Аксиоматические теории.doc | 4.43 MB | ||
| Теория множеств | |||
| Куратовский, Мостовский. Теория множеств.djvu | 8.01 MB | ||
| Френкель, Бар-Хиллел. Основания теории множеств.djvu | 7.28 MB | ||
| Хаусдорф. Теория множеств.djvu | 6.77 MB | ||
| Успенский, Семенов. Теория алгоритмов.djvu | 3.3 MB | ||
| Успенский. Лекции о вычислимых функциях, 1960.djvu | 5.44 MB | ||
| Успенский. Теорема Геделя о неполноте -- Содержание.htm | 20.3 KB | ||
| Успенский. Теорема Геделя о неполноте.djvu | 1.8 MB | ||
| Черч. Введение в математическую логику.djvu | 5.11 MB | ||
| Эббинхауз и др. Машины Тьюринга и рекурсивные функции.djvu | 2.36 MB | ||
| ▲ 75 total files | |||
Книги и журналы » Коллекции книг и библиотеки
Математическая логика и теория алгоритмов [PDF/DjVu, RUS/ENG]
Описание: Подборка книг по математической логике, теории алгоритмов, приложениям логики к информатике (computer science).
Boolos et al. Computability and Logic, 5ed, CUP, 2007.pdf
Bradley, Manna. The Calculus of Computation, Springer, 2007.pdf
Chaitin. Algorithmic information theory.pdf
Griffor. Handbook of Computability Theory, 1999.pdf
Handbook Of Mathematical Logic (Elsevier, 1977).pdf
Hedman. A First Course in Logic, 2004 (Oxford).pdf
Logic and Integer Programming.pdf
Odifreddi. Classical recursion theory, Elsevier, 1989.djvu
Булос, Джеффри. Вычислимость и логика.djvu
Верещагин, Шень. Лекции по мат. логике и теории алгоритмов
Гильберт, Аккерман. Основы теоретической логики.djvu
Гильберт, Бернайс. Основания математики
Гудстеин. Математическая логика.djvu
Гуц. Математическая логика и теория алгоритмов.djvu
Ершов, Палютин. Математическая логика.djvu
Ершов, Палютин. Математическая логика.pdf
Ершов. Теория нумераций.djvu
Карри. Основания математической логики.djvu
Клини. Введение в метаматематику.djvu
Клини. Математическая логика.djvu
Колмогоров, Драгилев. Введение в математическую логику.djvu
Колмогоров, Драгилев. Математическая логика. Дополнительные главы.djvu
Кондаков. Логический словарь-справочник, 1975.djvu
Лавров, Максимова. Задачи....djvu
Мальцев. Алгоритмы и рекурсивные функции.djvu
Манин. Вычислимое и невычислимое.djvu
Манин. Доказуемое и недоказуемое.djvu
Математическая теория логического вывода, сб..djvu
Мендельсон. Введение в математическую логику.djvu
Непейвода. Прикладная логика.PDF
Пентус. Введение в мат. логику. Конспект лекций (Мехмат МГУ, 1 курс).pdf
Подзоров. Булевы алгебры.pdf
Проблемы математической логики, сбор. перев..djvu
Роджерс. Теория рекурсивных функций и эффективная вычислимость.djvu
Справочная книга по математической логике, ред. Барвайс/
Столл. Множества. Логика. Аксиоматические теории.doc
Успенский. Лекции о вычислимых функциях, 1960.djvu
Успенский, Семенов. Теория алгоритмов.djvu
Успенский. Теорема Геделя о неполноте.djvu
Успенский. Теорема Геделя о неполноте -- Содержание.htm
Халмош. Логика от А до Г
Черч. Введение в математическую логику.djvu
Эббинхауз и др. Машины Тьюринга и рекурсивные функции.djvu
./Logic and CS:
Aaby. The Logical Foundations of Computer Science and Mathematics (lecture notes, draft book, 2007).pdf
Ben-Ari. Mathematical Logic for Computer Science, 2ed, 2001 (Springer).pdf
Gallier. Logic for Computer Science_ Foundations of Automatic Theorem Proving.pdf.gz
Girard. Proofs and Types.pdf
Handbook of Logic in Computer Science, Vol. 5, eds. Abramsky et al. .pdf
Huth, Ryan. Logic in Computer Science, 2004 (Cambridge).pdf
Moortgat. Categorial Type Logic, 1997.pdf
Sorensen, Urzyczyn. Lectures on the Curry-Howard Isomorphism.pdf
Математическая логика в программировании (сборник статей), Мир, 1991.djvu
./Non-classic logics:
Bergmann. Introduction to Many-Valued and Fuzzy Logic CUP, 2007.pdf
Linear Logic
Modal Logics
Исследования по теории множеств и неклассическим логикам.djvu
./Non-classic logics/Linear Logic:
Ambler. First-order linear logic in symmetric monoidal categories.pdf
Girard, Lafont. Linear logic and lazy computation, 1987.pdf
Girard. Light linear logic, 1995.pdf
Girard. Linear Logic, 1986.pdf
Girard. Linear logic and parallelism, 1987.pdf
Petri.pdf
./Non-classic logics/Modal Logics:
Blackburn et al. Handbook of Modal Logic, Vol. 3.pdf
Cocchiarella, Freund. Modal logic_ An introduction to its syntax and semantics (Oxford Univ. Pr.), 2008.djvu
Cresswell, Hughes. A New Introduction to Modal Logic.1996.djvu
./Верещагин, Шень. Лекции по мат. логике и теории алгоритмов:
1.Начала теории множеств.pdf
2.Языки и исчисления.pdf
3.Вычислимые функции.pdf
./Гильберт, Бернайс. Основания математики:
Гильберт, Бернайс. Основания математики, ч. 1. Логические исчисления и формализация арифметики.djvu
Гильберт, Бернайс. Основания математики, ч. 2. Теория доказательств.djvu
./Справочная книга по математической логике, ред. Барвайс:
Handbook of mathematical logic, Barwise ed., 1977.djvu
Ч.1. Теория моделей.djvu
Ч.2. Теория множеств.djvu
Ч.3. Теория рекурсии.djvu
Ч.4. Теория доказательств и конструктивная математика.djvu
./Теория множеств:
Куратовский, Мостовский. Теория множеств.djvu
Френкель, Бар-Хиллел. Основания теории множеств.djvu
Хаусдорф. Теория множеств.djvu
| torrent name | size | uploader | age | seed | leech |
|---|---|---|---|---|---|
|
Set Theory And Foundations Of Mathematics - An Introduction To Mathematical Logic - Volume I Posted by
freecoursewb in Books
> Non-Fiction
|
11.4 MB | freecoursewb | 7 months | 5 | 0 |
|
Mathematical Logic, Computability, Complexity, and Randomness[Softcrate] Posted by
FlexiStore in Books
> Non-Fiction
|
3.5 MB | FlexiStore | 8 months | 29 | 1 |
| 1.64 MB | andryold1 | 1 year | 22 | 0 | |
| 1.13 MB | andryold1 | 1 year | 20 | 9 | |
| 37.2 MB | freecoursewb | 2 years | 16 | 0 |
All Comments