Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Bird R., de Moor O. — Algebra of programming
Bird R., de Moor O. — Algebra of programming



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Algebra of programming

Авторы: Bird R., de Moor O.

Аннотация:

Describes an algebraic approach to programming that permits the calculation of programs. Introduces the fundamentals of algebra for programming. Presents paradigms and strategies of program construction that form the core of Algorithm Design. Discusses functions and categories; applications; relations and allegories; datatypes; recursive programs, optimization issues, thinning algorithms, dynamic programming and greedy algorithms. Appropriate for all programmers.


Язык: en

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1997

Количество страниц: 314

Добавлена в каталог: 22.01.2014

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Tags      42
Target operator      25
Target type      2
Tensorial strength      79
Term algebra      46
Terminal object      37
Thin-elimination      194
Thin-introduction      194
Thinning algorithm      193
Thinning theorem      195
Topos      109
Transitivity      86
Tree, balanced      57
Tree, binary      14
Tree, general      16
Tree, weighted path length      62
Truth tables      68
Tupling      78
Type functor      44 49—52
type information      27
Type relator      122
UNIT      91 94
Unitary allegory      94
Universal property of catamorphisms      46
Universal property of closure      157
Universal property of coproducts      41
Universal property of division      98
Universal property of implication      97
Universal property of join      96
Universal property of meet      83
Universal property of min      166
Universal property of power transpose      103
Universal property of products      39
Universal property of range      86
Universal property of terminal object      37
Universal property of thin      193
Universal quantification      98
Upper adjoint      101
Well-bounded relation      171
Well-founded relation      147 151
Well-supported relation      171 196
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте