Normal view
MARC view
Математическая логика и теория алгоритмов (Record no. 506513)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 02452nam a2200481 i 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | vtls000232235 |
| 005 - Дата корректировки | |
| Контрольное поле | 20210922122037.0 |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 070620s2005 ru b 001 0 rus |
| 017 ## - Номер регистрации авторского права или обязательного экземпляра | |
| Номер государственной регистрации | 05-67546 |
| Организация, присвоившая номер | RuMoRKP |
| 020 ## - Индекс ISBN | |
| ISBN | 5776505496 |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | (RU-RKP)ru05-075836RKP |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RuMoRKP |
| Код языка каталог. | rus |
| Служба, преобразующая запись | RU-RKP |
| Организация, изменившая запись | RU-ToGU |
| 041 0# - Код языка издания | |
| Код языка текста | rus |
| 080 ## - Индекс УДК | |
| Индекс УДК | 510.6(075.8) |
| 084 ## - Индекс другой классификации/Индекс ББК | |
| Индекс другой классификации/Индекс ББК | 22.12я73 |
| Источник индекса | rubbkm |
| 100 1# - Автор | |
| Автор | Хусаинов, Ахмет Аксанович |
| 9 (RLIN) | 532713 |
| 245 10 - Заглавие | |
| Заглавие | Математическая логика и теория алгоритмов |
| Продолж. заглавия | [учебное пособие] |
| Ответственность | А. А. Хусаинов, Н. Н. Михайлова ; М-во образования и науки Рос. Федерации, Федер. агентство по образованию, Комсом.-на-Амуре гос. техн. ун-т, Ин-т новых информ. технологий Комсом.-на-Амуре гос. техн. ун-та |
| 260 ## - Выходные данные | |
| Место издания | Комсомольск-на-Амуре |
| Издательство | КНАГТУ |
| Дата издания | 2005 |
| 300 ## - Физическое описание | |
| Объем | 96 с. |
| Размеры | 29 см. |
| 504 ## - Библиография | |
| Библиография | Библиогр.: с. 95 |
| 504 ## - Библиография | |
| Библиография | Предм. указ.: с. 91-94 |
| 653 ## - Ключевые слова | |
| Ключевые слова | аксиоматическая теория множеств |
| 653 ## - Ключевые слова | |
| Ключевые слова | алгебра логики |
| 653 ## - Ключевые слова | |
| Ключевые слова | теорема о полноте |
| 653 ## - Ключевые слова | |
| Ключевые слова | исчисление высказываний |
| 653 ## - Ключевые слова | |
| Ключевые слова | исчисление предикатов |
| 653 ## - Ключевые слова | |
| Ключевые слова | теория моделей языка первого порядка |
| 653 ## - Ключевые слова | |
| Ключевые слова | теория нечетких множеств |
| 653 ## - Ключевые слова | |
| Ключевые слова | модальная логика |
| 653 ## - Ключевые слова | |
| Ключевые слова | темпоральная логика |
| 653 ## - Ключевые слова | |
| Ключевые слова | алгоритмическая логика |
| 653 ## - Ключевые слова | |
| Ключевые слова | теория алгоритмов |
| 653 ## - Ключевые слова | |
| Ключевые слова | теория рекурсии |
| 653 ## - Ключевые слова | |
| Ключевые слова | задачи по математической логике |
| 653 ## - Ключевые слова | |
| Ключевые слова | математическая логика |
| 653 ## - Ключевые слова | |
| Ключевые слова | учебные пособия для вузов |
| 700 1# - Другие авторы | |
| Другие авторы | Михайлова, Наталья Николаевна |
| 9 (RLIN) | 335459 |
| 852 4# - Местонахождение единицы хранения | |
| Код организации-хранителя | RU-ToGU |
| Код страны | ru |
| 908 ## - Параметр входа данных | |
| Параметр входа данных | учебник |
| 920 ## - | |
| -- | 5-7765-0549-6 |
| -- | 100 экз. |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 506513 |
| Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Всего выдач | Расстановочный шифр | Штрих-код | Класс экземпляра |
|---|---|---|---|---|---|---|---|---|---|---|
| Научная библиотека ТГУ | Книгохранилище | 05/04/2021 | 160.00 | 1-953571к | 13820000586743 | Выдается в читальный зал |