-
Data: 2014-01-18 23:36:27
Temat: Re: generowanie programow
Od: A.L. <a...@a...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On Sat, 18 Jan 2014 00:47:20 -0800 (PST), g...@g...com
wrote:
>W dniu sobota, 18 stycznia 2014 09:12:33 UTC+1 użytkownik g...@g...com
napisał:
>
>> > >Mowiac w skrocie: autorzy najpierw pokazuja,
>> > >w jaki sposob mozna przepisac program napisany
>> > >w stylu funkcyjnym na "program w logice"
>> > >(poprzez dopisanie dodatkowego argumentu,
>> > >majacego reprezentowac wynik),
>> >
>> >
>>
>> > A co to ma wspolnego z "programwoaniem w logice"?...
>>
>> Co co ma wspolnego z programowaniem w logice?
>
>Pozwole sobie zagdywac, jaka byla intencja za tym
>dosc lakonicznie sformulowanym pytanie.
>Otoz z punktu widzenia logiki funkcja to relacja
>roznowartosciowa pomiedzy dwoma zbiorami. Mowiac
>scisle, powiemy, ze F jest funkcja wtw
>dla kazdego x istnieje dokladnie jedno y takie,
>ze F(x,y), albo jeszcze inaczej, ze dla kazdego x
>istnieje takie y, ze F(x,y) i dla kazdego z, jesli
>F(x,z) to y=z.
>
>Mozemy wowczas pisac y = f(x).
>
>Podstawowa idea programow napisanych w stylu
>funkcyjnym jest taka, ze procedury realizuja
>funkcje, czyli ze procedura wywolana z tymi
>samymi argumentami zawsze zwroci taki sam
>wynik.
>
>Dodatkowo programy napisane w stylu funkcyjnym
>unikaja przypisan i petli, a zamiast nich
>stosuja rekursje.
>
>Systemy do programowania w logice nie pozwalaja
>w ogole definiowac procedur, a jedynie predykaty.
>Poza tym dziela z programami funkcyjnymi te
>wlasnosc, ze nie dopuszczaja przepisan.
>
>Majac dana funkcje y=f(x), musimy stworzyc predykat
>F(x,y) taki, ze F(x,y) <=> y=f(x). Na tym wlasnie
>polega przejscie od programu funkcyjnego do programu
>w logice.
>
>Na pozor mogloby sie wydawac, ze to przejscie
>jest trywialne, bo w jezyku funkcyjnym wystarczyloby
>zdefiniowac
>
>F(x,y) =df y=f(x)
>
>i chociaz w sensie warunkow prawdziwosci jest ok, to
>jednak systemy do programowania w logice nie zajmuja
>sie tylko badaniem prawdziwosci, ale przede wszystkim
>dostarczaniem zbiorow rozwiazan spelniajacych okreslone
>warunki. Dlatego chcac uzyskac logiczna wersje definicji
>programu funkcyjnego, nalezy jeszcze zastapic operator
>porownania operatorem unifikacji i wykonac pare innych
>zabiegow (a w szczegolnosci oczywiscie zastapic wywolania
>rekurencyjne f odwolaniami do F)
>
>Mam nadzieje, ze to odpowiada na Twoje pytanie.
Tak.
To co napiales pozyzej to komplenta bzdura
A.L.
Następne wpisy z tego wątku
- 19.01.14 02:02 g...@g...com
- 19.01.14 02:45 g...@g...com
- 19.01.14 10:25 firr
- 19.01.14 10:44 firr
- 19.01.14 10:48 firr
- 22.01.14 10:35 firr
- 22.01.14 11:27 g...@g...com
- 22.01.14 11:29 g...@g...com
- 22.01.14 11:40 firr
- 22.01.14 12:10 firr
Najnowsze wątki z tej grupy
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-07-02 Realme 7 Na co zmienić?
- 2024-06-27 Prywatny parking? Pierwsze 10 minut bezplatnie
- 2024-07-02 znalazłem samochód ;)
- 2024-07-02 Pierwszeństwo łamane
- 2024-07-02 zamek
- 2024-07-02 Akumulatory VRLA
- 2024-07-03 Białystok => Inżynier DevOps Conexa First (Kontraktor) <=
- 2024-07-03 MĂźnchen => Test Development Engineer (m/w/d) <=
- 2024-07-03 Warszawa => Full Stack web developer (obszar .Net Core, Angular6+) <=
- 2024-07-03 Warszawa => Programista Full Stack (.Net Core) <=
- 2024-07-02 Kraków => Spedytor międzynarodowy <=
- 2024-07-02 Poznań => Senior React Native Developer <=
- 2024-07-02 Rzeszów => Frontend Developer (React) <=
- 2024-07-02 Warszawa => Fullastack (Java) Developer <=
- 2024-07-02 reparacje