Логотип Информационно-коммуникационные технологии в образовании
  • Комбинаторная логика в программировании
  • Комбинаторная логика в программировании
    Вольфенгаген В.Э.
    2004
    Вольфенгаген В.Э. Комбинаторная логика в программировании. - М.: АО "Центр ЮрИнфоР", 2004.
    Лекция, курс лекций
    2. Математич. и алгоритмич. основы программирования
     
    Аннотация
    Изложен основной круг задач, сводимых к исчислению объектов - "от простого к сложному". Конкретный вариант исчисления выбирается в зависимости от решаемых вычислительных задач. В ходе последовательного решения задач читатель овладевает основными методами и средствами комбинаторной логики и ламбда-исчисления. Все задачи снабжены подробными и элементарными решениями. Для студентов старших курсов и аспирантов, изучающих математические основы объектно-ориентированных вычислений, начинающих и профессионально работающих над продвинутыми проектами программистов. Может быть использована в курсах дискретной математики, информатики, теории программирования. Предварительной математической подготовки не требуется. Материал частично или полностью может быть использован для самостоятельного изучения как книга "для первого чтения".
    Данная публикация входит в состав "Библиотеки учебных курсов", формирование которой ведется в рамках программы академического сотрудничества MSDN Academic Alliance (MSDN AA).
    Другие материалы "Библиотеки учебных курсов" на ИКТ-портале »
    Файл публикации (формат Adobe PDF, размер 1996 Кб) »
    © 2003-2014 Государственный научно-исследовательский институт информационных технологий и телекоммуникаций
    (ФГАУ ГНИИ ИТТ "Информика")
    Rambler's Top100