Matematikai logika

A mérnök informatikus MSc Felsőbb matematika tárgyblokk egyik tantárgya.

Segédanyagok

A tárgyhonlapot nem tudjuk, hol van, egyáltalán van-e, egy nagyon régi maradványt sikerült csak megtalálni: http://www.renyi.hu/~sagi/teaching2010sep.html

Mérnökinformatikus MSc

1. félév (tavasz)	Adatbiztonság • Formális módszerek • Rendszeroptimalizálás • Analízis • Tömegkiszolgálás
2. félév (ősz)	Alkalmazott algebra és matematikai logika • Információelmélet • Nyelvek és automaták • Szoftverarchitektúrák • Sztochasztika I. • Sztochasztika II.
Egyéb	Kötelezően választható tárgyak • Mérnöki menedzsment • Befektetések • Érvelés, tárgyalás, meggyőzés • Információs társadalom joga • Minőségmenedzsment • Projektmenedzsment • Vállalati jog • Vezetői számvitel
Szakirányok	Alkalmazott informatika • Autonóm irányító rendszerek és robotok • Hálózatok és szolgáltatások • Hírközlő rendszerek biztonsága • Intelligens rendszerek • Médiainformatika • Rendszerfejlesztés • Számításelmélet • Szolgáltatásbiztos rendszertervezés