Normal view
MARC view
Математическая логика и теория алгоритмов [учебное пособие для бакалавров, обучающихся по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы"] В. Н. Крупский, В. Е. Плиско
Material type:
TextLanguage: Russian Series: Бакалавриат | Высшее профессиональное образованиеPublication details: Москва Академия 2013Description: 415, [1] с. 21 смISBN: 9785769595592Subject(s): математическая логика | алгоритмов теория | множеств теория | логика высказываний | исчисление высказываний | логика предикатов | исчисление предикатов | логико-математические языки первого порядка | аксиоматические теории | моделей теория | алгоритмов теория | множеств теория алгоритмическая | Тьюринга машины | формализации вычислимости | алгоритмические проблемы неразрешимые | арифметика формальная | метор резолюций | интуиционистская логика | сложность вычислений, теория | задачи труднорешаемые, примерыOther classification: В12я73-1
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| Выдается по месту хранения | Читальный зал 5 | 510 К845 (Browse shelf (Opens below)) | Available | 13820000899245 | ||
| 6 месяцев | Абонемент | 51 К845 (Browse shelf (Opens below)) | 1 | Available | 13820000954908 | |
| 6 месяцев | Абонемент | 51 К845 (Browse shelf (Opens below)) | 2 | Checked out | 10/09/2024 | 13820000954909 |
Библиогр.: с. 412-413
There are no comments on this title.