Normal view
MARC view
Курс математической логики и теории вычислимости учебное пособие : [для студентов по направлению подготовки "Компьютерные и информационные науки", "Информатика и вычислительная техника" и др.] А. С. Герасимов
Material type: TextLanguage: Russian Series: Учебники для вузовPublication details: Санкт-Петербург [и др.] Лань 2014Edition: Изд. 4-е, перераб. и допDescription: 409 с. ил., таблISBN: 9785811416660Subject(s): Математическая логика -- Учебные издания для высших учебных заведений | теория вычислимости | алгоритмов теория | язык логики предикатов | язык логики высказываний | исчисление гильбертовского типа | секвенциальные исчисления | метод резолюций | элементарная арифметика | Цермело-Френкеля теория множеств | Тьюринга машины | Маркова алгоритмы нормальные | лямбда-исчисление | рекурсивные функции частично | неразрешимость (математическая логика) | исчисление предикатов | Геделя теорема о неполноте | Хоара исчислениеOther classification: В12я73-1Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Выдается по месту хранения | Читальный зал 5 | 510 Г371 (Browse shelf (Opens below)) | Available | 13820000895493 |
Предм. указ.: с. 384-405
Библиогр.: с. 280-283
There are no comments on this title.