Tantárgy neve Diszkrét matematika Tantárgy kódja PM4101L6 ...
Tantárgy neve Diszkrét matematika Tantárgy kódja PM4101L6 ...
Tantárgy neve Diszkrét matematika Tantárgy kódja PM4101L6 ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Tantárgy <strong>neve</strong><br />
Matematikai logika<br />
Tantárgy kódja<br />
PM4102L6<br />
Meghirdetés féléve 1<br />
Kreditpont 4<br />
Összóraszám (elm+gyak) 12<br />
Számonkérés módja<br />
kollokvium<br />
Előfeltétel (tantárgyi kód)<br />
Tantárgyfelelős <strong>neve</strong> Dr. Várterész Magda, Ph.D.<br />
Tantárgyfelelős beosztása egyetemi adjunktus, főiskolai docens<br />
1. A tantárgy általános célja és specifikus célkitűzései<br />
A <strong>matematika</strong>i logika alapvető fogalmainak és eszközeinek elsajátításával egyrészt az<br />
informatika elméleti megalapozására nyílik lehetőség, másrészt az informatikai<br />
alkalmazásokhoz modern, egyre szélesebb körben használt eszközöket lehet a<br />
hallgatókkal később megismertetni. A <strong>matematika</strong>i logika jelentősen fejleszti a hatékony<br />
informatikai alkalmazások készítéséhez szükséges készségeket is.<br />
2. A tantárgy tartalma<br />
Elsőrendű nyelvek, termek, formulák, kötött és szabad változók, kötött változók<br />
át<strong>neve</strong>zése, szabad változók helyettesítése termmel. A nyelv szemantikája, logikai<br />
törvények és alkalmazásaik, konjunktív és diszjunktív normálforma, formula prenex és<br />
Skolem alakja. A logikai következmény fogalma. Predikátumkalkulus, dedukció-tétel, a<br />
természetes levezetés technikája. Formális axiomatikus elméletek Az előadás anyagához<br />
kapcsolódó feladatok megoldása.<br />
3. Évközi ellenőrzés módja<br />
Két zárthelyi dolgozat, mely sikeres teljesítése előfeltétele a kollokviumnak.<br />
4. A tárgy előírt külső szakmai gyakorlatai<br />
-<br />
5. A kötelező ill. ajánlott irodalom<br />
Dragálin Albert, Buzási Szvetlána: Bevezetés a <strong>matematika</strong>i logikába, Kossuth Egyetemi<br />
Kiadó, Debrecen, 1986.<br />
Pásztorné Varga Katalin: Matematikai logika alkalmazásokhoz (Matematikai logika –<br />
számítástudomány), ELTE, egyetemi jegyzet, Budapest, 1997.<br />
Sashalminé Kelemen Éva: A <strong>matematika</strong>i logika és a halmazelmélet elemei, EKTF<br />
Líceum Kiadó, Eger, 1996.<br />
Szendrei Ágnes: Diszkrét <strong>matematika</strong>, Polygon Kiadó, Szeged, 1994.<br />
Stuart J. Russell, Peter Norvig : Mesterséges intelligencia modern megközelítésben,<br />
Panem-Prentice Hall, Budapest, 2000.<br />
6. A tantárgy tárgyi szükségletei és ellátása<br />
-<br />
34
Change language