Elit-Knigi.ru #5


Привет, Гость
Использование защищенного (SSL) соединения

Войти на сайт
Регистрация
Восстановить Пароль


Копилка сайта
Пожертвованные деньги пойдут на ежемесячную оплату сервера.
Проект существует только за счет рекламы и идеи сайту быть.


Правообладателям

Для удаления авторских файлов, пишите по адреcу: abuse@elit-knigi.ru.
Чтобы ваше письмо не было проигнорировано и было обработано автоматической системой удаления авторских раздач, необходимо соблюдать правила оформления текста:
* Присылайте абсолютные адреса ссылок на торрент-раздачи (с табуляцией, с отступами)
* Ни pdf, ни doc файлы не читаются скриптом, за исключением rtf формата

Просьба это учесть при оформлении письма (ем).



Самые активные релизы за неделю
Книги / PDF/ Djvu Аудиокнига
Евгений Понасенков | Первая научная история войны 1812 года (2018) [FB2]
  • Евгений Понасенков | Первая научная история войны 1812 года (2018) [FB2]
  • Классический учебник МГУ - Ошемков А.А., Попеленский Ф.Ю., Тужилин А.А., Фоменко А.Т., Шафаревич А.И. - Курс наглядной геометрии и топологии, 2-е издание [2016, PDF, RUS]
  • Книжная серия | Фэнтези и Мистика. Цикл из 27 книг (2010-2014) [FB2, PDF, RTF, TXT]
  • Воскресенская, И. - Российская империя. Полная энциклопедия «Сословий, титулов, чинов» [2009, PDF/DjVu, RUS]
  • Анджей Ясинский | Цикл "Ник"  [17 книг] (2019) [FB2]
  • Михаил Атаманов | Собрание сочинений [24 книги] (2014-2020) [FB2] [Обновляемая]
  • Серж Винтеркей | «Эгида» [8 книг] (2019-2020) [FB2] [Обновляемая]
  • Александр Бушков | Собрание произведений [200 книг] (1988 - 2020) [FB2] [Обновляемая]
  • Настоящие преступники (9 книг) / Художественная / FB2
  • Кристиан Роберт Винд | Нечто из Блэк Вудс (2020) [MP3]
  • Иванов В. Н. - Александр Пушкин и его время. Императрица Фике [1985, PDF, RUS]
  • Библиотека тайн (5 книг) / Художественная / FB2, PDF

:: Детали раздачи
Раздача является мультитрекерной — учтите, количество раздающих не будет совпадать с количеством участников на сайте (скачивание на клиентской стороне зависит от настроек µTorrent клиент программы, настройки -> Включить DHT, Обмен пирами и Поиск лок-х пиров).
Если висит надпись, пиры по нулям - не бойтесь, возможность скачать повторно раздачу - есть. Попробуйте, в случае отказа - прокоментируйте или нажмите на "Позвать скачавших".

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

Скачать Скачать .torrent файл (основная ссылка для скачивания файла)
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
./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
Связанные раздачи
Загрузка / Обновление
Категория Книги / PDF/ Djvu RSS лента
Добавлен (1 год, 3 месяца назад)
Просмотров 4 раз (a)
Взят 0 раз (a)
Файлы 75, 774.08 MB (811 686 403 байт)
Раздал ViKa  (Искать торренты)
Участники
Завершено: 0 (0)
Просматривают

« Школа 2100 - все учебники - Бунеев Р.Н., Вахрушев А.А., Данилов Д.Д. и др. -†- ¿? -†- Сборник инструкций и каталогов - Настройка и ремонт швейных машин и оверлоков »

:: Список Комментариев
Нет комментариев.

 Нет комментариев

Счетчики
Яндекс.Метрика Анализ сайта elit-knigi.ru


Наша группа в ВК