Ѕиблиотека ёр»нфо–® >>>  омпьютерные науки и информационные технологии >>>

ћетоды и средства вычислений с объектами. јппликативные вычислительные системы


ќбложка.  рупно.
ISBN 5-89158-100-0
2004. 787 c. ¬721
ЅЅ  32.97
”ƒ  004
“вердый переплет.

÷ена 1
550.00
÷ена 2
975.00
ѕќЋќ∆»“№ ¬  ќ–«»Ќ”
÷ены действительны до
30.10.2022
÷ена 1 с учетом Ќƒ—
÷ена 2 с учетом почтовых расходов по –‘ и Ќƒ—.


јннотаци€


 ак приобрести


—м. также


—одержание


ѕќЋќ∆»“№ ¬  ќ–«»Ќ”

¬ольфенгаген ¬.Ё.

.

—истематически рассмотрены модели, методы и средства, дл€ которых центральной сущностью €вл€етс€ представление об объекте. ѕрименен подход, основанный на использовании операций аппликации и абстракции, что позволило выполнить замкнутое изложений техники аппликативных вычислений, остава€сь в рамках элементарных средств.  нига основана на материале, который в различных вариантах использовалс€ дл€ проведени€ зан€тий по соответствующим разделам курса компьютерных наук. ѕриводитс€ необходимый теоретический минимум, соответствующий мировым стандартам, иллюстрируютс€ основные вычислительные идеи, пон€ти€ и определени€.

ƒл€ специалистов, студентов и аспирантов, зан€тых в области компьютерных наук. ћожет быть использована дл€ первоначального самосто€тельного изучени€ предмета.


Those models, methods and means are covered that are based on the notation of object. An approach based on the operations of application and functional abstraction is used resulting in the closed consideration of applicative computations within the elementary framework. The material covered in this book was used for delivering the various versions of courses in computer science.

The essential theoretical background corresponds to the high international level, and the basic computational ideas, notions and definitions are explicated.

The book is intended for computer science students and professionals in informatics. It may be used as a sourcebook for graduate course on theoretical computer science.


—м. также

ƒополнительные учебно-методические материалы и компьютерные обучающие средства (практикумы, активные книги)


—одержание

ѕредисловие редактора серии

">¬ступление

ѕредисловие

 руг вопросов (Ћ.ё. »смаилова, —.¬.  осиков)

 урсы лекций

¬ведение

I ‘ормализм

  • ѕредисловие к части I
  • 1 ‘ормализаци€
    • ¬ычисление и классы
      • 1.1.1 ѕроцесс вычислени€
      • 1.1.2  онцептуальные классы
      • 1.1.3  лассы и типы в программировании
    • 1.2 —истемы
      • 1.2.1 —троение системы
      • 1.2.2 —истемы объектов
      • 1.2.3 \lambda-исчисление
      • 1.2.4  омбинаторы
    • 1.3 ƒополнительные вопросы
  • 2  лассы
    • 2.1 ѕринадлежность
    • 2.2 јгрегации
      • 2.2.1  лассы и свойства
      • 2.2.2 —ведение абстрактных сущностей
    • 2.3 ќнтологи€
      • 2.3.1 ѕринадлежность элемента классу
      • 2.3.2 ¬ыразимость одних св€зок через другие
    • 2.4 јбстракци€
      • 2.4.1 ѕротиворечи€
      • 2.4.2  онструкци€ абстракции
      • 2.4.3 “ождественность
      • 2.4.4 јбстракци€ в контексте
    • 2.5 ƒескрипции и имена
      • 2.5.1 ƒескрипции
      • 2.5.2 »мена
    • 2.6 Ћогическое произведение, дополнение и сумма
    • 2.7 ¬ключение
    • 2.8 ≈диничный класс
    • 2.9 ƒополнительные вопросы
  • 3 ќтношени€
    • 3.1 ѕары и отношени€
      • 3.1.1 ѕредставление отношени€
      • 3.1.2 ѕредставление пары
      • 3.1.3 ћногоместные отношени€
    • 3.2 јбстракци€ отношений
    • 3.3 ‘ункции
    • 3.4 јбстракци€ функций
      • 3.4.1 ѕредставление функциональной абстракции
      • 3.4.2 јбстракци€ и им€ функции
    • 3.5 “ождественное преобразование
    • 3.6 ƒополнительные вопросы
  • 4 —истема объектов
    • 4.1 јбстрактна€ теори€
      • 4.1.1 Ќеформальные примитивные идеи
      • 4.1.2 ‘ормальные примитивные идеи
    • 4.2 јнализ процесса подстановки
      • 4.2.1 Ќеформальные примитивные идеи
      • 4.2.2 ‘ормальные примитивные идеи
    • 4.3 ƒополнительные вопросы

