Комбинаторная логика в программировании
Вольфенгаген В.Э.
Изложен основной круг задач, сводимых к исчислению объектов - ''от простого к сложному''. Конкретный вариант исчисления выбирается в зависимости от решаемых вычислительных задач. В ходе последовательного решения задач читатель овладевает основными методами и средствами комбинаторной логики и ламбда-исчисления. Все задачи снабжены подробными и элементарными решениями. Для студентов старших курсов и аспирантов, изучающих математические основы объектно-ориентированных вычислений, начинающих и профессионально работающих над продвинутыми проектами программистов. Может быть использована в курсах дискретной математики, информатики, теории программирования. Предварительной математической подготовки не требуется. Материал частично или полностью может быть использован для самостоятельного изучения как книга ''для первого чтения''.
Данная публикация входит в состав ''Библиотеки учебных курсов'', формирование которой ведется в рамках программы академического сотрудничества MSDN Academic Alliance (MSDN AA)
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
