Normal view
MARC view
Методы и средства вычислений с объектами (Record no. 201376)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 06036nam a2201141 i 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000198285 |
005 - Дата корректировки | |
Контрольное поле | 20210922010940.0 |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 120827s2004 ru f d 001 0 rus d |
015 ## - Номер в национальной библиографии | |
Номер в национальной библиографии | 75362 |
-- | 04/49 (Книжная летопись)) |
017 ## - Номер регистрации авторского права или обязательного экземпляра | |
Номер государственной регистрации | 04-70614 |
Организация, присвоившая номер | RuMoRKP |
020 ## - Индекс ISBN | |
ISBN | 5891581000 |
035 ## - Системный контрольный номер | |
Системный контрольный номер | 0203-38360 |
035 ## - Системный контрольный номер | |
Системный контрольный номер | (RU-RKP)ru04-076469RKP |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | RU-RKP |
Код языка каталог. | rus |
Служба, преобразующая запись | RU-RKP |
Организация, изменившая запись | RU-ToGU |
Правила каталог. | PSBO |
080 ## - Индекс УДК | |
Индекс УДК | 004.42 |
080 ## - Индекс УДК | |
Индекс УДК | 519.681 |
084 ## - Индекс другой классификации/Индекс ББК | |
Индекс другой классификации/Индекс ББК | 32.973.26-018.2 |
Источник индекса | rubbkm |
100 1# - Автор | |
Автор | Вольфенгаген, Вячеслав Эрнстович |
9 (RLIN) | 223572 |
245 10 - Заглавие | |
Заглавие | Методы и средства вычислений с объектами |
Продолж. заглавия | аппликативные вычислительные системы |
Ответственность | В. Э. Вольфенгаген ; Ин-т актуал. образования "ЮрИнфоР-МГУ", Каф. перспектив. компьютер. исслед. и информ. технологий |
260 ## - Выходные данные | |
Место издания | Москва |
Издательство | Центр ЮрИнфоР |
Дата издания | 2004 |
300 ## - Физическое описание | |
Объем | 788 с. |
Размеры | 22 см. |
490 1# - Серия | |
Заглавие серии | Библиотека "ЮрИнфоР". Серия : компьютерные науки и информационные технологии |
504 ## - Библиография | |
Библиография | Библиогр.: с. 703-730 |
555 ## - Примечание о кумулятивном указателе / вспомогательных указателях | |
Примечание о кумулятивном указателе / вспомогательных указателях | Имен. указ., указ. символов, терминов: с. 735-752 |
650 #7 - Тематические рубрики | |
Основная рубрика | вычислительные системы. |
Источник рубрики | RuMorurkp |
9 (RLIN) | 54999 |
653 ## - Ключевые слова | |
Ключевые слова | классы в программировании. |
653 ## - Ключевые слова | |
Ключевые слова | типы в программировании. |
653 ## - Ключевые слова | |
Ключевые слова | вычисления аппликативные. |
653 ## - Ключевые слова | |
Ключевые слова | системы объектов в программировании. |
653 ## - Ключевые слова | |
Ключевые слова | комбинаторы в программировании. |
653 ## - Ключевые слова | |
Ключевые слова | агрегации в программировании. |
653 ## - Ключевые слова | |
Ключевые слова | отношения в программировании. |
653 ## - Ключевые слова | |
Ключевые слова | онтология в программировании. |
653 ## - Ключевые слова | |
Ключевые слова | абстракция в программировании. |
653 ## - Ключевые слова | |
Ключевые слова | дескрипции в программировании. |
653 ## - Ключевые слова | |
Ключевые слова | логические произведения. |
653 ## - Ключевые слова | |
Ключевые слова | имена в программировании. |
653 ## - Ключевые слова | |
Ключевые слова | экстенсиональность. |
653 ## - Ключевые слова | |
Ключевые слова | конгруэнтность. |
653 ## - Ключевые слова | |
Ключевые слова | Черса-Россера теорема. |
653 ## - Ключевые слова | |
Ключевые слова | истинностные значения. |
653 ## - Ключевые слова | |
Ключевые слова | натуральные числа. |
653 ## - Ключевые слова | |
Ключевые слова | комбинаторы. |
653 ## - Ключевые слова | |
Ключевые слова | комбинирование сущностей. |
653 ## - Ключевые слова | |
Ключевые слова | содержательный смысл операторов. |
653 ## - Ключевые слова | |
Ключевые слова | комбинаторная логика. |
653 ## - Ключевые слова | |
Ключевые слова | редукция. |
653 ## - Ключевые слова | |
Ключевые слова | теория вычислений. |
653 ## - Ключевые слова | |
Ключевые слова | вычисления в декартово замкнутой категории. |
653 ## - Ключевые слова | |
Ключевые слова | теория функций. |
653 ## - Ключевые слова | |
Ключевые слова | теория типов в программировании. |
653 ## - Ключевые слова | |
Ключевые слова | каррирование. |
653 ## - Ключевые слова | |
Ключевые слова | теория-оболочка. |
653 ## - Ключевые слова | |
Ключевые слова | логика высших порядков. |
653 ## - Ключевые слова | |
Ключевые слова | структура предметной области. |
653 ## - Ключевые слова | |
Ключевые слова | концепты. |
653 ## - Ключевые слова | |
Ключевые слова | дескрипции. |
653 ## - Ключевые слова | |
Ключевые слова | эквациональная теория. |
653 ## - Ключевые слова | |
Ключевые слова | интенсиональные операторы. |
653 ## - Ключевые слова | |
Ключевые слова | бинарные отношения. |
653 ## - Ключевые слова | |
Ключевые слова | экстенсиональные отношения. |
653 ## - Ключевые слова | |
Ключевые слова | интенсиональные отношения. |
653 ## - Ключевые слова | |
Ключевые слова | экстенсиональное равенство. |
653 ## - Ключевые слова | |
Ключевые слова | языки программирования. |
653 ## - Ключевые слова | |
Ключевые слова | рекурсивных функций представление. |
653 ## - Ключевые слова | |
Ключевые слова | кодирования. |
653 ## - Ключевые слова | |
Ключевые слова | категориальная абстрактная машина. |
653 ## - Ключевые слова | |
Ключевые слова | категориальная комбинаторная логика CCL. |
653 ## - Ключевые слова | |
Ключевые слова | команды. |
653 ## - Ключевые слова | |
Ключевые слова | конструкции аппликативного языка. |
653 ## - Ключевые слова | |
Ключевые слова | синтаксис абстрактный. |
653 ## - Ключевые слова | |
Ключевые слова | выражения аппликативного языка. |
653 ## - Ключевые слова | |
Ключевые слова | синтаксические соглашения. |
653 ## - Ключевые слова | |
Ключевые слова | структуры данных. |
653 ## - Ключевые слова | |
Ключевые слова | семантика конструкций языка. |
653 ## - Ключевые слова | |
Ключевые слова | аппликативная структура. |
653 ## - Ключевые слова | |
Ключевые слова | объекты с типами в программировании. |
653 ## - Ключевые слова | |
Ключевые слова | комбинаторные термы. |
653 ## - Ключевые слова | |
Ключевые слова | стратифицированные объекты. |
653 ## - Ключевые слова | |
Ключевые слова | теорема объектной редукции. |
653 ## - Ключевые слова | |
Ключевые слова | логика функциональности. |
653 ## - Ключевые слова | |
Ключевые слова | генценовские системы. |
653 ## - Ключевые слова | |
Ключевые слова | дедукция натуральная. |
653 ## - Ключевые слова | |
Ключевые слова | Генцена L-система. |
653 ## - Ключевые слова | |
Ключевые слова | логика объектов. |
653 ## - Ключевые слова | |
Ключевые слова | комбинаторная логика иллативная. |
653 ## - Ключевые слова | |
Ключевые слова | Карри парадокс. |
653 ## - Ключевые слова | |
Ключевые слова | теорема дедукции. |
653 ## - Ключевые слова | |
Ключевые слова | канонические объекты. |
653 ## - Ключевые слова | |
Ключевые слова | арифметика точная. |
653 ## - Ключевые слова | |
Ключевые слова | вычисления с объектами. |
653 ## - Ключевые слова | |
Ключевые слова | вычисления в категории. |
830 #0 - Заголовок добавочной библ.записи на серию — унифицированное заглавие | |
Унифицированное заглавие | Библиотека "ЮрИнфоР" |
Название части/раздела работы | Компьютерные науки и информационные технологии |
9 (RLIN) | 223573 |
852 4# - Местонахождение единицы хранения | |
Код организации-хранителя | RU-ToGU |
Полочный индекс | 519.6 |
Авторский знак | В721 |
Код страны | ru |
920 ## - | |
-- | 5-89158-100-0 |
-- | в пер. |
-- | 2000 экз. |
999 ## - Системные контрольные номера (Koha) | |
biblionumber (Koha) | 201376 |
Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Всего выдач | Расстановочный шифр | Штрих-код | Номер копии | Класс экземпляра |
---|---|---|---|---|---|---|---|---|---|---|---|
Научная библиотека ТГУ | Книгохранилище | 03/04/2021 | 240.00 | 1-921036к | 13820000477952 | 1 | Выдается в читальный зал |