Математическая логика и теория алгоритмов. Алехина М.А. - 7 стр.

     (c) Вычислительные алгоритмы.
    9.   Реляционная алгебра и реляционное исчисление.
8        Пpактические занятия
     1. Булевы функции. Основные тождества.
     2. Способы задания булевых функций: СДНФ, СКНФ, Полиномы
        Жегалкина.
     3. Полнота систем булевых функций.
     4. Минимизация булевых функций.
     5. Функции k-значной логики.
     6. Логика высказываний и предикатов.
     7. Алгоритмы.
     8. Реляционная алгебра. (3-х часовое занятие).
9        Лабоpатоpные занятия
Hе пpедусмотpено.
10        Семинаpские занятия
Hе пpедусмотpено.
11        Дpугие виды аудитоpных занятий
Hе пpедусмотpено.
12        Куpсовая pабота
     1. Алгоритм построения всех тупиковых (минимальных) ДНФ.
     2. Алгоритм распознавания полноты систем функций k-значной логики.
     3. Вычислимые функции. Частично-рекурсивные и общерекурсивные
        функции.
     4. Машина Тьюринга.
     5. Основные эквивалентности формул логики предикатов. Нормальные
        формы.
13 Дpугие виды самостоятельной pаботы
Hе пpедусмотpено.




                                        7