Скачать прайс-лист
Читать онлайн
29819543

Дискретная математика

Авторы:
А. И. Белоусов, С. Б. Ткачев
абстрактная алгебра булевы функции грамматики кватернионы конечные автоматы контекстно-свободные языки магазинные автоматы машины Тьюринга Регулярные выражения регулярные языки теорема Клини теорема Лагранжа теория графов теория множеств формальные языки
Учебник Дискретная математика
Бумажная
Электронная
  • Формат: 60x90/16
  • Переплёт: твёрдый
  • Год издания: 2015 г.
  • Объём: 744 стр.
  • Объём: 46.50 п.л.
  • Номер издания: 5
  • Вес: 900 г.
  • ISBN: 978-5-7038-3783-2
  • Формат: PDF
  • Объём: 744 стр.
  • Год издания: 2015 г.
  • Номер издания: 5
  • ISBN: 978-5-7038-3783-2

О книге

В девятнадцатом выпуске серии "Математика в техническом университете" изложены теория множеств и отношений, элементы современной абстрактной алгебры, теория графов, классические понятия теории булевых функций, а также основы теории формальных языков, куда включены теории конечных автоматов, регулярных языков, контекстно-свободных языков и магазинных автоматов. В анализе графов и автоматов особое внимание уделено алгебраическим методам.

Содержание учебника соответствует курсу лекций, который авторы читают в МГТУ им. Н.Э. Баумана.

