József Attila Tudományegyetem Természettudományi kar - tanácsülések, 1989-1990

1990. április 27., I. rendkívüli ülés

Programtervező" matematikus szak

1. Törzstárgyak.- Halmazelmélet és matematikai logika.

* Automaták és formális nyelvek elmélete.- Kiszámíthatóságelmélet és algoritmusok bonyolutságelmélete.- Angol nyelvű szakszövegfordítás.

3+1 + 0 7.félév 3+1 + 0 T.félév 3+1 + 0 8.félév 0+1 + 2 ó.félév

2. Blokkok.

Félév Előfeltétel

I. II.

1. Analizis

3+1 3+1

2. Differenciálegyenletek

3+1 3+1

1. blokk

3. Numerikus matematika

3+1 3+1

1. blokk

4. Valószínüségszámítás Matematikai statisztika

3+1

2+1

1. blokk

5. Matematikai struktúrák Boole függvények

3 + 1

3+1

6. Gráfelmélet (kombinatorika) Kombinatorikus optimalizálás

3 + 1

3 + 1

7. Formális szemantika

Programhelyesség-bizonyitás

3 + 1

3 + 1

5.blokk

8. Adatbázisok elmélete Információs rendszerek

3+1

3 + 1

5.blokk

9. Számitógépes geometria Mesterséges intelligencia

3+1

3+1