A tantárgy az alábbi témakörök ismeretére épít:
A tantárgy szerepe a képzés céljának megvalósításában:
VIK Mérnökinformatikus MSc képzés kötelezően választható tárgya
A tantárgy részletes tematikája magyarul és angolul:
A lineáris algebra tanult fogalmainak áttekintése
Lineáris operátorok véges dimenziós euklideszi terekben, normálformák
Nemnegatív elemű mátrixok
Szinguláris értékek szerinti felbontás (SVD) A lineáris algebra további alkalmazásairól Formális nyelv, formalizálás
Logikai szemantika - a halmazelméletre alapozva
Bizonyításelmélet
A szemantika és a bizonyításelmélet kapcsolatáról A Matematikai logika néhány további alkalmazása Matematikai logika és az Algebra kapcsolatáról
Követelmények szorgalmi időszakban:
2 zárthelyi dolgozat teljesítése. Az aláírás megszerzésének feltétele a zárthelyi dolgozatok teljesítése egyenként legalább 40%-ra.
Követelmények vizsgaidőszakban:
A vizsgán a tárgy mindkét feléből el kell érni az elégséges szintet. A vizsgajegy megállapítása 50-50%-ban a zárthelyik eredménye és a vizsga alapján történik.
Konzultációs lehetőségek:
Szükség esetén a számonkérések előtt a hallgatókkal egyeztetve.
Jegyzet, tankönyv, felhasználható irodalom:
V.V. Praszolov: Lineáris algebra, Typotex, 2005. Rózsa Pál: Lineáris algebra és alkalmazásai, Tankönyvkiadó 1991.
Halmos Pál: Véges dimenziós vektorterek, Műszaki Kiadó, 1984.
Ferenczi Miklós: Matematikai logika, Műszaki kiadó, 2002.
Nyomtatóbarát változat
