TY  - BOOK
AU  - Биркгоф,Гаррет
AU  - Барти,Томас К
TI  - Современная прикладная алгебра
T2  - Учебники для вузов
SN  - 5811406134
PY  - 2005///
CY  - СПб. [и др.]
PB  - Лань
KW  - Алгебра прикладная
KW  - RuMoRKP
KW  - множества
KW  - функции
KW  - математическая индукция
KW  - бинарные отношения
KW  - графы
KW  - булевы алгебры
KW  - моноиды
KW  - морфизмы
KW  - Тьюринга машины
KW  - автоматы
KW  - синтез конечных автоматов
KW  - синтаксис языка программирования АЛГОЛ
KW  - семантика языка программирования АЛГОЛ
KW  - булевы многочлены
KW  - вентильные схемы
KW  - триггеры
KW  - матрицы отношений
KW  - алгебра отношений
KW  - алгебры унарные циклические
KW  - графы ориентированные
KW  - конечные автоматы
KW  - языки программирования
KW  - оптимизация вычислительных машин
KW  - проектирование вычислительных машин
KW  - группы
KW  - подгруппы
KW  - аксиомы
KW  - абелевы группы
KW  - кодирование
KW  - декодирование
KW  - Хэмминга коды
KW  - коды групповые
KW  - коды блочные
KW  - кодирование матричное
KW  - решетки
KW  - множества частично упорядоченные
KW  - кольца
KW  - идеалы
KW  - коды полиномиальные
KW  - кольца полиномиальные
KW  - поля конечные
KW  - поля разложения
KW  - Боуза-Чоудхури-Хоккенгема коды
KW  - рекуррентные последовательности
KW  - коды разностные
KW  - разностные уравнения
KW  - степенные ряды формальные
KW  - Лорана ряды формальные
KW  - теорема об автокорреляции
KW  - функция автокорреляционная
KW  - арифметика кардинальных чисел
KW  - счетная бесконечность
KW  - континуума мощность
KW  - вычислимость тождества слов
KW  - математическая лингвистика
KW  - автоматные грамматики
KW  - невычислимость тождества слов
KW  - синтаксический разбор компилятором
KW  - акцепторы
KW  - контекстно-свободные языки
KW  - автоматы с магазинной памятью
KW  - распознавание истинности высказываний
KW  - распознавание эквивалентности высказываний
N1  - Библиогр. в конце гл
ER  -