Új számítási paradigmák

Az ábrák listája

1.1. A Turing-gép rajza.

1.2. Többszalagos Turing-gép szimulációja egy szalaggal, összetett ábécé szimbólumokkal.

1.3. A fontosabb bonyolultsági osztályok hierarchiája.

1.4. A spagetti rendezés: egy csoportos összehasonlítással kiválasztható a leghosszabb elem.

1.5. A „gravitációs” rendezés.

2.1. A Belnap-féle logika igazságértékei.

2.2. A és intervallum-értékek grafikus ábrázolása.

2.3. Példa negációra intervallum-értékekkel.

2.4. Példa konjunkcióra és diszjunkcióra intervallum-értékekkel.

2.5. Példa implikációra intervallum-értékekkel.

2.6. A Cantor-halmaz előállítása az intervallum-értékek szorzásával.

2.7. Példa a Gödel-féle konjunkcióra és diszjunkcióra intervallum-értékekkel.

2.8. A Gödel-féle negáció modellezése intervallum-értékekkel.

2.9. Példák a Gödel-féle implikációra intervallum-értékekkel.

2.10. A Łukasiewicz-féle összekötőjelek modellezése intervallum-értékekkel.

3.1. Intervallum-értékek kiszámítása az ítéletváltozókhoz.

3.2. Az intervallum-értékű számítás egy kielégíthető formulára (balra) és a legbelső egzisztenciális kvantoros részformula kiszámítása lépésenként (jobbra).

3.3. Nem kielégíthető formula elemzése (bal oldalon) és egy univerzális kvantoros formula értékelése lépésenként (jobb oldalon).

3.4. Az input intervallum-értékű reprezentációja.

3.5. A és intervallum-értékek esetre.

3.6. A és intervallum-értékek és a értékek által reprezentált egészek.

3.7. A és intervallum-értékek és az általuk reprezentált egészek.

3.8. A és intervallum-értékek által reprezentált számok szorzatai.

3.9. A és intervallum-értékek egyenlőségének vizsgálata.

3.10. A kódolt szorzótényező értéke.

3.11. Az output meghatározása.

3.12. Az input kódolása intervallum-értékekkel ( ).

3.13. A lehetséges kitevők intervallum-értékekkel és jelentésük.

3.14. Hatványozás (5 maradékosztályában).

3.15. A és a értékek meghatározása a példában.

3.16. Egyenlőség tesztelése a példában.

4.1. Az adenin molekula: a bázis, a pentóz és a foszfát-csoport szerkezete és kapcsolódásuk módja.

4.2. A citozin bázisának felépítése.

4.3. A guanin bázisának kémiai felépítése.

4.4. A timin molekula bázisa.

4.5. DNS lánc kialakulása nukleotidokból vízkilépéssel.

4.6. A citozin és a guanin bázisai közt háromszoros hidrogénkötés alakulhat ki.

4.7. A polimeráz enzim kiegészíti a DNS láncot.

4.8. DNS láncok szétválasztása hossz alapján gélelektroforézissel.

4.9. Egy vágás „ragadós végek” létrehozásával.

5.1. Az Adleman által vizsgált gráf.

5.2. A csúcsoknak és az éleknek megfelelő láncokból a H-kötések által létrejönnek az utakat jelentő kétszálú DNS láncok.

5.3. Az három változóval rendelkező formulákhoz használható gráf.

5.4. A példaként adott formula elemi diszjunkcióiban levő literálokat pecázzuk.

6.1. A makronukleusz felépítése, az összerakott génsorozat.

6.2. Az ld operátor.

6.3. A hi operátor.

6.4. A dlad szétvágás és újraillesztés operátor.

7.1. A sejt membránjának szerkezete.

7.2. A membránalkotó foszfolipid molekula szerkezete.

7.3. A sejt, mint membrán számítási modell.

7.4. Fa, ami leírja a 7.3. ábrán látható membránstruktúrát.

7.5. Példa kooperatív membránrendszerre.

8.1. A membránfal vastagsága (átjárhatósága, megléte) speciális szimbólumokkal szabályozható.

8.2. Kiinduló állapot.

8.3. Egy példaszámítás menete.

8.4. Általános párhuzamos feladatmegoldó (membrán-) számítógép modellje.

9.1. P-automata, ami az input -k és -k számát méri.

9.2. P-automata a zárójelek nyelvéhez.

9.3. P-automata segítő és gátló multihalmazokkal.

10.1. Mermin kísérlete.

10.2. Érmék kiválasztása a méréshez.

10.3. A Toffoli kapu diagramja.

11.1. Kubit reprezentációja és mérése.

12.1. A kapu megvalósítása három kapuval (a satírozott kis gömb a vezérlőszálat jelzi).

12.2. A kvantumos félösszeadó kapu megvalósítása egy és egy kapuval.

12.3. A vezérelt-vezérelt- kapu szimulációja kisebb vezérelt kapukkal.

13.1. A Deutsch algoritmus.

13.2. A Deutsch-Jozsa algoritmus kapcsolási rajza.

13.3. A Simon algoritmus kapcsolási rajza.

13.4. Összefonódott kubitek előállítása (pl. kriptográfiai alkalmazáshoz).

13.5. A kvantumteleportáció elve.

13.6. 128 kubites D-Wave chip. (A fotó a D-Wave Systems Inc. engedélyével/Courtesy of D-Wave Systems Inc.)

13.7. Valódi véletlenszám generátor kvantumoptikai alapon (a fotó a Quantis quantum randomgenerátorról a gyártó cég engedélyével).