Анализ финансовой отчетности

В отличие от общепринятых алгоритмических языков языки логического программирования не определяют жесткой последовательности действий в процессе вывода, а, уделив основное внимание структуре задачи и множеству правил вывода, допускают несколько последовательностей действий в решении одной задачи. Выполнение программы на языке Prolog осуществляется специальной программой-интерпретатором, осуществляющей пооператорную обработку запроса, опираясь на механизм принципа резолюции.

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

X=глеб.

X=борис.

U=владимир.

X=борис.

Отец(владимир,глеб).

Отец(владимир, борис).

Отец(святослав,владимир).

Отец(игорь, святослав).

Родитель(Z, Y).

Родитель(U, X).

Родитель(Z, U),

Родитель(Y, Z),

Родитель(Z, X),

Родитель(Z, Y).

Родитель(X, Z),

С помощью вопросов пользователь может спрашивать систему о том, какие утвреждения являются истинными или ложными. Предметные переменные, включаемые в вопросы, сравниваются с помощью правил с предметными постоянными, вкючаемыми в факты, и система формирует ответ.

Если голова пуста, то тело продставляет вопрос, т.е.

Предметные переменные и предметные постоянные являются аргументами заключения и условий.

Голова предложения при написании программы всегда сдвинута влево относительно перечня условий. Каждое условие начинается с новой строки.

Смысл этого правила таков:“если истинны условия 1 и 2 или 3, то истинно и заключение ”.

Если тело пусто, то голова есть истинное утверждение или аксиома. Факты –это предложения, имеющие пустое тело.

<заключение>”.”.

? - <тело>”.”.

Например, множество правил для определения степени родства:

дед(X, Y):-

брат(X, Y):-

потомок(X; U; Z, Y):-

можно применить к родословной русских князей X века:

?-дед(святослав, Y).

Y=борис.

Y=глеб.

?-брат(X, Y).

Y=глеб.

?-потомок(X; Y; Z, игорь).

Z=святослав.

Предметные переменные заключения, как правило, связаны квантором общности, а для условий - квантором существования. Например, правило “дед(X, Y):- родитель(X, Z), родитель(Z, Y)” утверждает, что если для всех X и Y существует Z, то X -дед для Y.

Правило “брат(X, Y):-родитель(Z, X), родитель(Z, Y)” утверждает, что если для всякого X и Y существует общий Z, то X брат Y.

Чистякова Ольга Александровна

Экзамен – тест

Учебники:

1) О.В. Ефимова, М.В. Мельник Анализ финансовой отчетности (2008)

2) Селезнева М.Н., Ионова А.Ф. Финансовый анализ и управление финансами (2008)

3) Пятов, Соколов Анализ финансовой отчетности

4) Устинова Ноу-хау БУ

Тема 1: Методические основы анализа финансовой отчетности (ФО)

1) Понятие, цель и задачи анализа БФО

2) Содержание и последовательность анализа ФО

3) Стандартные приемы и методы анализа финансовой отчетности

4) Виды анализа БФО (САМОСТОЯТЕЛЬНО!!!)