Email: sales@vasha-kniga.com
|
Дискретная математика. Форм.-логич.системы и языки
Diskretnaia matematika. Form.-logich.sistemy i iazyki
Авдошин С. (Avdoshin S.)
SKU: VV1058794 ISBN: 9785970606223 Pages: 390 - year: 2018 Publicher: ДМК-Пресс (DMK-Press) Price: $59.69 ship 24-25
|
| Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания авторами дисциплины "Дискретная математика" на факультете бизнес- информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт. Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 "Информатика и... |