Перемитина, Т. О. Математическая логика и теория алгоритмов [Електронний ресурс] : учебное пособие / Перемитина Т. О. - Томск : Томский государственный университет систем управления и радиоэлектроники, 2016. - 132 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормовані): алгебра -- алгоритм -- булева функция -- математическая логика -- предикат Анотація: В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра высказываний, булева алгебра и логика предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Пособие позволяет освоить основные положения дисциплины, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Пособие предназначено для самостоятельной работы студентов при изучении дисциплины «Математическая логика и теория алгоритмов». Перейти к внешнему ресурсу: Перейти к просмотру издания Вільних прим. немає |