Математическая логика и теория алгоритмов [PDF/DjVu, RUS/ENG] аннотация к книге (журналу)

Читать онлайн отзывы бесплатно, без регистрации

Название: Математическая логика и теория алгоритмов [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


Если Вы знакомы с этой книгой(журналом), отставьте отзыв:

Добавить комментарий:

Ваше имя:


Отзыв:


Аннотации к похожим книгам (журналам):

  1. Разные - 12 книг по прокачке мозга/супермышлению (англ. и рус.)
  2. ASP.NET MVC Framework [PDF, ENG/RUS]
  3. Сборник книг. Аквариумы, аквариумные рыбки, устройства аквариума и уход за ним. (141 книга) [1959-2009, PDF, DJVU, CHM]
  4. Справочники для школьников [1995-1997, DjVu, RUS]
  5. Моя подборка книг и сканов по строительству и архитектуре
  6. Основания языков программирования [PDF/DjVu, ENG/RUS]

Наш портал предлагает Вам ознакомиться с описанием Математическая логика и теория алгоритмов [PDF/DjVu, RUS/ENG]. Всего просмотров данной статьи: 494. Вы также можете найти у нас аннотации к электронным книгам (также аудиокнигам) этого же автора. Мы не сомневаемся, что мы поможем Вам выбрать, что почитать на досуге, также выбрать учебные материалы. Всю информацию Вы можете читать бесплатно, без регистрации и онлайн. Мы надеемся, что Вы не пожалеете о том, что зашли на наш портал.

Случайные аннотации:

  1. Томас Л. Уэст, Джеффри Д. Джонс - Пособие по оценке бизнеса [2003, PDF]
  2. Мейер М.В. - Оценка эффективности бизнеса. Что будет после Balanced Scorecard? [2004, PDF]
  3. Анцупов А.Я., Ковалев В.В. - Социально-психологическая оценка персонала [2006, PDF, RUS]
  4. Оценка уровня квалификации сотрудников [2009, PDF]
  5. Доминик Купер, Иван Т. Робертсон, Гордон Тинлайн - Отбор и найм персонала: технологии тестирования и оценки [2005, DOC, RUS]