Литература по дисциплине
"Математическая логика и теория алгоритмов"

Показано с 11 по 15 из 16 документов

11. Авдеюк О. А. Основы математической логики и дискретной математики : учебное пособие Ч.2 / О. А. Авдеюк, Л. В. Дружинина, И. В. Приходькова ; ВолгГТУ. - Волгоград : ВолгГТУ, 2026. - 160 с.
Другие авторы: Дружинина Л. В., Приходькова И. В.

Аннотация :
В учебном пособии представлены основы дискретной математики и математической логики. Ключевые разделы — теория множеств и теория графов — рассмотрены подробно и включают примеры решения задач. Для закрепления материала предлагаются вопросы и задания для самостоятельной работы.

Ключевые слова :
логика высказываний; исчисление высказываний; алгебра логики; дискретная математика; логика предикатов; элементарные ФАЛ; математическая логика

Полный текст

12. Муха Ю. П. Математическая логика. Конспект лекций по теоретической информатике : учеб. пособие / Ю. П. Муха, О. А. Авдеюк, М. Г. Скворцов ; ВолгГТУ. - Волгоград : ВолгГТУ, 2001. - 64 с.
Другие авторы: Авдеюк О. А., Скворцов М. Г.

Ключевые слова :
алгебра логики; логика высказываний; логика предикатов; математическая логика; теоретическая информатика

13. Муха Ю. П. Математическая логика и теория алгоритмов : учеб. пособие / Ю. П. Муха, О. А. Авдеюк ; ВолгГТУ. - Волгоград : РПК "Политехник", 2005. - 92 с.
Другие авторы: Авдеюк О. А.

Аннотация :
В пособии излагаются основные положения математической логики и теории алгоритмов. Особое внимание уделяется алгебре логики, методам минимизации переключательных функций, синтезу и анализу логических схем.

Ключевые слова :
алгоритмы; математическая логика; теория алгоритмов

Полный текст

14. Муха Ю. П. Математическая логика и теория алгоритмов : учеб. пособие / Ю. П. Муха, О. А. Авдеюк ; ВолгГТУ. - Волгоград : РПК "Политехник", 2007. - 92 с.
Другие авторы: Авдеюк О. А.

Аннотация :
Особое внимание уделяется алгебре логики методам минимизации переключительных функций, синтезу и анализу логических схем.

Ключевые слова :
алгебра логики (математическая логика); математическая логика; машина Тьюринга-Поста (алгоритмическая модель); теория алгоритмов; Тьюринга-Поста машина (алгоритмическая модель)

Полный текст

15. Сургутанов В. В. Математическая логика и теория алгоритмов : учеб. пособие Ч. 1. / В. В. Сургунов, О. О. Привалов ; КТИ (филиал) ВолгГТУ. - Волгоград : ВолгГТУ, 2009. - 72 с.
Другие авторы: Привалов О. О.

Аннотация :
Пособие содержит лекционный материал, материал для практических занятий, методические указания по решению типовых задач, а также варианты заданий для семестровых работ.

Ключевые слова :
математическая логика; логика высказываний; булевые операции; алгебра логики; формальные системы; автоматическое доказательство теорем

Полный текст