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