Методы и средства вычислений с объектами аппликативные вычислительные системы

Bibliographic Details
Main Author:	Вольфенгаген, Вячеслав Эрнстович
Format:	Book
Language:	Russian
Published:	Москва Центр ЮрИнфоР 2004
Series:	Библиотека "ЮрИнфоР" Компьютерные науки и информационные технологии
Subjects:	вычислительные системы. классы в программировании. типы в программировании. вычисления аппликативные. системы объектов в программировании. комбинаторы в программировании. агрегации в программировании. отношения в программировании. онтология в программировании. абстракция в программировании. дескрипции в программировании. логические произведения. имена в программировании. экстенсиональность. конгруэнтность. Черса-Россера теорема. истинностные значения. натуральные числа. комбинаторы. комбинирование сущностей. содержательный смысл операторов. комбинаторная логика. редукция. теория вычислений. вычисления в декартово замкнутой категории. теория функций. теория типов в программировании. каррирование. теория-оболочка. логика высших порядков. структура предметной области. концепты. дескрипции. эквациональная теория. интенсиональные операторы. бинарные отношения. экстенсиональные отношения. интенсиональные отношения. экстенсиональное равенство. языки программирования. рекурсивных функций представление. кодирования. категориальная абстрактная машина. категориальная комбинаторная логика CCL. команды. конструкции аппликативного языка. синтаксис абстрактный. выражения аппликативного языка. синтаксические соглашения. структуры данных. семантика конструкций языка. аппликативная структура. объекты с типами в программировании. комбинаторные термы. стратифицированные объекты. теорема объектной редукции. логика функциональности. генценовские системы. дедукция натуральная. Генцена L-система. логика объектов. комбинаторная логика иллативная. Карри парадокс. теорема дедукции. канонические объекты. арифметика точная. вычисления с объектами. вычисления в категории.
Online Access:	Перейти в каталог НБ ТГУ


LEADER	06292nam a2201165 i 4500
001	vtls000198285
003	RU-ToGU
005	20210922010940.0
008	120827s2004 ru f d 001 0 rus d
015			\|a 75362 \|a 04/49 (Книжная летопись))
017			\|a 04-70614 \|b RuMoRKP
020			\|a 5891581000
035			\|a 0203-38360
035			\|a (RU-RKP)ru04-076469RKP
039		9	\|a 201308191220 \|c 201208270605 \|d VLOAD \|c 200601230013 \|d VLOAD \|y 200511081728 \|z Александр Эльверович Гилязов
040			\|a RU-RKP \|b rus \|c RU-RKP \|d RU-ToGU \|e PSBO
080			\|a 004.42
080			\|a 519.681
084			\|a 32.973.26-018.2 \|2 rubbkm
100	1		\|a Вольфенгаген, Вячеслав Эрнстович \|9 223572
245	1	0	\|a Методы и средства вычислений с объектами \|b аппликативные вычислительные системы \|c В. Э. Вольфенгаген ; Ин-т актуал. образования "ЮрИнфоР-МГУ", Каф. перспектив. компьютер. исслед. и информ. технологий
260			\|a Москва \|b Центр ЮрИнфоР \|c 2004 \|9 718280
300			\|a 788 с. \|c 22 см.
490	1		\|a Библиотека "ЮрИнфоР". Серия : компьютерные науки и информационные технологии
504			\|a Библиогр.: с. 703-730
555			\|a Имен. указ., указ. символов, терминов: с. 735-752
650		7	\|a вычислительные системы. \|2 RuMorurkp \|9 54999
653			\|a классы в программировании.
653			\|a типы в программировании.
653			\|a вычисления аппликативные.
653			\|a системы объектов в программировании.
653			\|a комбинаторы в программировании.
653			\|a агрегации в программировании.
653			\|a отношения в программировании.
653			\|a онтология в программировании.
653			\|a абстракция в программировании.
653			\|a дескрипции в программировании.
653			\|a логические произведения.
653			\|a имена в программировании.
653			\|a экстенсиональность.
653			\|a конгруэнтность.
653			\|a Черса-Россера теорема.
653			\|a истинностные значения.
653			\|a натуральные числа.
653			\|a комбинаторы.
653			\|a комбинирование сущностей.
653			\|a содержательный смысл операторов.
653			\|a комбинаторная логика.
653			\|a редукция.
653			\|a теория вычислений.
653			\|a вычисления в декартово замкнутой категории.
653			\|a теория функций.
653			\|a теория типов в программировании.
653			\|a каррирование.
653			\|a теория-оболочка.
653			\|a логика высших порядков.
653			\|a структура предметной области.
653			\|a концепты.
653			\|a дескрипции.
653			\|a эквациональная теория.
653			\|a интенсиональные операторы.
653			\|a бинарные отношения.
653			\|a экстенсиональные отношения.
653			\|a интенсиональные отношения.
653			\|a экстенсиональное равенство.
653			\|a языки программирования.
653			\|a рекурсивных функций представление.
653			\|a кодирования.
653			\|a категориальная абстрактная машина.
653			\|a категориальная комбинаторная логика CCL.
653			\|a команды.
653			\|a конструкции аппликативного языка.
653			\|a синтаксис абстрактный.
653			\|a выражения аппликативного языка.
653			\|a синтаксические соглашения.
653			\|a структуры данных.
653			\|a семантика конструкций языка.
653			\|a аппликативная структура.
653			\|a объекты с типами в программировании.
653			\|a комбинаторные термы.
653			\|a стратифицированные объекты.
653			\|a теорема объектной редукции.
653			\|a логика функциональности.
653			\|a генценовские системы.
653			\|a дедукция натуральная.
653			\|a Генцена L-система.
653			\|a логика объектов.
653			\|a комбинаторная логика иллативная.
653			\|a Карри парадокс.
653			\|a теорема дедукции.
653			\|a канонические объекты.
653			\|a арифметика точная.
653			\|a вычисления с объектами.
653			\|a вычисления в категории.
830		0	\|a Библиотека "ЮрИнфоР" \|p Компьютерные науки и информационные технологии \|9 223573
852	4		\|a RU-ToGU \|h 519.6 \|i В721 \|n ru
856			\|y Перейти в каталог НБ ТГУ \|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=201376
920			\|a 5-89158-100-0 \|b в пер. \|9 2000 экз.
999			\|c 201376 \|d 201376
952			\|0 0 \|1 0 \|4 0 \|6 1921036К \|7 0 \|9 372422 \|a RU-ToGU \|b RU-ToGU \|c 10024 \|d 2021-04-03 \|g 240.00 \|l 0 \|o 1-921036к \|p 13820000477952 \|r 2021-04-03 \|t 1 \|w 2021-04-03 \|y 1

Методы и средства вычислений с объектами аппликативные вычислительные системы

Similar Items