Примеры решения задач по матлогике

Год сдачи: 2008

Информация о файлах в архиве: курсовая МатЛогика.doc

Краткое описание курсовой:

В работе показаны примеры решения задач по математической логике и дискретной математике. Рассмотрены алгоритмы Дейкстры, Беллмана, Флойда и т.д.
Так же реализован алгоритм Краскала на Delphi. Листинг прилагается.

Пример задания и выполнения:

Расставить скобки в формуле своего варианта в соответствие со старшинством логических операций, так чтобы сделать явной последовательность вычисления значений логической функции. Составить таблицу истинности функции. Применяя равносильные преобразования, построить КНФ и СКНФ этой функции.