Normal view
MARC view
Лекции по дискретной математике [учебное пособие Ю. В. Капитонова, С. Л. Кривой, А. А. Летичевский, Г. М. Луцкий]
Material type:
TextLanguage: Russian Publication details: СПб. БХВ-Петербург 2004Description: 614 с. ил. 24 смISBN: 5941575467Subject(s): дискретная математика | учебные пособия для вузов | множества | декартово произведение множеств | отношения | отображения | Цермело-Френкеля аксиоматика | комбинаторный анализ | подмножества множества | перестановки упорядоченных множеств | размещения упорядоченных множеств | Ньютона бином | биномиальные коэффициенты | метод рекуррентных отношений | метод включения-исключения | метод производящих функций | алгебры универсальные | алгебры свободные | группоиды | полугруппы | абелевы группы | гомоморфизмы | алгебры конечные | алгебра термов | коммутативная полугруппа | векторные пространства | булевы алгебры | алгебраические структуры | алгебры многоосновные | Глушкова алгебра алгоритмов | полукольца | алгоритмы | рекурсивные функции | Черча тезис | алгоритмические проблемы | Поста машины | Тьюринга машины | Маркова алгоритмическая система | исчисление высказываний | формулы логики | формулы высказываний | система аксиом для исчисления высказываний | теорема дедукции | непротиворечивость исчисления высказываний | полнота исчисления высказываний | формулы исчисления высказываний | Куайна метод | метод редукции | Девиса-патнема метод | метод резолюций | исчисление предикатов первого порядка | формулы логики предикатов первого порядка | классификация логик | логики неклассические | алгебраические системы | графы | графы неориентированные | изоморфизм графов | подграфы | операции над графами | свойства графов | матрицы и графы | графы плоские | графы планарные | раскраска графов | деревья (теория графов) | циклы графа | графы ориентированные | орграфы | абстрактная теория автоматов | подавтоматы | гомоморфизмы автоматов | Мура автоматы | недетерминированные автоматы | автоматные отображения | автоматные системы событий | теория конечных автоматов | теорема теории конечных автоматов | анализ конечных автоматов | синтез конечных автоматов | алгоритм синтеза конечных автоматов | уравнения в алгебре событий | алгоритмы построения конгруэнтных замыканий | ациклические автоматы | модели алгоритмов | модели программ | магазинные автоматы | дискретные динамические системы | формальные грамматики | формальные языки | регулярные грамматики | классификация грамматик | праволинейные грамматики | леволинейные грамматики | контекстно-свободные грамматики | алгебры в компьютерных информационных технологиях | преобразования в векторных пространствах | реляционная алгебра | реляционная база данных | алгебраическая система списковых структур | множества списков | термы списков | операции над списками | теория автоматов в компьютерных информационных технологиях | теория графов в компьютерных информационных технологиях | универсальный программный автомат | идентификация слов | текстовые редакторы | гипертекст | компьютерная алгебра | Кнута-Бендикса алгоритм критической пары | Кнута-Бендикса алгоритм пополнения | подвыражения для свободных групп | канонизация для свободных групп | Холла теорема | трансверсали | латинские квадраты | Менгера теорема | потоки в сетях | методы поиска доказательств теорем в логике предикатов | логика предикатов | семантические деревья | Эрбрана теорема | метод резолюций | контрарные пары | подстановки (логика предикатов) | алгоритм унификации | логика предикатов первого порядка | правило поглощения (логика предикатов) | теория программных инвариантов | язык равенств | задачи теории программных инвариантов | алгоритмы поиска программных инвариантов | векторные пространства | коммутативные полугруппы | задачи по дискретной математикеOther classification: 22.174я73
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| Выдается в читальный зал | Книгохранилище | 1-931613к (Browse shelf (Opens below)) | 1 | Available | 13820000501487 | |
| 1 месяц | Читальный зал. Депозитарий | 519.1 Л436 (Browse shelf (Opens below)) | 2 | Available | 13820000501488 |
Библиогр.: с. 611-614
There are no comments on this title.