Normal view
MARC view
Вводный курс математической логики [учебное пособие] В. А. Успенский, Н. К. Верещагин, В. Е. Плиско
Material type: TextPublication details: М. Физматлит 2004Edition: [2-е изд.]Description: 125, [1] сISBN: 5922102788Subject(s): учебные пособия для вузов | математическая логика | множеств теория | множества эквивалентные | множества счетные | числа кардинальные | Кантора теорема | множеств теория, парадоксы | множеств теория аксиоматическая | логика высказываний | логические операции | кванторы | языки первого порядка | субъектно-предикатная структура | истинности формальное определение | формулы общезначимые | формулы выполнимые | формулы равносильные | формулы предваренные | истинность | изоморфизмы | эквивалентность элементарная | выразимость (мат. логика) | выразимость (мат. логика), доказательство | автоморфизмы | теория доказательств | аксиоматический метод | логическое следование | тавтологическое следствие (мат. логика) | исчисление предикатов | вывод из гипотез | теории первого порядка | арифметика формальная | Геделя теорема о полноте | категоричность (мат. логика) | теория алгоритмов | вычислимые функции | множества разрешимые | множества полуразрешимые | универсальная вычислимая функция | перечислимость множества теорем | Тьюринга машины | Черча тезисItem type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-916422к (Browse shelf(Opens below)) | 1 | Available | 13820000461601 | ||
1 неделя | Научная библиотека ТГУ Читальный зал 5 | 510 У774 (Browse shelf(Opens below)) | 2 | Available | 13820000461602 |
Библиогр.: с. 122
Предм. указ.: с. 123-125
There are no comments on this title.
Log in to your account to post a comment.