МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ: УЧЕБНОЕ ПОСОБИЕ
Date
2021
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
CEP USM
Abstract
Учебное пособие написано на основе курса лекций, читаемого автором в течение ряда лет студентам, обучающимся по специальности “Информационные технологии”. В нем рассматриваются понятия и вопросы, касающиеся
основных разделов математической логики и теории алгоритмов: алгебра
логики, логические функции, исчисление высказываний, логика предикатов,
машина Тьюринга, нормальные алгоритмы Маркова. Изложение сопровождается большим количеством разобранных примеров и задач для самостоятельного решения.Предназначено для студентов и магистров технических специальностей университетов, изучающих курсы математической логики и теории алгоритмов.
Description
Keywords
математическая логика
Citation
Бузату, Р. В. Математическая логика и теория алгоритмов: Учебное пособие / Р. В. Бузату; Молдавский государственный университет, Факультет математики и информатики, Департамент математики. – Кишинёв: CEP USM, 2021. – 135 c. Библиогр.: с. 134-135 (26 назв.). – 50 экз. ISBN 978-9975-158-91-6. 510.5/.6(075.8) Б 904