• ВХОД

    •  

    Полное описание

    Д11-23/14186
    512/М 300
     Марченков, Сергей Серафимович. Избранные главы дискретной математики : булева функция, конечный автомат, машина Тьюринга, рекурсивная функция : [учебное пособие] / С. С. Марченков. - Москва : ФИЗМАТЛИТ®, 2023. - 186 с. : ил. - Библиогр.: с. 182-183 (17 назв.). - Предм. указ.: с. 184-186. - 300 экз. - ISBN 978-5-9221-1969-6 : 260 р. - Текст (визуальный) : непосредственный.
    ГРНТИ УДК
    27.17.21512.563
    28.25.15519.713
    27.47.23510.582
    27.03.45510.57

    Рубрики:
    Алгебра логики
    Конечные автоматы
    Тьюринга машины
    Рекурсия

    Кл.слова (ненормированные): множества -- отношения -- функции многозначной логики -- конечный автомат без выхода -- конечные автоматы-преобразователи -- вычислимые функции
    Аннотация: Учебное пособие написано на основе курсов "Дополнительные главы дискретной математики" и "Функциональные системы", которые автор на протяжении ряда лет читал на факультете вычислительной математики и кибернетики МГУ. Пособие состоит из 6 глав, дополненных задачами и упражнениями. Глава 1 "Множества, отношения, функции" служит теоретико-множественной и алгебраической основой при изучении последующих глав книги. Глава 2 "Замкнутые классы булевых функций" содержит общие факты по булевым функциям, а также современное изложение классических результатов Э. Поста по перечислению всех замкнутых классов булевых функций. Глава 3 "Функции многозначной логики" представляет собой введение в теорию функций многозначной логики. Главы 4 и 5 посвящены конечным автоматам: в главе 4 рассматриваются автоматы-распознаватели, а в главе 5 - автоматы-преобразователи. В главе 6 "Машины Тьюринга и вычислимые функции" определяются машины Тьюринга и функции, вычислимые на них.Экз-ры полностью Д11-23/14186
    Имеются экземпляры в отделах: всего 2 : ХРЦ (1), ФО20 (1)
    Свободны: ХРЦ (1), ФО20 (1)
    Заказаны экз-ры для отделов: ФО18

    Обложка



    Заказ фрагмента документа ₽