|
|
libcats.org
Комбинаторная логика в программированииВольфенгаген В.Э.Изложен основной круг задач, сводимых к исчислению объектов - ''от простого к сложному''. Конкретный вариант исчисления выбирается в зависимости от решаемых вычислительных задач. В ходе последовательного решения задач читатель овладевает основными методами и средствами комбинаторной логики и ламбда-исчисления. Все задачи снабжены подробными и элементарными решениями. Для студентов старших курсов и аспирантов, изучающих математические основы объектно-ориентированных вычислений, начинающих и профессионально работающих над продвинутыми проектами программистов. Может быть использована в курсах дискретной математики, информатики, теории программирования. Предварительной математической подготовки не требуется. Материал частично или полностью может быть использован для самостоятельного изучения как книга ''для первого чтения''.
Данная публикация входит в состав ''Библиотеки учебных курсов'', формирование которой ведется в рамках программы академического сотрудничества MSDN Academic Alliance (MSDN AA) EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Практическая энциклопедiяАвтор: Битнер Вильгельм Казимир ВильгельмовичКатегория: справочники
Размер книги: 48 Kb
До дела пока не дошлоАвтор: Богатырeв Игорь ВладимировичКатегория: Научная литература
Размер книги: 8 Kb
Haldane's best cover letters for professionalsАвтор: Bernard Haldane Associates
Размер книги: 377 Kb
The Day Is Gone, And All Its Sweets Are Gone!Автор: Keats JohnКатегория: fiction
Размер книги: 1007 b
Введение в анализ, синтез и моделирование системАвтор: Казиев В.М.Категория: системный анализ
Размер книги: 3.69 Mb
|
|
|