Normal view
MARC view
Математическая логика и теория алгоритмов (Record no. 490854)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 02812nam a2200565 i 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | vtls000218375 |
| 005 - Дата корректировки | |
| Контрольное поле | 20230623115945.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 |