• Tóth Gabriella - logika előadás sorozat
• Tichler Krisztián - logika és számításelmélet gyak
• Tichler Krisztián - logika és számításelmélet EA

gyak anyag összefűzve a diasorhoz, Tichler féle: https://github.com/gabboraron/logika_es_szamitaselmelet/blob/master/tichler%20f%C3%A9le%20jegyzetek%20egyben.pdf

fájl: https://github.com/gabboraron/logika_es_szamitaselmelet/blob/master/EA07SZ4%20(1).pdf

Turing gépek bővebben a Gyires Béla Tananyagtárból: https://gyires.inf.unideb.hu/GyBITT/25/ch04.html vagy összefoglalva pdf formában

Tichler féle TG jegyzet: (Determinisztikus) Turing-gépek és Turing-gép EA: http://web.cs.elte.hu/~tichlerk/logika/l7H.pdf

Turing gép lejátszó programok online:

• https://turingmachinesimulator.com/
• http://morphett.info/turing/turing.html
• https://turingmachine.io/

fájl: https://github.com/gabboraron/logika_es_szamitaselmelet/blob/master/EA08SZ4.pdf

nyelvek rekurzivitása: https://gyires.inf.unideb.hu/GyBITT/25/ch05s03.html

fájl: https://github.com/gabboraron/logika_es_szamitaselmelet/blob/master/EA09SZ4.pdf

• elsőrendű logika: https://github.com/gabboraron/logika_es_szamitaselmelet/blob/master/term-formula-4.pdf
• első rendű logika Tichler Krisztián féle összefoglaló

Gyires Béla Tananyagtárból: https://gyires.inf.unideb.hu/KMITT/a02/ch05.html

• szintaxis
• termhelyettesítés

Tóth Gabriella féle: 0.rendű logika, 1.rendű logika

• Termek és atomi mondatok, predikátum szimbólumok: http://project.mit.bme.hu/mi_almanach/books/aima/ch08s02
• logika és számításelmélet kidolgozott jegyzet 2013-2014 ELTE IK - Butkay Gábor és Gyenes József

fájl: https://github.com/gabboraron/logika_es_szamitaselmelet/blob/master/EA10SZ4.pdf

Közérthető bevezetés a témába: http://www.termeszetvilaga.hu/kulonsz/k002/algoritmus.html

A P, NP, NP nehéz, NP teljességről egy jó, rövid összefoglaló: https://github.com/gabboraron/logika_es_szamitaselmelet/blob/master/P-NP-NPC.pdf

NP teljes problémák, bevezetés, alapok, BME stílusban: https://github.com/gabboraron/logika_es_szamitaselmelet/blob/master/npcompl-2019.pdf

NP teljesség röviden: https://github.com/gabboraron/logika_es_szamitaselmelet/blob/master/03npcompleteness.pdf

fájl: https://github.com/gabboraron/logika_es_szamitaselmelet/blob/master/EA11SZ4.pdf

ezek a korábbiak kiterjesztései, a fentiek megértése után ez gyerekjáték, csak sajátos esetek

Tichler féle rövidített verzió: https://web.cs.elte.hu/~tichlerk/logika/h/h5.pdf

fájl: https://github.com/gabboraron/logika_es_szamitaselmelet/blob/master/EA12SZ4.pdf

angol összefoglaló: https://github.com/gabboraron/logika_es_szamitaselmelet/blob/master/notes25.pdf

fájl: https://github.com/gabboraron/logika_es_szamitaselmelet/blob/master/logika_es_szamelm-egyben-Tichler_fele.pdf