|
|
|
|
| LEADER |
00000nam0a2200000 4500 |
| 001 |
78437 |
| 005 |
20231031093836.0 |
| 010 |
|
|
|a 5941575467
|
| 035 |
|
|
|a (RuTPU)RU\TPU\book\84060
|
| 090 |
|
|
|a 78437
|
| 100 |
|
|
|a 20050621d2004 m y0rusy50 ca
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a a j 001zy
|
| 200 |
1 |
|
|a Лекции по дискретной математике
|f Ю. В. Капитонова, С. Л. Кривой, А. А. Летичевский, Г. М. Луцкий
|
| 210 |
|
|
|a СПб.
|c БХВ-Петербург
|d 2004
|
| 215 |
|
|
|a 614 с.
|c ил.
|
| 225 |
1 |
|
|a Учебное пособие
|
| 300 |
|
|
|a Авт. указ. на обороте тит. л.
|
| 320 |
|
|
|a Список литературы: с. 611-614.
|
| 330 |
|
|
|a Изложены методы и средства дискретной математики как инструментария при обработке информации в компьютерах. Книга состоит из трех частей: математические основы, математические модели и приложения, в которых представлены наиболее часто употребляемые в теоретической и прикладной информатике математические конструкции. Освещаются основные математические свойства той или иной теории вместе с данными, необходимыми для решения упражнений. Материал пособия построен на использовании аксиоматического метода и может служить основой для таких курсов как базы данных и базы знаний, теории сетей Петри и транзиционных систем, методы оптимизации и обоснования алгоритмов и программ, системы искусственного интеллекта, компьютерная алгебра и геометрия.
|
| 610 |
1 |
|
|a дискретная математика
|
| 610 |
1 |
|
|a лекции
|
| 610 |
1 |
|
|a учебные пособия
|
| 610 |
1 |
|
|a множества
|
| 610 |
1 |
|
|a отношения
|
| 610 |
1 |
|
|a комбинаторика
|
| 610 |
1 |
|
|a общая алгебра
|
| 610 |
1 |
|
|a алгоритмы
|
| 610 |
1 |
|
|a математическая логика
|
| 610 |
1 |
|
|a графы
|
| 610 |
1 |
|
|a математические модели
|
| 610 |
1 |
|
|a теория автоматов
|
| 610 |
1 |
|
|a автоматы
|
| 610 |
1 |
|
|a конечные автоматы
|
| 610 |
1 |
|
|a машины Тьюринга
|
| 610 |
1 |
|
|a программы
|
| 610 |
1 |
|
|a магазинные автоматы
|
| 610 |
1 |
|
|a формальные грамматики
|
| 610 |
1 |
|
|a формальные языки
|
| 610 |
1 |
|
|a компьютерные технологии
|
| 610 |
1 |
|
|a информационные технологии
|
| 610 |
1 |
|
|a логика предикатов
|
| 610 |
1 |
|
|a предикаты
|
| 610 |
1 |
|
|a программные инварианты
|
| 675 |
|
|
|a 51-022.334(075.8)
|v 3
|
| 701 |
|
1 |
|a Капитонова
|b Ю. В.
|
| 701 |
|
1 |
|a Кривой
|b С. Л.
|
| 701 |
|
1 |
|a Летичевский
|b А. А.
|
| 701 |
|
1 |
|a Луцкий
|b Г. М.
|
| 801 |
|
1 |
|a RU
|b 63413507
|c 20050621
|g PSBO
|
| 801 |
|
2 |
|a RU
|b 63413507
|c 20201113
|g PSBO
|
| 900 |
|
|
|a Математические основы теории систем
|
| 942 |
|
|
|c BK
|
