Normal view
MARC view
Математическая логика и теория алгоритмов (Record no. 490854)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 02879nam a2200565 i 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000218375 |
005 - Дата корректировки | |
Контрольное поле | 20210922114020.0 |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 120827s2004 ru a b 001 u rus |
015 ## - Номер в национальной библиографии | |
Номер в национальной библиографии | 54762 |
-- | 04/36 (Книжная летопись) |
017 ## - Номер регистрации авторского права или обязательного экземпляра | |
Номер государственной регистрации | 04-47008 |
Организация, присвоившая номер | RuMoRKP |
020 ## - Индекс ISBN | |
ISBN | 5160019758 |
020 ## - Индекс ISBN | |
ISBN | 5778204582 |
035 ## - Системный контрольный номер | |
Системный контрольный номер | (RU-RKP)ru04-054906RKP |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | RU-RKP |
Код языка каталог. | rus |
Служба, преобразующая запись | RU-RKP |
Организация, изменившая запись | RU-ToGU |
041 0# - Код языка издания | |
Код языка текста | rus |
080 ## - Индекс УДК | |
Индекс УДК | 510.6(075.8) |
084 ## - Индекс другой классификации/Индекс ББК | |
Индекс другой классификации/Индекс ББК | 22.12я73 |
Источник индекса | rubbkm |
100 1# - Автор | |
Автор | Судоплатов, Сергей Владимирович |
9 (RLIN) | 517563 |
245 10 - Заглавие | |
Заглавие | Математическая логика и теория алгоритмов |
Продолж. заглавия | учебник : [по направлениям 654600 "Информатика и вычислительная техника", 654700 "Информационные системы", 540200 "Физико-математическое образование"] |
Ответственность | С. В. Судоплатов, Е. В. Овчинникова ; М-во образования и науки Рос. Федерации, Новосиб. гос. техн. ун-т |
260 ## - Выходные данные | |
Место издания | М. |
Издательство | ИНФРА-М |
Место издания | Новосибирск |
Издательство | Изд-во НГТУ |
Дата издания | 2004 |
300 ## - Физическое описание | |
Объем | 223, [1] с. |
Иллюстрации/тип воспроизводства | ил. |
Размеры | 22 см. |
490 10 - Серия | |
Заглавие серии | Высшее образование |
504 ## - Библиография | |
Библиография | Библиогр.: с. 212-214 |
555 ## - Примечание о кумулятивном указателе / вспомогательных указателях | |
Примечание о кумулятивном указателе / вспомогательных указателях | Предм. указ.: с. 215-224 |
650 #7 - Тематические рубрики | |
Основная рубрика | математическая логика |
Источник рубрики | RuMoRKP |
9 (RLIN) | 54240 |
650 #7 - Тематические рубрики | |
Основная рубрика | алгоритмы |
Источник рубрики | RuMoRKP |
9 (RLIN) | 54447 |
653 ## - Ключевые слова | |
Ключевые слова | учебные пособия для вузов |
653 ## - Ключевые слова | |
Ключевые слова | исчисление высказываний |
653 ## - Ключевые слова | |
Ключевые слова | исчисление предикатов |
653 ## - Ключевые слова | |
Ключевые слова | теория моделей |
653 ## - Ключевые слова | |
Ключевые слова | Пеано аксиомы арифметики |
653 ## - Ключевые слова | |
Ключевые слова | модели арифметики |
653 ## - Ключевые слова | |
Ключевые слова | тьюринга алгоритмы |
653 ## - Ключевые слова | |
Ключевые слова | рекурсивные функции |
653 ## - Ключевые слова | |
Ключевые слова | Райса теорема |
653 ## - Ключевые слова | |
Ключевые слова | Геделя теорема о неполноте |
653 ## - Ключевые слова | |
Ключевые слова | алгоритмы сортировки |
653 ## - Ключевые слова | |
Ключевые слова | конечные автоматы |
653 ## - Ключевые слова | |
Ключевые слова | пропозиционные логики |
653 ## - Ключевые слова | |
Ключевые слова | предикатные логики |
653 ## - Ключевые слова | |
Ключевые слова | алгоритмические логики |
653 ## - Ключевые слова | |
Ключевые слова | задачи |
700 1# - Другие авторы | |
Другие авторы | Овчинникова, Елена Викторовна |
9 (RLIN) | 349510 |
830 ## - Заголовок добавочной библ.записи на серию — унифицированное заглавие | |
Унифицированное заглавие | Высшее образование |
9 (RLIN) | 55444 |
852 4# - Местонахождение единицы хранения | |
Код организации-хранителя | RU-ToGU |
Полочный индекс | 510 |
Авторский знак | С892 |
Код страны | ru |
908 ## - Параметр входа данных | |
Параметр входа данных | учебник |
920 ## - | |
-- | 5-16-001975-8 |
-- | в пер. |
-- | 3000 экз. |
999 ## - Системные контрольные номера (Koha) | |
biblionumber (Koha) | 490854 |
Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Всего выдач | Расстановочный шифр | Штрих-код | Класс экземпляра | Номер копии |
---|---|---|---|---|---|---|---|---|---|---|---|
Научная библиотека ТГУ | Книгохранилище | 05/04/2021 | 65.90 | 1-938267к | 13820000455334 | Выдается в читальный зал | |||||
Научная библиотека ТГУ | Читальный зал 5 | 05/04/2021 | 65.90 | 510 С892 | 13820000455335 | 1 неделя | 1 | ||||
Научная библиотека ТГУ | Читальный зал 5 | 05/04/2021 | 65.90 | 510 С892 | 13820000455336 | 1 неделя | 2 | ||||
Научная библиотека ТГУ | Абонемент. Депозитарий | 05/04/2021 | 46.97 | 51 С892 | 13820000540607 | 6 месяцев | 3 |