🚀 go-pugleaf

On Sun, 20 Feb 2011 09:41:31 +0100, 3P <3p@noserver.com> wrote:

>Dnia 19-02-2011 o 22:51:33 Wit Jakuczun <wit.jakuczun_remove_@gmail.com>  
>napisał(a):
>
>> W dniu 2011-02-19 19:25, 3P pisze:
>>>> Wszystkie te aplikacje zawierają w sobie moduły decyzyjne, które
>>>> wymagają rozwiązywania trudnych obliczeniowo problemów (z klasy
>>>> NP-trudnych). Ja nie znam innego sposobu jak podejście matematyczne
>>>> (czyli wzory i definicje) aby te problemy rozwiązywać.
>>>>
>>> No to się zgadzam. Pamiętam zajęcia z projektowania algorytmów. Nie
>>> lubiłem ich za bardzo :)
>>>
>> No ok ale ja ciągle nie rozumiem o co chodzi z tym podejściem  
>> matematycznym.
>> Co jest z nim źle? :) Jednak widzę, że muszę zaakceptować to, że nie  
>> zaspokoję
>> mojej ciekawości w ramach tej dyskusji.
>> Ja na studiach takich zajęć nie miałem. Na matematyce takich rzeczy nie  
>> uczyli. Może dlatego nie mam obrzydzenia :).
>>
>Ja nie napisałem, że jest złe. Do takich problemów pewnie jest dobre.

Do "programowania przy pomocy wzorow" sluza "metody formalne'.
Obejrzyj sobie jezyk specyfikacyjny Z

http://www.uni-koblenz.de/~beckert/Lehre/Spezifikation/11Z.pdf

Tutaj jest przykaldowa specyfikacja w Z programu do przetwarzania
dokumentow

http://staff.washington.edu/jon/z/dcs.html

A tu systemu medycznego

http://staff.washington.edu/jon/z/machine.html

Te papiery sa dosyc stare, ale jezyk Z sie rozwija i jest wersja
Object-Z wspierajaca paradygmat obiektowy i CSP-Z do specyfikacji
systemow wspolbeiznych.

Owszem, stosowany jest w przemysle. Na przyklad ja go uzywam do
specyfikacji programow optymalizujacych procesy logistyczne

A.L.