Browsing by Author "Бузату, Раду"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ: УЧЕБНОЕ ПОСОБИЕ
    (CEP USM, 2021) Бузату, Раду
    Учебное пособие написано на основе курса лекций, читаемого автором в течение ряда лет студентам, обучающимся по специальности “Информационные технологии”. В нем рассматриваются понятия и вопросы, касающиеся основных разделов математической логики и теории алгоритмов: алгебра логики, логические функции, исчисление высказываний, логика предикатов, машина Тьюринга, нормальные алгоритмы Маркова. Изложение сопровождается большим количеством разобранных примеров и задач для самостоятельного решения.Предназначено для студентов и магистров технических специальностей университетов, изучающих курсы математической логики и теории алгоритмов.