Új elvű számítások az informatikában (tematika)

1. Bevezetés, motiváció.
2. Formális nyelvi, logikai alapismeretek.
3. Kiszámíthatóság, NP-teljesség, klasszikus bonyolultsági osztályok.
4. Lindenmayer rendszerek, fraktálok kirajzolása Lindenmayer rendszerekkel. Membrán rendszerek: általános leírás és bevezető példa.
   
5. Transition membrán rendszerek, definíció és számítási erő. Aktív membrános P rendszerek, szintaxisa és szemantika.
   
6. SAT megoldása aktív membránokkal. Az aktív membrános P renszerek számítási ereje.
7. A PSPACE osztály jellemzése nem elemi membrán osztó szabályok segítségével (QSAT megoldása és PSPACE felső korlát)
   
8. A DNS felépítése. Watson-Crick komplementaritás. A DNS láncok manipulálásának eszközei.
9. Adleman kísérlete: az utazó ügynök probláma megoldása DNS-sel. A DNS számítások hátrányai. Molekuláris klónozás.
   
10. Adat tárolása DNS-ben: in vitro. A tranzisztorok felépítése és fejlődésük korlátai. Hullámok szuperpozíciója. A fény kettős természete.
    
11. A kvantumbit és fizikai reprezentációi. Kvantumbitek szuperpozíciójának ábrázolása a Bloch-gömbön. Unitér mátrixok, kvantum kapuk: Hadamard, CNOT kapu.
12. Deutsch-Jozsa algoritmus. Az RSA algoritmus. Shor algoritmusa.
    

Fóliasorok: 2023 ősz