TY  - BOOK
AU  - Капитонова,Юлия Владимировна
AU  - Кривой,Сергей Лукьянович
AU  - Летичевский,Александр Адольфович
AU  - Луцкий,Георгий Михайлович
TI  - Лекции по дискретной математике: [учебное пособие
SN  - 5941575467
PY  - 2004///
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  - графы планарные
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  - логика предикатов первого порядка
KW  - правило поглощения (логика предикатов)
KW  - теория программных инвариантов
KW  - язык равенств
KW  - задачи теории программных инвариантов
KW  - алгоритмы поиска программных инвариантов
KW  - коммутативные полугруппы
KW  - задачи по дискретной математике
N1  - Библиогр.: с. 611-614
ER  -