- •Відповідальний редактор о.А.Павлов. Рецензент: в.П. Полторак
- •Тема 4.1. Формальні граматики і мови
- •Тема 4.2. Алгебраїчні моделі формальних мов
- •Тема 5.1. Скінчені автомати, їх аналіз і синтез
- •Тема 5.2. Нескінчені автомати
- •Легко бачити, що автомат
- •На прикладі автомату з магазинною пам’яттю
- •Тема 5.3. Автомати і граматики. Синтаксичний аналіз.
- •Тема 6.1. Алгебра висловлювань
- •Тема 6.2. Числення висловлювань
- •Тема 6.3. Логіка предикатів.
- •1. Мова l теорії першого порядку t.
- •2. Аксіоми теорії першого порядку т.
- •3. Правила виведення.
- •2. Правила виведення.
- •Основний
Основний
Ахо., Ульман Д. Теория синтаксического анализа, перевода и компиляции. Т. І. - М.: Мир, 1978. - 614 с.
Биркгоф Г., Барти Т. Современная прикладная алгебра. -М.: Мир, 1976. - 400 с.
Горбатов В.А. Основн дискретной математики. - М.: Высш. шк., 1986. - 311 с.
Кузин Л.Т. Основы кибернетики. Т. 2. Основы кибернетических моделей. - М.: Энергия, 1979. - 584 с.
Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. - М.; Энергоатомиздат, 1988. - 480 с.
Мендельсон 3. Введение в математическую логику. - М.:
Наука, 1984. - 320 с.
Свами М., Тхуласираман К. Графы, сети и алгоритмы. - М.:
Мир, 1984. - 455 с.
Додатковий
Биркгоф Г. Теория, решеток. - М.: Наука, 1984. - 566 с.
Брауэр В. Введение в теорию конечних автоматов. - М.: Радио и связь, 1987. - 400 с.
Гетманова А.Д. Логика. - М.: Высш.шк., 1986. - 288 с.
Гилл А. Введение в теорию конечных автоматов. - М.: Наука, 1966. - 272 с.
Гиндикин С.Г. Алгебра логики в задачах. - М.: Наука, 1972. - 288 с.
Джордж Ф. Основи кибернетики. - М.: Радио и связь, 1984. - 520 с.
Мальцев А.И. Алгоритмы и рекурсивные функции. - М.: Наука, 1986. - 368 с.
Марков А.А., Нагорный Н.М. Теория алгоритмов. - М.: Наука, 1984. - 390 с.
Мелихов А.Н. Ориентированные графы и конечные автоматы. -М.: Наука, 1971. - 320 с.
Новиков П.С. Элементи математической логики. - М.: Наука, 1973. - 400 с.
Пападимитриу Х.Х., Стайглиц К. Комбинаторная оптимизапия. Алгоритмы и сложность. - М.: Мир, 1985. - 510 с.
Уилсон Р. Введение в теорию графов. - М.: Мир, 1977. - 208 о.
Управление, информация, интеллект / Под ред. А.И.Берга и др. - М.: Мысль, 1976. - 383 с.
Форд Л.Р., Фалкерсон Д.Р. Потоки в сетях. - М.: Мир, 1966. -260 с.
Фу К. Структурные методы в распознавании образов. - М.: Мир, 1977. - 320 с.
Хант 3. Искусотвенный интеллект. - М.: Мир, 1978. - 560 с.
Я6лонский С.В. Введение в дискретную математику. - М.: Наука, 1979. - 277 с.
Глушков В.М., Цейтлин Г.Е., Ющенко Е.Д. Алгебра, языки,-программирование. - К.: Наук. думка, І989» - 328 с.
Осуга С. Обработка знаний. - М.: Мир, І989. - 293 с.
Перминов О.Н. Язык программирования Паскаль. - М.: Радио и связь, І989. - 120с.
Кудрявцев В.Б. и др. Введение в теорию автоматов. - М.: Наука, 1985. - 320 с.