Számításelmélet Tárgykód: NGM_IN006_1 és LGM_IN006_1

Slides:



Advertisements
Hasonló előadás
Digitális képanalízis Félévi megbeszélnivalók. A tárgy •címe: Digitális képanalízis •szakirányos tárgy •neptun-kód: BMEEOFTASJ5 (BSc) •előadó és gyakorlatvezető:
Advertisements

Szóbeli vizsga és szervezésének kérdései mindkét szinten
4. Előadás: A mohó algoritmus
Matematika és módszertana
„XXI. S ZÁZADI KÖZOKTATÁS ( FEJLESZTÉS KOORDINÁCIÓ ) II. SZAKASZ ” TÁMOP / Bánkuti Zsuzsa (OFI) és Lukács Judit (OFI)
A digitális számítás elmélete Előadás:kedd 10:10-11:40, 0/13. terem előadó: Dr. Ruszinkó Miklós Gyakorlat: Kedd 14:15-16:00,
Tantárgyi ismertető és Termékszerkezet elemzési példák
Programozási alapismeretek
Adminisztratív kérdések
Programozási alapismeretek
Szóbeli érettségi tétel (középszint) Témakör: Nyelvi szintek Tétel: A mellérendelő összetett mondatok mint logikai-tartalmi viszonyok A tétel forrása:
Kalmár László  Informatikai Tanszékcsoport, Főépület 2000-nél több informatikus hallgató.
Mérés és adatgyűjtés - lev
1900 Párizs-első matematikai világkonferencia Hilbert híres előadása, melynek hatására tág teret kapott az absztrakt gondolkodásmód széleskörű alkalmazása.
Informatika matematika speciális tagozat - tematika évfolyam -
A SAT probléma különböző reprezentációinak vizsgálata oktatási szempontból (újratöltve) Az általánosítás fegyvere a kutatásban Kusper Gábor,
Tájékoztató LGB_km016_1. Tantárgy megnevezése, kódja Környezet-gazdaságtan NGB_AK012 Tantárgyprogramot készítő oktató Dr. Szigeti Cecília Oktatás
A digitális számítás elmélete
A digitális számítás elmélete
Bevezetés a matematikába I
Számítástudomány alapjai
Kvantitatív módszerek
1 Boole-Algebrák. 2 más jelölések: ^ = *, &, П v = +, Σ ~ = ¬
4. Gyires Béla Informatikai Nap Debreceni Egyetem Informatikai Kar Új eredmények a Chomsky-féle (formális) nyelvtípusokkal kapcsolatban Dr. Nagy Benedek.
2010. febr. 9Bev. a Bioinformatikába1 Bevezetés a Bioinformatikába Budapesti Műszaki és Gazdaságtudományi Egyetem 2009/10 Tavaszi Szemeszter.
1. Bevezetés a tárgy célja: azoknak az eszközöknek és módszereknek a megismertetése és begyakoroltatása, melyek az érvelések megértéséhez, elemzéséhez,
Félévin szereplő tipusfeladatok. Feladat tipus 1 – elméleti kérdések: Pl: Írd le saját szavaiddal a számok számjegyekre bontási algoritmusát. Írd le saját.
Bevezetés a pszichológiába
Adatszerkezetek 1. előadás
Kvantitatív módszerek
ONTOLÓGIA és TUDÁSREPREZENTÁCIÓ Szőts Miklós Alkalmazott Logikai Laboratórium
Matematika I. 1. heti előadás Műszaki Térinformatika 2013/2014. tanév szakirányú továbbképzés tavaszi félév Deák Ottó mestertanár.
W.V. O. Q UINE A DOLGOK ÉS HELYÜK AZ ELMÉLETEKBEN (1981) Mészáros Zsuzsanna Tudományfilozófia szem.
A Dijkstra algoritmus.
Axiális szegregáció forgó hengerben Németh András mérnök-fizikus, IV. évf.
Ráckeve, Matemetika oktatás mérnök és informatikus képzésekben 1 Dunaújvárosi Főiskola
Matematika oktatás mérnök és informatikai képzésekben Ráckeve, március Pannon Egyetem (Veszprémi Egyetem, 1949) Bölcsészettudományi Kar Gazdaságtudományi.
1 Matematika oktatás mérnök és műszaki informatikai képzésekben Ráckeve, március 2-4. Recski András, BME Számítástud. és Inf.elm. T. Budapesti Műszaki.
Matematika oktatás mérnök és informatikai képzésekben
Tájékoztatás & Bevezetés
Informatikai Rendszerek Tervezése 5. Előadás: Genetikus algoritmusok Illyés László Sapientia - Erdélyi Magyar TudományEgyetem (EMTE) Csíkszereda IRT.-5.
Számítógéphálózatok Távadatfeldolgozás 2000/2001. Tanév, II. félév Dr. Vadász Dénes.
Nyomdaipari Gépek Szerkezettana
1 CASE STUDIES IN PROJECT MANAGEMENT ( Projektmenedzsment esettanulmányok ) Gazd. idegennyelvi menedzser FSZ Tematika, követelmények Oktató: Zemankovics.
Rekord statisztikák Készítette: Komjáti Bálint IV. évf. fizikus hallgató (ELTE-2006) Györgyi Géza: Extrém érték statisztikák előadásán tartott szemináriumára.
A minimális költségű folyam feladat és megoldási módszerei
GeoGebra Dinamikus matematika mindenkinek
Környezetvédelmi számítások környezetvédőknek
Hő és áramlástechnikai gépek II. Követelmények
Számításelmélet 2. Algoritmus-fogalom Turing-gép Alan M. Turing – 1937 II. világháború, Enigma MI, Turing-teszt Kleene – Rekurzív függvények (1936) Church.
Biztosítási matematika és kockázatelemzés I. Egészségbiztosítási szakirány Előadó és gyakorlatvezető: Vályi Sándor Fogadóóra: kedd 14-15, 208/4. szoba.
Pályaválasztási napok Pszichológia képzés Pálinkás Brigitta Károli Gáspár Református Egyetem.
Tájékoztató NGB_ak012.
A Dijkstra algoritmus.
Informatika (Bevezetés az informatikába)
Számítástudomány alapjai
Az Informatikai biztonság alapjai
Európai Uniós ismeretek
Tájékoztató AK011 Dr. Szigeti Cecília.
Logika szeminárium Barwise-Etchemendy: Language, Proof and Logic
GKLB_FKTM001 tantárgyi követelményrendszer
Európai Uniós Alapismeretek
A Számítástudomány alapjai A Számítógépek felépítése, működési módjai
Nagy Roland | Robotika PMB2530, PMB2530L Nagy Roland |
Bevezetés a matematikába I
Számításelmélet 7.
Vizuális programozás MIN1M1-MIN1M2- MIN6B6IN - MIN6B8IN – MIN4I0N – MIN3H4PFN Követelményrendszer.
3. osztályban.
Mintaillesztés Knuth-Morris-Pratt (KMP) algoritmus
Az emberi arcok Óramegbeszélés
Előadás másolata:

