Tantárgy azonosító adatok
1. A tárgy címe Felsőbb matematika informatikusoknak - Alkalmazott algebra és matematikai logika
2. A tárgy angol címe Advanced Mathematics for Informaticians - Applied Algebra and Mathematical Logic
3. Heti óraszámok (ea + gy + lab) és a félévvégi követelmény típusa 4 + 0 + 0 v Kredit 4
4. Ajánlott/kötelező előtanulmányi rend
vagy Tantárgy kód 1 Rövid cím 1 Tantárgy kód 2 Rövid cím 2 Tantárgy kód 3 Rövid cím 3
4.1
4.2
4.3
5. Kizáró tantárgyak
6. A tantárgy felelős tanszéke Matematika Intézet
7. A tantárgy felelős oktatója Dr. Rónyai Lajos beosztása egyetemi tanár
Akkreditációs adatok
8. Akkreditációra benyújtás időpontja 2014.07.03 Akkreditációs bizottság döntési időpontja 2015.05.05
Tematika
9. A tantárgy az alábbi témakörök ismeretére épít
BSc matematika
10. A tantárgy szerepe a képzés céljának megvalósításában (szak, kötelező, kötelezően választható, szabadon választható)
VIK Mérnökinformatikus MSc képzés kötelezően választható tárgya
11. A tárgy részletes tematikája
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
12. Követelmények, az osztályzat (aláírás) kialakításának módja
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. vizsga-
idő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.
13. Pótlási lehetőségek
A TVSZ szerint
14. Konzultációs lehetőségek
Szükség esetén a számonkérések előtt a hallgatókkal egyeztetve.
15. 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.
16. A tantárgy elvégzéséhez átlagosan szükséges tanulmányi munka mennyisége órákban (a teljes szemeszterre számítva)
16.1 Kontakt óra
56
16.2 Félévközi felkészülés órákra
10
16.3 Felkészülés zárthelyire
14
16.4 Zárthelyik megírása
0
16.5 Házi feladat elkészítése
0
16.6 Kijelölt írásos tananyag elsajátítása (beszámoló)
0
16.7 Egyéb elfoglaltság
0
16.8 Vizsgafelkészülés
40
16.9 Összesen
120
17. Ellenőrző adat Kredit * 30
120
A tárgy tematikáját kidolgozta
18. Név beosztás Munkahely (tanszék, kutatóintézet, stb.)
Dr. Rónyai Lajos
egyetemi tanár
Algebra Tanszék
A tanszékvezető
19. Neve aláírása
Dr. Nagy Attila