Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Методы и средства вычислений с объектами (Record no. 201376)

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
Holdings
Не выдается Отсутствует на месте Поврежден Исходное место хранения Местоположение Дата поступления Цена Всего выдач Расстановочный шифр Штрих-код Номер копии Класс экземпляра
      Научная библиотека ТГУ Книгохранилище 03/04/2021 240.00   1-921036к 13820000477952 1 Выдается в читальный зал