Normal view
MARC view
Математическая логика и теория алгоритмов (Record no. 375058)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 03003cam a2200565 i 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | vtls000509904 |
| 005 - Дата корректировки | |
| Контрольное поле | 20210922073342.0 |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 150710s2013 ru b 000 0 rus|d |
| 020 ## - Индекс ISBN | |
| ISBN | 9785769595592 |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | to000509904 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RuMoRKP |
| Код языка каталог. | rus |
| Правила каталог. | rcr |
| Организация, изменившая запись | RuMoRGB |
| -- | RU-ToGU |
| 041 0# - Код языка издания | |
| Код языка текста | rus |
| 080 ## - Индекс УДК | |
| Индекс УДК | 510.6(075.8) |
| 080 ## - Индекс УДК | |
| Индекс УДК | 510.5(075.8) |
| 084 ## - Индекс другой классификации/Индекс ББК | |
| Индекс другой классификации/Индекс ББК | В12я73-1 |
| Источник индекса | rubbk |
| 100 1# - Автор | |
| Автор | Крупский, Владимир Николаевич |
| 9 (RLIN) | 429126 |
| 245 10 - Заглавие | |
| Заглавие | Математическая логика и теория алгоритмов |
| Продолж. заглавия | [учебное пособие для бакалавров, обучающихся по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы"] |
| Ответственность | В. Н. Крупский, В. Е. Плиско |
| 260 ## - Выходные данные | |
| Место издания | Москва |
| Издательство | Академия |
| Дата издания | 2013 |
| 300 ## - Физическое описание | |
| Объем | 415, [1] с. |
| Размеры | 21 см |
| 490 1# - Серия | |
| Заглавие серии | Бакалавриат |
| 490 1# - Серия | |
| Заглавие серии | Высшее профессиональное образование. Информатика и вычислительная техника |
| 504 ## - Библиография | |
| Библиография | Библиогр.: с. 412-413 |
| 650 #7 - Тематические рубрики | |
| Основная рубрика | математическая логика |
| Источник рубрики | nlr_sh |
| 9 (RLIN) | 54240 |
| 650 #7 - Тематические рубрики | |
| Основная рубрика | алгоритмов теория |
| Источник рубрики | nlr_sh |
| 9 (RLIN) | 274173 |
| 653 ## - Ключевые слова | |
| Ключевые слова | множеств теория |
| 653 ## - Ключевые слова | |
| Ключевые слова | логика высказываний |
| 653 ## - Ключевые слова | |
| Ключевые слова | исчисление высказываний |
| 653 ## - Ключевые слова | |
| Ключевые слова | логика предикатов |
| 653 ## - Ключевые слова | |
| Ключевые слова | исчисление предикатов |
| 653 ## - Ключевые слова | |
| Ключевые слова | логико-математические языки первого порядка |
| 653 ## - Ключевые слова | |
| Ключевые слова | аксиоматические теории |
| 653 ## - Ключевые слова | |
| Ключевые слова | моделей теория |
| 653 ## - Ключевые слова | |
| Ключевые слова | алгоритмов теория |
| 653 ## - Ключевые слова | |
| Ключевые слова | множеств теория алгоритмическая |
| 653 ## - Ключевые слова | |
| Ключевые слова | Тьюринга машины |
| 653 ## - Ключевые слова | |
| Ключевые слова | формализации вычислимости |
| 653 ## - Ключевые слова | |
| Ключевые слова | алгоритмические проблемы неразрешимые |
| 653 ## - Ключевые слова | |
| Ключевые слова | арифметика формальная |
| 653 ## - Ключевые слова | |
| Ключевые слова | метор резолюций |
| 653 ## - Ключевые слова | |
| Ключевые слова | интуиционистская логика |
| 653 ## - Ключевые слова | |
| Ключевые слова | сложность вычислений, теория |
| 653 ## - Ключевые слова | |
| Ключевые слова | задачи труднорешаемые, примеры |
| 700 1# - Другие авторы | |
| Другие авторы | Плиско, Валерий Егорович |
| 9 (RLIN) | 274049 |
| 830 #0 - Заголовок добавочной библ.записи на серию — унифицированное заглавие | |
| Унифицированное заглавие | Бакалавриат |
| 9 (RLIN) | 107490 |
| 830 #0 - Заголовок добавочной библ.записи на серию — унифицированное заглавие | |
| Унифицированное заглавие | Высшее профессиональное образование |
| Название части/раздела работы | Информатика и вычислительная техника |
| 9 (RLIN) | 74492 |
| 852 4# - Местонахождение единицы хранения | |
| Код организации-хранителя | RU-ToGU |
| Полочный индекс | 510 |
| Авторский знак | К845 |
| Код страны | ru |
| 908 ## - Параметр входа данных | |
| Параметр входа данных | учебник |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 375058 |
| Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Всего выдач | Расстановочный шифр | Штрих-код | Класс экземпляра | Номер копии |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Научная библиотека ТГУ | Читальный зал 5 | 04/04/2021 | 882.09 | 510 К845 | 13820000899245 | Выдается по месту хранения | |||||
| Научная библиотека ТГУ | Абонемент | 04/04/2021 | 1289.04 | 51 К845 | 13820000954908 | 6 месяцев | 1 | ||||
| Научная библиотека ТГУ | Абонемент | 04/04/2021 | 1289.04 | 51 К845 | 13820000954909 | 6 месяцев | 2 |