Számításelmélet Tárgykód: NGM_IN006_1 és LGM_IN006_1 Oktató: Kajdocsi László E-mail: kajdocsi.laszlo@sze.hu Iroda: A-602

Kötelező irodalom Ajánlott irodalom Michael Sipser: Introduction to theory of computation, 1st ed., PWS Publishing Company Katona Gyula Y., Recski András, Szabó Csaba: A számítástudomány alapjai, 2002, Tipotex Kiadó Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein: Introduction to Algorithms, 2nd ed., MIT Press Ajánlott irodalom

Tárgy témakörei Bevezetés a számítástudományba Automaták, Számítások, Komplexitás Matematikai fogalmak és terminológiák Definíciók, Tételek, Bizonyítások Bizonyítási típusok Reguláris nyelvek Tartalom-független nyelvek A Church-Turing elmélet Turing-gépek

Tárgy témakörei A Turing-gépek változatai A Turing-gép algoritmus-definíciója Eldönthetőségi elmélet Csökkenthetőségi elmélet Rekurzió elmélete A logikai elméletek eldönthetősége Turing-féle csökkenthetőség Az információ

Tárgy témakörei Bonyolultság elmélete Idő komplexitás Mérési komplexitás A P osztály Az NP osztály Az NP teljesség Egyébb NP-teljes problémák Tér komplexitás Savitch-elmélet

Tárgy témakörei A PSPACE osztály PSPACE teljesség L és NL osztályok NL teljesség Approximációs algoritmusok Valószínűségi algoritmusok Interaktív bizonyítási rendszerek Párhuzamos számítások Kriptoráfia

Követelményrendszer ZH nincs! Félév végén VIZSGA az adott témakörökből!