II јппликативные вычислени€

  • ѕредисловие к части II
  • 5 \lambda-исчисление
    • 5.1 —одержательные $\lambda$-обозначени€
      • 5.1.1 —одержательные функции
      • 5.1.2 —одержательный смысл вычислений
      • 5.1.3  аррирование
    • 5.2 ‘ормальна€ система: об-система
      • 5.2.1 —оглашени€ об обозначени€х
      • 5.2.2 ћетаоператоры
      • 5.2.3 —одержательна€ интерпретаци€
      • 5.2.4 ¬хождение и подстановка
      • 5.2.5 ѕостроение исчислений
    • 5.3 Ёкстенсиональность
    • 5.4 ƒополнительные пон€ти€ и определени€
      • 5.4.1  онгруэнтность
      • 5.4.2 “еорема „ерча-–оссера
    • 5.5 ѕрограммирование в терминах $\lambda$-исчислени€
      • 5.5.1 »стинностные значени€
      • 5.5.2 Ќатуральные числа
    • 5.6 ƒополнительные вопросы
  • 6  омбинаторы
    • 6.1 —одержательный смысл
      • 6.1.1  омбинирование сущностей
      • 6.1.2 —одержательный смысл операторов
      • 6.1.3 ѕринцип экстенсиональности
    • 6.2 –ассуждени€ с комбинаторами
      • 6.2.1 ќбъекты
      • 6.2.2 јксиоматизаци€ системы объектов
    • 6.3 Ёлементарна€ комбинаторна€ логика
      • 6.3.1 ѕростейшие комбинаторы
      • 6.3.2 ѕример вычислений
    • 6.4 —троение исчислени€ объектов
    • 6.5 ќбозначени€
    • 6.6 ќсновные пон€ти€ и определени€
      • 6.6.1 ѕодстановка
      • 6.6.2 –едукци€
      • 6.6.3 јбстракци€
      • 6.6.4 “еорема „ерча-–оссера
    • 6.7 ƒополнительные вопросы
  • 7 —в€зь \lambda-конверсии и теории комбинаторов
    • 7.1 ќсновные пон€ти€ и определени€
    • 7.2 —в€зь $\lambda$- и $-преобразований

III “еори€ вычислений

  • ѕредисловие к части III
  • 8 ¬ычислени€ в декартово замкнутой категории
    • 8.1 “еори€ функций
      • 8.1.1 ћножества
      • 8.1.2  лассы
      • 8.1.3 Ќепрерывность
    • 8.2 ‘ункции в категории
    • 8.3 Ќекотора€ теори€ типов
      • 8.3.1 ѕроизведени€
      • 8.3.2 ¬ычисление значени€
    • 8.4  аррирование
    • 8.5 “иповый $\lambda$-€зык
    • 8.6 ‘унктор-как-объект
      • 8.6.1 “ипова€ теори€
      • 8.6.2 ‘ункторна€ категори€
      • 8.6.3 ≈стественные преобразовани€
      • 8.6.4 ѕеременный объект
    • 8.7 —в€зь с аппликативными вычислени€ми
      • 8.7.1 “еори€-оболочка
      • 8.7.2 Ћогика высших пор€дков
    • 8.8 ƒополнительные вопросы
  • 9 —одержательные объекты: индивиды и концепты
    • 9.1 —труктура предметной области
      • 9.1.1 »ндивиды
      • 9.1.2 —оотнесени€
      • 9.1.3 »стинностные значени€
      • 9.1.4 Ћогический €зык
    • 9.2  онцепты
      • 9.2.1 ƒескрипции
      • 9.2.2 Ёквациональна€ теори€
      • 9.2.3 »нтенсионалы и экстенсионалы
    • 9.3 »нтенсиональные операторы
      • 9.3.1 Ѕинарные отношени€
      • 9.3.2 Ёкстенсиональные отношени€
      • 9.3.3 »нтенсиональные отношени€
  • 10 Ёкстенсиональное равенство
    • 10.1 —одержательный смысл
    • 10.2 Ёкстенсиональность равенства в д.з.к.
    • 10.3 Ёкстенсиональность равенства в ј¬—
    • 10.4 ќсновные теоремы
      • 10.4.1 —в€зь альтернативных формулировок
      • 10.4.2 ‘инитна€ аксиоматизаци€

