Lekciju kurss LU datorzinātņu maģistrantiem

Kursa kredīts: 4 (64 stundas)
Kursa grupa: B (izvēles)

Lektors: Dr. Kārlis Čerāns, LU MII, 421. ist., karlis@cclu.lv, tel. 7 213 716
 

Plānotais kursa saturs

A. Ievads. Specifikāciju valodu vispārējie principi un sākotnējie piemēri:

1. Programmu operacionālās semantikas pamatprincipi (programmas kā matemātiski objekti).

2. Procedūru interfeisa (ieejas - izejas) specifikācijas loģiskā formā. Jēdziens par Hoara loģiku.

3. Jēdziens par specifikācijas semantiku.

4. Specifikāciju modularitātes un detalizējamības īpašības.

B. Datu apstrādes sistēmu specifikāciju pamati:

5. Konstruktīvie datu tipi.

6. Algebriskie datu tipi, valoda ACT ONE

7. Loģiskās datu specifikācijas, valoda Larch.

8. Automātbāzētie datu specifikāciju formālismi, valoda B.

9. Specifikāciju valodas Z un VDM, to salīdzinājums.

C. Paralēlu sistēmu specifikācija:

10. Procesu algebras, CCS, bisimulācijas ekvivalence.

11. Valoda LOTOS.

12. Vispārējas paralēlo procesu teorijas elementi.

13. Automāti uz bezgalīgiem vārdiem.

14. Temporālās loģikas, TLA.

15. Petri tīkli.

16. Reālā laika automāti.
 

Mājas darbi    Literatūra
 

Prasības kredītpunktu saņemšanai

Nokārtots eksāmens.

Eksāmens balstās uz uzdevumu risināšanu un vienkāršu teorijas jautājumu izskaidrošanu attiecībā uz visām kursā ietvertajām tēmām. Gatavošanās posmā uz atbildi eksāmenā var izmantot pierakstus un literatūru. Ja semestra gaitā ir sistemātiski izpildīti visi mājas darbi, un mājas darbi tiek atnesti arī uz eksāmenu, tiem analoģiski uzdevumi eksāmenā vairs nav atkārtoti jārisina, atsevišķi jautājumi iespējami par jau esošo mājas darbu saturu.

Individuālā plāna iespējas:

Iepriekš vienojoties ar pasniedzēju par no literatūras apgūstamajām nodaļām, eksāmena saturs var tikt balstīts uz šajās nodaļās ietverto materiālu (Sākotnējais piedāvājums: Hoara loģika, Larch, B, LOTOS + bisimulācijas ekvivalence,TLA - materiāls apgūstams padziļinātā veidā; iespējami varianti atkarībā no studenta interesēm).