В.Э. Вольфенгаген

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

Издательство: ЮрИнфоР
Дата выхода: октябрь 2009

Настоящее издание значительно переработано и расширено элементами техники семантических рассуждений с применением классов и отношений, что особенно важно для работы с электронными формами информации. Рассмотрены способы переформулирования текста фактического типа на символьный язык, допускающий применение классических логических средств. Показаны приемы и способы записи аргументации и проверки...

Издательство: ЮрИнфоР
Дата выхода: июль 2004

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

Издательство: ЮрИнфоР
Дата выхода: декабрь 2002

Работа содержит изложение базовых моделей вычислений, применяемых в компьютерных науках.

Издательство: ЮрИнфоР
Дата выхода: январь 2003

В работе рассмотрены способы переформулирования текста фактического типа на символьный язык, допускающий применение классических логических средств. Показаны приемы и способы записи аргументации и проверки ее значимости. На большом числе примеров проиллюстрирована техника логических рассуждений, выводов и доказательств. Отмечены способы включения в вывод аннотаций (комментариев), пользуясь...

Издательство: ЮрИнфоР
Дата выхода: январь 2001

В работе изложены основы, касающиеся разработки, реализации и применения конструкций как императивных так и функциональных языков программирования.

Издательство: ЮрИнфоР
Дата выхода: январь 2001