Mathematical logic and theory of algorithms [PDF/DjVu, RUS/ENG]

seeders: 19 leechers: 2
Added 16 years ago by mihas59 in Books - Non-Fiction
Downloaded 0 time.
RuTracker.org
Mathematical logic and theory of algorithms [PDF/DjVu, RUS/ENG]

Torrent Contents Size: 774.08 MB

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

Description

Related Torrents

Location

Trackers

Tracker name
http://bt4.t-ru.org/ann?magnet
http://bt2.t-ru.org/ann
http://bt3.t-ru.org/ann
http://bt4.t-ru.org/ann
udp://tracker.opentrackr.org:1337
udp://open.stealth.si:80/announce
udp://tracker.torrent.eu.org:451/announce
udp://exodus.desync.com:6969
udp://open.demonii.com:1337/announce
udp://tracker.coppersurfer.tk:6969
udp://p4p.arenabg.com:1337
udp://tracker.internetwarriors.net:1337
Torrent hash: