Вы здесь

Электронно-библиотечная система ВолгГТУ

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



1 2 3

Назад к дисциплинам

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


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

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

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

Полный текст


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

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

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

Полный текст


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

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

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

Полный текст


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

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

Ключевые слова :
математическая логика; логика предикатов; альтернативные логики; алгоритмические модели; теория сложности

Полный текст


1 2 3