Matematikai logika

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

Matematikai Logika
Felsőbb matematika
informatikusoknak C

Tárgykód	TE90MX42
Általános infók
Szak	info MSc
Kredit	4
Követelmények
NagyZH	2 db
Vizsga	írásbeli
Elérhetőségek
Tantárgyi adatlap
Tárgyhonlap

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

2014-es honlap: http://www.math.bme.hu/~ferenczi/FelsoMatek14

• Összefoglaló 2004

2014-es összefoglalás

Előadásjegyzet alapján, erősen kivonatolva (pl. a feladatmegoldások lépéseit kihagytam belőle)
Leginkább csak tételek és definíciók.
(Amelyik tétel vastaggal ki van emelve, arról elhangzott, hogy az fontos)
Szerkeszthető (DOCX, W2013, egyenletszerkesztős): File:Összefoglalo_2014_(docx).docx
PDF: File:Összefoglalo_2014_(pdf).pdf

Zárthelyik

• Minta ZH
• Minta ZH megoldás
• 2010. őszi ZH
• 2014. őszi minta ZH

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