Normal view
MARC view
Методы и средства вычислений с объектами аппликативные вычислительные системы В. Э. Вольфенгаген ; Ин-т актуал. образования "ЮрИнфоР-МГУ", Каф. перспектив. компьютер. исслед. и информ. технологий
Material type:
TextSeries: Библиотека "ЮрИнфоР"Publication details: Москва Центр ЮрИнфоР 2004Description: 788 с. 22 смISBN: 5891581000Subject(s): вычислительные системы | классы в программировании | типы в программировании | вычисления аппликативные | системы объектов в программировании | комбинаторы в программировании | агрегации в программировании | отношения в программировании | онтология в программировании | абстракция в программировании | дескрипции в программировании | логические произведения | имена в программировании | экстенсиональность | конгруэнтность | Черса-Россера теорема | истинностные значения | натуральные числа | комбинаторы | комбинирование сущностей | содержательный смысл операторов | комбинаторная логика | редукция | теория вычислений | вычисления в декартово замкнутой категории | теория функций | теория типов в программировании | каррирование | теория-оболочка | логика высших порядков | структура предметной области | концепты | дескрипции | эквациональная теория | интенсиональные операторы | бинарные отношения | экстенсиональные отношения | интенсиональные отношения | экстенсиональное равенство | языки программирования | рекурсивных функций представление | кодирования | категориальная абстрактная машина | категориальная комбинаторная логика CCL | команды | конструкции аппликативного языка | синтаксис абстрактный | выражения аппликативного языка | синтаксические соглашения | структуры данных | семантика конструкций языка | аппликативная структура | объекты с типами в программировании | комбинаторные термы | стратифицированные объекты | теорема объектной редукции | логика функциональности | генценовские системы | дедукция натуральная | Генцена L-система | логика объектов | комбинаторная логика иллативная | Карри парадокс | теорема дедукции | канонические объекты | арифметика точная | вычисления с объектами | вычисления в категорииOther classification: 32.973.26-018.2
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| Выдается в читальный зал | Книгохранилище | 1-921036к (Browse shelf (Opens below)) | 1 | Available | 13820000477952 |
Библиогр.: с. 703-730
Имен. указ., указ. символов, терминов: с. 735-752
There are no comments on this title.