|
|
| (2 közbenső módosítás, amit 2 másik szerkesztő végzett, nincs mutatva) |
| 1. sor: |
1. sor: |
| A [[Mérnök informatikus MSc | mérnök informatikus MSc]] Felsőbb matematika tárgyblokk egyik tantárgya.
| | '''<big>Ez a tárgy össze lett vonva a [[Alkalmazott algebra]] tárggyal, a közös wikilap: [[Alkalmazott algebra és matematikai logika]].</big>''' |
|
| |
|
| {{Tantárgy
| |
| | név = Matematikai Logika<br>''Felsőbb matematika<br>informatikusoknak C''
| |
| | tárgykód = TE90MX42
| |
| | szak = info MSc
| |
| | kredit = 4
| |
| | félév =
| |
| | kereszt =
| |
| | tanszék =
| |
| | jelenlét =
| |
| | minmunka =
| |
| | labor =
| |
| | kiszh =
| |
| | nagyzh = 2 db
| |
| | hf =
| |
| | vizsga = írásbeli
| |
| | levlista =
| |
| | tad = https://www.vik.bme.hu/kepzes/targyak/TE90MX42/
| |
| | tárgyhonlap = http://www.math.bme.hu/~ferenczi/FelsoMatek14
| |
| }}
| |
|
| |
| ==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
| |
|
| |
| *[[Media:Matematikailogika_jegyzet_2004.docx | Összefoglaló 2004]]
| |
|
| |
| ===2014-es összefoglalás===
| |
| Előadásjegyzet alapján, erősen kivonatolva (pl. a feladatmegoldások lépéseit kihagytam belőle)<br />
| |
| Leginkább csak tételek és definíciók.<br />
| |
| (Amelyik tétel vastaggal ki van emelve, arról elhangzott, hogy az fontos)<br />
| |
| Szerkeszthető (DOCX, W2013, egyenletszerkesztős): [[:File:Összefoglalo_2014_(docx).docx]]<br />
| |
| PDF: [[:File:Összefoglalo_2014_(pdf).pdf]]
| |
|
| |
| ==Zárthelyik==
| |
| *[[Media:Matematikailogika_zh_minta.pdf | Minta ZH]]
| |
| *[[Media:Matematikailogika_zh_minta_megoldas.pdf | Minta ZH megoldás]]
| |
| *[[Media:Matematikailogika_zh_20101129.png | 2010. őszi ZH]]
| |
| *[[Media:matlog_mintazh_2014osz.pdf | 2014. őszi minta ZH]]
| |
| *[[:File:2014_zh_1.jpg]]
| |
| *[[:File:2014_zh_2.jpg]]
| |
| {{Lábléc - Mérnök informatikus mesterszak}} | | {{Lábléc - Mérnök informatikus mesterszak}} |
