Ultramir трекер
Скачать торренты бесплатно и без регистрации! База magnet-ссылок Rutracker
Выбор народа Топ фильмы Топ сериалы Топ музыка

Математическая логика и теория алгоритмов [PDF/DjVu, RUS/ENG] скачать торрент по magnet-ссылке

Математическая логика и теория алгоритмов [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
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
Bergmann. Introduction to Many-Valued and Fuzzy Logic CUP, 2007.pdf
Linear Logic
Modal Logics
Исследования по теории множеств и неклассическим логикам.djvu
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
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 бесплатно

774 Mb
8 0 Торрент-ссылка
На сайте нет ни одной электронной версии ни одного произведения. На сайте нет torrent-файлов. Сайт — это каталог ссылок, присылаемых и публикуемых пользователями сайта RuTracker. Если вы правообладатель какого-либо представленного материала и не хотите, чтобы ссылка на него размещалась в нашем каталоге, свяжитесь с нами (мыло ниже), и мы незамедлительно удалим ее.
For DMCA requests: mail[at]ultramir.net