1 / 25

Programmide dünaamiline loogika

Programmide dünaamiline loogika. Modaalsusoperaatorid. Modaalsusoperaatorite erinevaid interpretatsioone. Näide:. Programmide dünaamiline loogika. DL-s kasutatav tähistusviis. Programmide dünaamiline loogika. Dünaamilise loogika valemid. Dünaamilise loogika semantika. DL tähistusi.

fitzgerald-gardner
Download Presentation

Programmide dünaamiline loogika

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Programmide dünaamiline loogika

  2. Modaalsusoperaatorid

  3. Modaalsusoperaatorite erinevaid interpretatsioone

  4. Näide: Programmide dünaamiline loogika

  5. DL-s kasutatav tähistusviis

  6. Programmide dünaamiline loogika

  7. Dünaamilise loogika valemid

  8. Dünaamilise loogika semantika

  9. DL tähistusi

  10. DL valemite kehtestatavus

  11. Regulaarsed programmid

  12. Regulaarne dünaamiline loogika (RDL)

  13. RDL üldkehtestatavaid valemeid

  14. RDL omadusi

  15. Dünaamiline loogika ja aritmeetiline universum

  16. Dünaamiline loogika ja aritmeetiline universum (2) Tuletusreeglid:

  17. J.McCarthy “91-funktsioon”

  18. J.McCarthy “91-funktsioon” (2) • Kui z≤100, siis on 91-funktsioon on arvutatav • programmiga S*, kus: • Piisab tõestada, et

  19. Teoreem. Tõestus Olgu Lemma 1 Lemma 2 Lemma 3 Seega m.o.t.t.

  20. Lemma1. Tõestus Olgu Käsitleme eraldi kolme juhtu: Väide 1

  21. Väide 2 Tõepoolest, pärast omistamisi x:=x+11; k:=k+1muutub predikaat Q järgmiselt Väide 3 Seega Analoogiliselt saab tõestada m.o.t.t.

  22. DL abil kirjeldatavad programmide omadused

  23. DL kirjeldatavad programmide omadused (2)

  24. Programmide väljenduslikkus

  25. Deterministlik dünaamiline loogika (DDL)

More Related