Сводный каталог книг

[Текст] : монография / В.Э. Вольфенгаген. - 2-е изд. - Москва : Центр ЮрИнфоР, 2003. - 336 с. - (Библиотека "ЮрИнфоР". Серия, Компьютерные науки и информационные технологии). - Библиогр.: с. 291-308. - Предм. указ.: с. 309-312. - В надзаг.: Ин-т актуальн. образования "ЮрИнфоР-МГУ", Каф. перспективн. компьютерн. исслед. и информ. технологий. . - ISBN 5-89158-101-9 : 195.00 р.

УДК

004

ББК В19

Аннотация: Изложен основной круг задач, сводимых к исчислению объектов - "от простого к сложному". Конкретный вариант исчисления выбирается в зависимости от решаемых вычислительных задач. В ходе последовательного решения задач читатель овладевает основными методами и средствами комбинаторной логики и лямбда-исчисления. Все задачи снабжены подробными и элементарными решениями. Для студентов старших курсов и аспирантов, изучающих математические основы объектно-ориентированных вычислений, начинающих и профессионально работающих над продвинутыми проектами программистов. Может быть использована в курсах дискретной математики, информатики, теории программирования. Предварительной математической подготовки не требуется. Материал частично или полностью может быть использован для самостоятельного изучения как книга "для первого чтения".

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : Приемы описания / В.Э. Вольфенгаген ; Ин-т актуал. образования "ЮрИнфоР-МГУ". Каф. перспектив. компьютер. исслед. и информ. технологий. - Москва : Центр ЮрИнфоР, 2001. - 276 с. : ил. - (Библиотека "ЮрИнфоР-МГУ". Компьютерные науки и информационные технологии). - Библиогр.: с. 257-262. - Предм. указ: с. 263-269. - ISBN 5-89158-079-9 : 130.90 р.

УДК

004

ББК З973.2-018.12

Аннотация: В работе изложены основы, касающиеся разработки, реализации и применения конструкций как императивных, так и функциональных языков программирования. Значительное внимание уделяется применению денотационной семантики, позволяющей в полной мере извлечь преимущества объектно-ориентированного подхода, что, в конечном счете, позволяет построить результирующую вычислительную модель чисто функционального типа. Изложение материала сопровождается детально разобранными примерами, которые снабжены комментариями, помогающими уяснить реализацию конструкций различных языков. Книгу можно использовать в качестве учебника или справочного пособия. Она будет полезна как студентам и аспирантам, так и профессионалам в области компьютерных наук, информационных технологий и программирования.

Полный текст на сайте РФФИ

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)