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