Programtervező informatikus MSc - esti tagozat

Kurzus kódja

Modul

Tanegység

Előfeltétel

Előadás

Vizsga

Gyak.

Gy.j.

Kredit

Félév

1. félév

2. félév

3. félév

4. félév

IPM-08EsztMFEE

S0.

Modellek és formális eszközök

2

K

2

1.

2+0

S0.

Szintézis és verifikáció

2

K

2

3.

2+0

IPM-08sztTME

S0.

Típusmodellek

2

K

2

2.

2+0

S0.

Formális szemantika

2

K

2

4.

2+0

IPM-08sztNYTRE

S0.

Nyelvek típusrendszere

2

K

2

3.

2+0

IPM-08EsztPVI1E

S1.

Projekt- és vállalatirányítás az informatikában I.

2

K

2

1.

2+0

S1.

Projekt- és vállalatirányítás az informatikában II.

PV1E

2

GY

2

2.

0+2

IPM-08EsztTEE

S1.

Tervezés és elemzés elmélete

2

K

3

1.

2+0

S1.

Komponens alapú szoftverfejlesztés

2

K

3

2.

2+0

IPM-08EsztSZTK1G

S1.

Szoftverfolyamat tervezése és kivitelezése 1.

2

GY

2

1.

0+2

S1.

Szoftverfolyamat tervezése és kivitelezése 2.

SZTK1G

2

GY

2

2.

0+2

S1.

Szoftverfolyamat tervezése és kivitelezése 3.

SZTK2G

2

GY

2

3.

0+2

IPM-08sztFPNYE

S2.

Funkcionális nyelvek

2

K

3

1.

2+0

S2.

Funkcionális nyelvek implementációja

2

K

2

2.

2+0

S2.

Programozási nyelvek és paradigmák összehasonlítása 1.

2

K

2

3.

2+0

S2.

Programozási nyelvek és paradigmák összehasonlítása 2.

2

GY

3

4.

0+2

S2.

Szerződésalapú objetkum-orientált programozás

2

K

3

3.

2+0

S2.

Multiparadigma programozás

2

K

3

4.

2+0

IPM-08EsztTSZRE

S3.

Ismeretalapú technológia, szakértő rendszerek

2

K

2

1.

2+0

S3.

Ismeretalapú keretrendszerek

2

GY

3

4.

0+2

S3.

Megerősítéses tanulás

2

K

3

4.

2+0

S3.

Mesterséges neuronhálók

2

K

3

3.

2+0

S3.

Robotika

2

K

3

4.

2+0

S3.

Autonóm rendszerek

2

K

2

3.

2+0

IPM-08EsztORAEG

S4.

Osztott rendszerek analízise

2

X

2

5

1.

2+2

S4.

Osztott rendszerek szintézise

2

K

3

2.

2+0

S4.

Elosztott alkalmazások készítése I.

2

X

2

5

3.

2+2

S4.

Elosztott alkalmazások készítése II.

EAK1E

2

K

3

4.

2+0

S5.

Formális módszerek a szoftverfejlesztésben I.

2

K

3

3.

2+0

S5.

Formális módszerek a szoftverfejlesztésben II:

FM1E

2

GY

3

4.

0+2

IPM-08EsztLPEG

S5.

Logikai programozás

2

X

1

4

1.

2+1

S5.

Logikai programok  építése I.

2

X

1

4

2.

2+1

S5.

A szoftverfejlesztés minőségi aspektusai

2

K

2

4.

2+0

Szabadon választható

10

Diplomamunka

20

Összesen:

52

20

120

14+5

12+5

14+4

12+6

Megjegyzés: S0.,S1.(kötelező), S2-5 "választható"

S2-5 helyett választhat egy blokk helyébe kooperatív képzést is a hallgató, illetve egy másik szakirányú külső blokkot.

Utolsó módosítás: 2012.02.09