Вид документа : Однотомное издание Шифр издания : 72121 Автор(ы) : Перемитина Т. О. Заглавие : Математическая логика и теория алгоритмов : Учебное пособие Выходные данные : Томск: Томский государственный университет систем управления и радиоэлектроники, 2016 Колич.характеристики :132 с Примечания : Книга находится в Премиум-версии ЭБС IPRbooks. Цена : Б.ц. УДК : 510 ББК : 22.1 Ключевые слова (''Своб.индексиров.''): алгебра--алгоритм--булева функция--математическая логика--предикат Аннотация: В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра высказываний, булева алгебра и логика предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Пособие позволяет освоить основные положения дисциплины, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Пособие предназначено для самостоятельной работы студентов при изучении дисциплины «Математическая логика и теория алгоритмов».