IV языки программировани€

  • ѕредисловие к части IV
  • 11 ѕредставление рекурсивных функций
    • 11.1  одировани€
      • 11.1.1 ќтождествление выражений с числами
      • 11.1.2 –асширение формализации
      • 11.1.3  одирование комбинаторами
    • 11.2 ќсновные пон€ти€ и определени€
      • 11.2.1 Ќумералы
      • 11.2.2 „исловые функции
    • 11.3  омбинаторна€ определимость
    • 11.4 ƒополнительные вопросы
  • 12  атегориальна€ абстрактна€ машина
    • 12.1 ќсновные пон€ти€ {342 {section.12.1
      • 12.1.1 —реда
      • 12.1.2 ћоделирование \beta-редукции
      • 12.1.3 ќптимизаци€
      • 12.1.4  атегориальна€ комбинаторна€ логика CCL
    • 12.2  оманды
      • 12.2.1 ћашинные инструкции
      • 12.2.2 ѕримеры исполнени€
    • 12.3 –екурси€
    • 12.4 ƒополнительные вопросы
  • 13  онструкции аппликативного €зыка
    • 13.1 »сходные принципы
      • 13.1.1 јппликативный подход
      • 13.1.2 јбстрактный синтаксис
      • 13.1.3 ¬ыражени€ и их значени€
      • 13.1.4 »спользование типов
    • 13.2 ¬ыражени€
      • 13.2.1 ¬ыражени€ и определени€
      • 13.2.2 Ёлементарные типы
      • 13.2.3 ƒекартово произведение
      • 13.2.4 ‘ункции
      • 13.2.5 ѕолиморфизм
      • 13.2.6 —интаксические соглашени€
      • 13.2.7 ƒиапазон идентификаторов
      • 13.2.8 Ёквивалентные функциональные пространства
    • 13.3 —труктуры данных
      • 13.3.1 »менованные декартовы произведени€
      • 13.3.2  онструкторы
      • 13.3.3 —писки
  • 14 —емантика конструкций €зыка
    • 14.1 —емантика
      • 14.1.1 ¬ычисление значений
      • 14.1.2 —тратегии
      • 14.1.3 –екурси€
      • 14.1.4 —тратегии вычислений
      • 14.1.5 —емантика программы
      • 14.1.6  орректность программ
      • 14.1.7 ƒоказательство завершаемости
      • 14.1.8 ѕримеры доказательства свойств программ
      • 14.1.9 ѕриписывание типа
      • 14.1.10 ¬ычисление значений
    • 14.2 »мперативность
      • 14.2.1 »сключени€
      • 14.2.2 ¬вод/вывод
      • 14.2.3 ѕотоки символов
      • 14.2.4 ћодифицируемые структуры данных
      • 14.2.5 —емантика деструктивных операций
    • 14.3 ƒополнительные вопросы
  • 15 $\lambda $-исчисление с типами
    • 15.1 јппликативна€ структура
      • 15.1.1 “ермы
      • 15.1.2 ѕриписывание
      • 15.1.3 ќценивающее отображение
      • 15.1.4 ѕодстановка
    • 15.2 ћодели с типами
      • 15.2.1 “ипы
      • 15.2.2 ѕеременные и термы
      • 15.2.3 ѕредструктура
      • 15.2.4 ѕриписывание
      • 15.2.5 —труктура
      • 15.2.6 ѕодстановка
      • 15.2.7 Ќепротиворечивость
    • 15.3 ‘ормула-как-тип
      • 15.3.1 —еквенциальное исчисление
      • 15.3.2 “ипы, термы и конструкции
    • 15.4 ƒополнительные вопросы
  • 16 ќбъекты с типами: от типов к объектам
    • 16.1 ќбозначени€ и определени€
  • 16.1.1 —одержательна€ интерпретаци€
  • 16.1.2 —оглашени€
  • 16.2  омбинаторные термы
    • 16.2.1  омбинаторные термы с типами
    • 16.2.2 “ипы комбинаторов
    • 16.2.3 “ипизаци€ при подстановке
    • 16.2.4 “ипова€ слаба€ редукци€ и равенство
  • 16.3 јбстракци€ и $\lambda $-термы
  • 16.4 ƒополнительные вопросы
  • 17 ќбъекты с типами: от объектов к типам
    • 17.1 ќбозначени€ и соглашени€
      • 17.1.1 јтомарные константы
      • 17.1.2 ѕриписывание типа
    • 17.2 Ѕазисные свойства
      • 17.2.1 —лабое назначение типов объектам
      • 17.2.2 —тратифицированные объекты
      • 17.2.3 јбстракци€ и типы
      • 17.2.4 “еорема объектной редукции
    • 17.3 ƒополнительные вопросы

    VI Ћогика

    • ѕредисловие к части VI
    • 18 Ћогика функциональности (—.¬.  осиков)
      • 18.1 √енценовский вариант натуральной дедукции
        • 18.1.1 Ќатуральный вывод и неформальное рассуждение
        • 18.1.2 √енценовский вариант натурального вывода
        • 18.1.3 ќсобенности генценовских систем
        • 18.1.4 ѕравила заключени€ и выводы
      • 18.2 —истема натуральной дедукции дл€ анализа функциональности
        • 18.2.1 ѕриписывание типа абстракции
        • 18.2.2 јльтернативна€ формулировка
      • 18.3 √енценовска€ $-система
        • 18.3.1  онечные базисы
        • 18.3.2 ‘ормулировка $-системы
        • 18.3.3 ѕравило сечени€
      • 18.4 ƒополнительные вопросы
    • 19 Ћогика объектов (Ћ.ё. »смаилова)
      • 19.1 ѕроблематика
      • 19.2 »ллативна€ комбинаторна€ логика
      • 19.3 ѕарадоксальность пр€мого построени€ логики
        • 19.3.1 ѕарадокс  арри
        • 19.3.2 “еорема дедукции
      • 19.4 Ћогические константы
        • 19.4.1 —в€зки и кванторы
        • 19.4.2 ‘ункциональность и эквиваленци€
      • 19.5 ƒополнительные вопросы
    • 20  анонические объекты
      • 20.1 “еорема дедукции
        • 20.1.1  анонические термы
        • 20.1.2 “еорема дедукции дл€ $\Xi$
      • 20.2 $-система √енцена
        • 20.2.1  анонические термы
        • 20.2.2 $-формулировка
      • 20.3 ”ниверсальна€ общность
      • 20.4 ƒополнительные вопросы

    VII ѕриложение

    • A ƒоказательство теоремы „ерча-–оссера
      • A.1 ќсновные определени€
      • A.2 Ћеммы
      • A.3 ќсновное доказательство
      • A.4 ƒополнительные вопросы
    • B —ильна€ редукци€
      • B.1 ќсновные пон€ти€ и определени€
      • B.2 “еорема „ерча-–оссера
    • C “очна€ арифметика
      • C.1 ѕредставление целых чисел списками
        • C.1.1 Ѕаза
        • C.1.2 ќперации над наименее значащими цифрами
        • C.1.3 ќперации над цифрой и числом
        • C.1.4 ќперации над представлени€ми чисел
        • C.1.5 ќперации сравнени€
        • C.1.6 ќпераци€ делени€
        • C.1.7 јлгоритм делени€
        • C.1.8 “ип натуральных чисел
        • C.1.9 ћетод Ќьютона
        • C.1.10 Ёкспоненцирование
        • C.1.11 ¬ывод натуральных чисел
      • C.2 ѕример: вычисление \pi
        • C.2.1 –екуррентные соотношени€
        • C.2.2 Ёффективные вычислени€

    Ѕиблиографи€

    ƒиссертации

    »менной указатель

    ”казатель символов

    ”казатель терминов

    √лоссарий

    ќб авторе

    • ¬.Ё. ¬ольфенгаген