Számítástudomány alapjai
Az alábbi információk tájékoztató jellegűek. A hatályos követelmények az egyetemi tanrendi keresőben találhatók.
Számítástudomány alapjai
kódjai: I512e, I512g, IB512e, IB512g, IBL512e, IBL512g
Felelős tanszék: Számítástudomány Alapjai Tanszék
Nappali tagozaton:
Előadás: heti 2 óra / 3 kredit (IB512e), illetve 3 kredit (I512e). Teljesítés módja: Kollokvium.
Gyakorlat: heti 1 óra / 1 kredit (IB512g), illetve 2 kredit (I512g). Teljesítés módja: gyakorlati jegy.
Levelező tagozaton
Előadás: összesen 13 óra / 3 kredit (IBL512e). Teljesítés módja: Kollokvium.
Gyakorlat: összesen 5 óra / 1 kredit (IBL512g). Teljesítés módja: gyakorlati jegy.
A kurzus felvételének előfeltételei: Diszkrét matematika I.
Tematika:
Nyelvek és műveletek nyelveken. Reguláris nyelvek és véges automaták. Determinisztikus és nemdeterminisztikus
automaták. A reguláris nyelvek pumpáló lemmája.
Nyelvtanok. A Chomsky hierarchia. Környezetfüggetlen nyelvek és veremautomaták. A
környezetfüggetlen nyelvek zártsági tulajdonságai. Egyértelmű nyelvtanok és nyelvek.
A környezetfüggetlen nyelvek pumpáló lemmája és nem környezetfüggetlen nyelvek.
Turing-gépek és változataik. Turing-gépek mint a számítás formális modelljei. A Turing-gépek
ekvivalenciája az egyéb számítási modellekkel. Church tézise. Rekurzív és rekurzívan felsorolható
nyelvek. Eldönthetetlen problémák.
Problémák példányainak szavakkal való reprezentálása. Az idő- és tárigény becslése. Megfelelően tömör kódolások.
Algoritmusok idő- és tárigénye. Idő és tárkorlátos Turing-gépek. Bonyolultsági osztályok.
A P és NP osztályok. P-teljes és NP-teljes problémák. A PSPACE osztály, a PSPACE-teljes problémák. Az L és NL osztályok.
Bizonyíthatóan nehéz problémák.
Ajánlott irodalom:
- Ésik Zoltán: Számítástudomány alapjai, Typotex Kiadó, 2011.
Jegyzet letöltése PDF formátumban
- Ésik Zoltán, Gombás Éva, Iván Szabolcs: Automaták és formális nyelvek példatár, Typotex Kiadó, 2011.
Jegyzet letöltése PDF formátumban
- Peter Linz: An Introduction to Formal Languages and Automata, 5th edition, Jones & Bartlett Publishers, Sudbury, MA, USA, 2012.
- Susan H. Rodger and Thomas W. Finley: JFLAP An Interactive Formal Languages and Automata Package, Jones & Bartlett Publishers, Sudbury, MA, USA, 2006.
- J. E. Hopcroft, J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison Wesley, Reading, 1979.
- Lovász László: Algoritmusok bonyolultsága, Tankönyvkiadó, 1989.
- H. R. Lewis, C. H. Papadimitriou: Elements of the Theory of Computation, 2nd ed., Prentice Hall. 1998.
- C. H. Papadimitriou: Számítási bonyolultság, Novadat Kiadó, 1999.
- M. Sipser: Introduction to the Theory of Computation, PWS Publishing Co., 1997.
- JFLAP program, letölthető: http://www.jflap.org/
A tárgy teljesítésének feltételei:
Nappali:
A tárgy teljesítése érdekében mind a gyakorlatot, mind a vizsgát (kollokviumot) teljesíteni kell.
A gyakorlat teljesítésének feltételei:
A gyakorlat látogatása kötelező. Egynél több igazolatlan hiányzás (ami nem eshet a dolgozatírások időpontjába)
esetén a gyakorlat nem teljesített. Igazolt hiányzás esetén az igazolását a hallgató köteles a hiányzást
követő első gyakorlaton bemutatni az oktatónak.
Amennyiben a hallgató igazoltan többet hiányzott, mint az adott kötelező foglalkozásra megállapított 6 heti
összes óraszám, pótlásnak helye nincs, a tantárgy nem teljesített.
- Két, egyenként 5 pontos házi feladat beadása a JFLAP alkalmazásával (fájlban és papíron benyújtva) a feladat kiadásától számítva kéthetes határidővel. A határidő után benyújtott feladatok nem kerülnek értékelésre.
- Egy 30 pontos zárthelyi dolgozat megírása a szorgalmi időszakban, melynek időpontja és helye a szorgalmi időszak első két hetében kerül rögzítésre.
A gyakorlaton összesen 40 pont szerezhető, melyből a zárthelyi dolgozaton minimum 10, összesen pedig minimum 16 pont szükséges a teljesítéshez.
Javítási lehetőség:
- Amennyiben a hallgató zárthelyi dolgozatának pontszáma vagy összpontszáma nem éri el az elvárt minimális értéket, egy 30 pontos javító dolgozat írható, melynek témaköre megegyezik a zárthelyi dolgozatéval. A javítás sikeres, ha a javító dolgozat pontszámával helyettesítve a zárthelyi dolgozat pontszámát a hallgató teljesíti a fenti minimum feltételeket. Ebben az esetben azonban a gyakorlat összpontszáma csak a minimális 16 pont.
- A zárthelyi dolgozat írásának időpontjában igazoltan hiányzó hallgató a javító dolgozat időpontjában pótdolgozatot írhat. Ebben az esetben a pótdolgozaton elért teljes pontszám kerül beszámításra.
A javító, illetve pótdolgozat írásának időpontja a szorgalmi időszak első két hetében kerül rögzítésre.
Sikeres teljesítés esetén a gyakorlat érdemjegye az összpontszám alapján, sávosan kerül meghatározásra az alábbiak szerint:
- 0 - 15 pont : elégtelen (1)
- 16 - 21 pont : elégséges (2)
- 22 - 27 pont : közepes (3)
- 28 - 33 pont : jó (4)
- 34 - 40 pont : jeles (5)
A vizsga (kollokvium) teljesítésének feltételei:
Csak az a hallgató vizsgázhat az ETR-ben meghirdetett vizsganapokon, aki a gyakorlatot a fentiek szerint teljesítette, érvényes vizsgajelentkezése van az adott vizsganapra az ETR-ben és igazolja személyazonosságát (a leckekönyv /diákigazolvány bemutatásával).
A vizsga az alábbi két részből áll:
- (a) előre kiadott, a tárgy teljes anyagára vonatkozó röviden megválaszolható kérdésekből az oktató által kijelölt kérdések megválaszolása írásban, amelyért összesen 30 pont jár, és amelyet minimum 12 pontra teljesíteni kell,
- (b) előre kiadott tételsorból az oktató által kijelölt egy darab 30 pontos tétel kidolgozása írásban, melyet minimum 7 pontra teljesíteni kell.
A vizsga akkor sikeres, ha a vizsga mindkét részére a hallgató az előírt minimális pontszámot megszerzi.
Sikeres vizsga esetén a kollokvium érdemjegye a fenti két pontszám összege alapján, sávosan kerül meghatározásra az alábbiak szerint:
- 0 - 18 pont : elégtelen (1)
- 19 - 29 pont : elégséges (2)
- 30 - 40 pont : közepes (3)
- 41 - 50 pont : jó (4)
- 51 - 60 pont : jeles (5)
Vizsgáról való hiányzásra vonatkozó szabályozás:
A TVSZ 13.4. pontja szerint "a vizsgáról való nem engedélyezett távolmaradás elhasznált vizsgaalkalomnak minősül, mellyel a lehetséges vizsgaismétlések számát csökkenteni kell".
Vizsgáról való hiányzás igazolásával a hallgatónak a vizsgáztató oktatóhoz kell fordulni.
Sikeres vizsga javításának feltételei:
Sikeres vizsga megismétlésére a TVSZ. 15. pontjában leírtak érvényesek.
IBT512 Számítástudomány alapjai (tehetséggondozó) tárgy teljesítési feltételei:
- A Számítástudomány alapjai gyak. (tehetséggondozó) gyakorlaton egy további 40 pontos, teljes órás tehetséggondozó zárthelyi dolgozat legalább 16 pontra való megírása. Amennyiben a hallgató dolgozata ezt nem éri el, a dolgozat egyszer javítható. A javító dolgozat is max. 40 pontos, mely legalább 16 pont megszerzése esetén sikeres. A sikeres javító dolgozattal 16 pont szerezhető.
A tehetséggondozó zárhelyi dolgozat, illetve a javító dolgozat időpontjának rögzítése a szorgalmi időszak első két hetében történik.
A Számítástudomány alapjai (tehetséggondozó) tárgy vizsga előfeltétele a tehetséggondozó dolgozattal vagy annak javító dolgozatával megszerzett legalább 16 pont.
- A vizsgán egy, a normál vizsga tételsorából kapott tételből kell szóban felelni. A szóbeli felelettel max. 60 pont szerezhető, melyből a teljesítéshez legalább 19 pontot meg kell szerezni.
Az IBT512 Számítástudomány alapjai (tehetséggondozó) tárgy teljesítéséért járó jegy a fenti két pontszám összege alapján, sávosan kerül meghatározásra az alábbiak szerint:
- 0 - 34 pont : elégtelen (1)
- 35 - 49 pont : elégséges (2)
- 50 - 69 pont : közepes (3)
- 70 - 84 pont : jó (4)
- 85 - 100 pont : jeles (5)
Levelező:
A tárgy teljesítése érdekében mind a gyakorlatot, mind a vizsgát (kollokviumot) teljesíteni kell.
A gyakorlat teljesítésének feltételei:
- egy 10 pontos házi feladat beadása a JFLAP alkalmazásával (fájlban és papíron benyújtva) a feladat kiadásakor megadott határidővel. A határidő után benyújtott feladatok nem kerülnek értékelésre.
- egy 30 pontos zárthelyi dolgozat megírása a szorgalmi időszakban, amely időpontjának kihirdetése az első órán történik. Zárthelyi dolgozat írásakor csak igazolt távollét megengedett. A zárthelyi dolgozat témaköre a gyakorlaton és az előadáson a dolgozatírást megelőző hétig elhangzott anyagból kerül ki.
A gyakorlaton összesen 40 pont szerezhető, melyből a zárthelyi dolgozaton minimum 10, összesen pedig minimum 16 pont szükséges a teljesítéshez.
Javítási lehetőség:
- Amennyiben a hallgató zárthelyi dolgozatának pontszáma vagy összpontszáma nem éri el az elvárt minimális értéket, egy 30 pontos javító dolgozat írható, melynek témaköre megegyezik a zárthelyi dolgozatéval. A javítás sikeres, amennyiben a javító dolgozat pontszámával helyettesítve a zárthelyi dolgozat pontszámát a hallgató teljesíti a fenti minimum feltételeket. Ebben az esetben azonban a gyakorlat összpontszáma csak a minimális 16 pont.
- A zárthelyi dolgozat írásának időpontjában igazoltan hiányzó hallgató a javító dolgozat időpontjában pótdolgozatot írhat. Ebben az esetben a pótdolgozaton elért teljes pontszám kerül beszámításra.
Sikeres teljesítés esetén a gyakorlat érdemjegye az összpontszám alapján, sávosan kerül meghatározásra az alábbiak szerint:
- 0 - 15 pont : elégtelen (1)
- 16 - 21 pont : elégséges (2)
- 22 - 27 pont : közepes (3)
- 28 - 33 pont : jó (4)
- 34 - 40 pont : jeles (5)
A vizsga (kollokvium) teljesítésének feltételei:
Csak az a hallgató vizsgázhat az ETR-ben meghirdetett vizsganapokon, aki a gyakorlatot a fentiek szerint teljesítette, érvényes vizsgabejelentkezése van az adott vizsganapra az ETR-ben, bemutatja a vizsgán az ETR-ből nyomtatott kurzusteljesítési lapot és igazolja személyazonosságát (a leckekönyv /diákigazolvány bemutatásával).
A vizsga az alábbi két részből áll:
- (a) előre kiadott, a tárgy teljes anyagára vonatkozó röviden megválaszolható kérdésekből az oktató által kijelölt kérdések megválaszolása írásban, amelyért 30 pont jár és amelyet minimum 12 pontra teljesíteni kell,
- (b) előre kiadott tételsorból az oktató által kijelölt egy darab 30 pontos tétel kidolgozása írásban, melyet minimum 7 pontra teljesíteni kell.
A vizsga akkor sikeres, ha a vizsga mindkét részére a hallgató az előírt minimális pontszámot megszerzi.
Sikeres vizsga érdemjegye a fenti két pontszám összege alapján, sávosan kerül meghatározásra az alábbiak szerint:
- 0 - 18 pont : elégtelen (1)
- 19 - 29 pont : elégséges (2)
- 30 - 40 pont : közepes (3)
- 41 - 50 pont : jó (4)
- 51 - 60 pont : jeles (5)
Vizsgáról való hiányzásra vonatkozó szabályozás:
A TVSZ 13.4. pontja szerint "a vizsgáról való nem engedélyezett távolmaradás elhasznált vizsgaalkalomnak minősül, mellyel a lehetséges vizsgaismétlések számát csökkenteni kell". Vizsgáról való hiányzás igazolásával a hallgatónak a vizsgáztató oktatóhoz kell fordulni.
Sikeres vizsga javításának feltételei:
Sikeres vizsga megismétlésére a TVSZ. 15. pontjában leírtak érvényesek.