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

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

В работе отражены основные направления развития функционального программирования как на уровне идей, так и на уровне технологий. Материал апробирован на практике в НИЯУ, МИФИ, МФТИ, а также в ряде образовательных центров РФ....

This work covers the advanced topics in main ideas of computing in general. This material is approved in practice of NRNU МЕР hi, MIPT and several other educational centers of the Russian Federation....

В работе отражена проблематика компьютинга с применением современных математических средств. Материал построен из двух частей и апробирован на практике преподавания в НИЯУ \"МИФИ\", МФТИ и ряде других учебных заведений страны....

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

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