Портал аспирантов - Показать сообщение отдельно - Need: поделитесь опытом по моделированию дискретных детерменированных систем

saovu · 10.10.2008, 10:10

Цитата:

Сообщение от Carro

я описываю поведение системы аксимомами и утверждениями (доказанными аксиомами). т.е. фактически правилами

Значит, реализована какая-то машина вывода.
Ala Пролог ?

Реклама