Для студентов технических университетов. Может быть полезен преподавателям, аспирантам и инженерам.
Список литературы
  1. Архангельский А.А. Канторовская теория множеств. М.: Изд-во Моск. ун-та, 1988. 112 с.
  2. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции: Пер. с англ: В 2 т. Т. 1. М.: Мир, 1978. 612 с.
  3. Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислтельных алгоритмов: Пер. с англ. М.: Мир, 1979. 536 с.
  4. Барт,и Т., Биркгоф Г. Современная прикладная алгебра: Пер. с англ. М.: Мир, 1976. 400 с.
  5. Белоусов А.И., Мартынов Б.В., Щетинин А.Н. Лекции по дискретной математике. М.: Изд-во МГТУ им. Н.Э. Баумана, 1994. 96 с.
  6. Богомолов А.М., Салий В.Н. Алгебраические основы теории дискретных систем. М.: Наука, 1997. 368 с.
  7. Гладкий А.В. Формальные грамматики и языки. М.: Наука, 1973. 386 с.
  8. Гретцер Г. Общая теория решеток: Пер. с англ. М.: Мир, 1982. 456 с.
  9. Евстигнеев В.А. Применения теории графов в программировании. М.: Наука, 1985. 352 с.
  10. Каргополов М.И., Мерзляков Ю.И. Основы теории групп. М.: Наука, 1972. 240 с.
  11. Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. М.: Изд-во Моск. ун-та, 1982. 120 с.
  12. Кон П. Универсальная алгебра: Пер. с англ. М.: Мир, 1968. 352 с.
  13. Крист,офидес Н. Теория графов. Алгоритмический подход: Пер. с англ. М.: Мир, 1978. 432 с
  14. Кук Д., Бейз Г. Компьютерная математика: Пер. с англ. М.: Наука, 1990. 384 с.
  15. Куратовский К., Мостовский А. Введение в теорию множеств: Пер. с англ. М.: Мир, 1970. 416 с.
  16. Лекции по теории графов / В.А. Емеличев, О.И. Мельников, В.И. Сар- ванов, Р.И. Тышкевич М.: Наука, 1990. 384 с.
  17. Нефедов В.Н., Осипова В.А. Курс дискретной математики. М.: Изд-во МАИ, 1992. 264 с.
  18. Нигматуллин Р. Сложность булевых функций. М.: Наука, 1991. 240 с.
  19. Плоткин Б.И., Гринглаз Л.Я., Гварамия А.А. Элементы алгебраической теории автоматов. М.: Высш. шк., 1994. 191 с.
  20. Саломаа А. Жемчужины теории формальных языков: Пер. с англ. М.: Мир, 1986.
  21. Сикорски Р. Булевы алгебры: Пер. с англ. М.: Мир, 1969. 375 с.
  22. Шенфилд Дж. Математическая логика: Пер. с англ. М.: Наука, 1975. 528 с.
  23. Шиханович Ю. А. Введение в современную математику: (Начальные понятия). М.: Наука, 1965. 376 с.
  24. Яблонский С.В, Введение в дискретную математику. 3-е изд. М.: Высш. шк., 2001. 384 с.
  25. Гаврилов Г.П.у Сапоженко А.А. Сборник задач по дискретной математике. 2-е изд. М.: Наука, 1992. 368 с.
  26. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. 3-е изд. М.: Физматлит, 1995. 255 с.
  27. Сборник задач по алгебре / Под ред. А,И, Кострикина. М.: Наука, 1987. 352 с.
  28. Акритас А. Основы компьютерной алгебры с приложениями: Пер. с англ. М.: Мир, 1994. 544 с.
  29. Булос Дж., Джеффри Р. Вычислимость и логика: Пер. с англ. М.: Мир, 1994. 396 с
  30. Вирт Н. Алгоритмы и структуры данных: Пер. с англ. М.: Мир, 1989. 360 с.
  31. Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Методы символьной мультиобработки. Киев: Наук, думка, 1980. 252 с
  32. Донохоу П. О взаимодополняющих определениях // Семантика языков программирования: Сб. статей. М.: Мир, 1980. С. 222-394
  33. Ершов Ю.Л., Палютин Е.А. Математическая логика. М.: Наука, 1979. 320 с.
  34. Кантор Г. Труды по теории множеств. М.: Наука, 1985. 430 с.
  35. Касьянов В.Н. Оптимизирующие преобразования программ. М.: Наука, 1988. 336 с.
  36. Катленд Н. Вычислимость. Введение в теорию рекурсивных функций: Пер. с англ. М.: Мир, 1983. 256 с.
  37. Кнут Д. Искусство программирования для ЭВМ: В 3 т. Т. 1: Основные алгоритмы. М.: Наука, 1976. 736 с.
  38. Кофман А. Введение в прикладную комбинаторику. М.: Наука, 1975. 480 с.
  39. Кушнер Б.А. Лекции по конструктивному математическому анализу. М.: Наука, 1973. 448 с.
  40. Мендельсон Э. Введение в математическую логику. М.: Наука, 1975. 320 с.
  41. Матросов В.Л., Стеценко В.А. Лекции по дискретной математике. М.: МГПУ, 1997. 220 с.
  42. Успенский В.А. Теорема Геделя о неполноте. М.: Наука, 1982. 111 с.
  43. Фоменко А.Т. Наглядная геометрия и топология. М.: Изд-во Моск. ун-та, 1992. 432 с.
  44. Handbook of Theoretical Computer Science. Vol. 1: Algorithms and Complexity. Vol. 2: Formal Models and Semantics. Elsevier (North Holland), 1990.
  45. Kuich W., Salomaa A. Semirings, Automata, Languages. Springer, Berlin, 1986.
  46. Белоусов А,И, Алгоритм обобщенной сортировки и его применение в диалоговых обучающих программах / / Вестник МГТУ. Сер. Приборостроение. 1993. №3. С. 118-126
  47. Белоусов А.И., Пастуховский А.В. Ориентированные гиперграфы и системы подстановок / / Фундаментальная и прикладная математика. 1996. №4. С. 1163-1186.
  48. Гоген Дж.А., Меэегер Ж . Модели и равенство в логическом программировании / / Математическая логика в программировании: Сб. статей. М.: Мир, 1991. С. 274-310
  49. Ершов А.П. О сущности трансляции / / Программирование. 1977. №5. С. 21-38.
  50. Кораблин Ю.П., Налитое С.Д. Событийная семантика схем программ языка взаимодействия последовательных процессов // Программирование. 1993. №3. С. 48-61
  51. Нгилн С.А. Функциональные языки программирования // Программирование. 1991. №5. С. 77-86.
  52. Скотт Д. Набросок математической теории вычислений // Кибернетический сборник. №14. М.: Мир, 1977. С. 107-121.
  53. Скотт Д. Теория решеток, типы данных и семантика // Данные в языках программирования: Сб. статей. М.: Мир, 1982. С. 25-53.
  54. Тарасюк И.В. Понятия эквивалентностей для разработки параллельных систем с использованием сетей Петри // Программирование. 1998. №4. С. 19-39.
  55. Хоар Ч, Непротиворечивые взаимодополняющие теории семантики языков программирования // Семантика языков программирования: Сб. статей. М.: Мир, 1980. С. 196-221.
  56. Не Bakker J.W., Zucker J.J. Processes and denotational semantics of concurrency. Information and Control, 1982. №54. P. 70-120.
  57. Be Boer F.S., Rutten J.J., К ok J.N., Palamidessi C. Semantic Models for concurrent logic languages // Theoretical Computer Science. 1991. №86. P. 3-33.
  58. Jensen K. An Introduction to the Theoretical Aspects of Coloured Petri Nets // Lecture Notes in Comput. Sci. 1994. №803. P. 230-272.
  59. Kuich W. Automata and languages generalized to wcontinuous semirings 11 Theoretical Comput. Sci. 1991. №79. P. 137-150.
  60. Kurka P. A Comparison of Finite and Cellular Automata // Lect. Notes in Comput. Sci. 1994. N 841. P. 484-493.
  61. Peeva K, Equivalence, redution and minimization of finite automata over semirings // Theoretical Computer Science. 1991. N 88, P. 269-285.
  62. Schmeck H. Algebraic Characterization of Reducible Flowcharts // J. Comput. System Sci. 1983. V. 27. P. 165-199.
  63. Thomas W. Logical Specifications of Infinite Computations // Lecture Notes in Comput. Sci. 1994. N 803. P. 583-621.

Отзывы

Оставить отзыв +
Ваш браузер устарел и не обеспечивает полноценную и безопасную работу с сайтом.
Установите актуальную версию вашего браузера или одну из современных альтернатив.