https://github.com/gabboraron/logika_es_szamitaselmelet

Turing gépek | 1-szalagos - k-szalagos | NTG | Látló | számosság | Cantor tétel | R | RE | Rice | POST | ítéletkalkulus | logika | elsőrendű logika | bonyolultságelmélet | P | NP | C teljesség | Cook-Levin | kSAT | 3SAT | HORNSAT | 3 színezhetőség | 2 színezhetőség | Klikk | lefogó ponthalmaz | független ponthalmaz | Hamilton út | Hamilton kör | utazóügynök | NP | cOC | coNP | offline Turing gép | tárígény | tárbonyolultság | ELÉR | Savitch | NL | L | Hierarchia tétel | R
https://github.com/gabboraron/logika_es_szamitaselmelet

np p turing-machine

Last synced: 20 days ago
JSON representation

Turing gépek | 1-szalagos - k-szalagos | NTG | Látló | számosság | Cantor tétel | R | RE | Rice | POST | ítéletkalkulus | logika | elsőrendű logika | bonyolultságelmélet | P | NP | C teljesség | Cook-Levin | kSAT | 3SAT | HORNSAT | 3 színezhetőség | 2 színezhetőség | Klikk | lefogó ponthalmaz | független ponthalmaz | Hamilton út | Hamilton kör | utazóügynök | NP | cOC | coNP | offline Turing gép | tárígény | tárbonyolultság | ELÉR | Savitch | NL | L | Hierarchia tétel | R

• Host: GitHub
• URL: https://github.com/gabboraron/logika_es_szamitaselmelet
• Owner: gabboraron
• License: mpl-2.0
• Created: 2020-05-18T22:57:17.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2020-06-12T21:21:03.000Z (almost 5 years ago)
• Last Synced: 2025-02-12T21:34:12.190Z (2 months ago)
• Topics: np, p, turing-machine
• Homepage:
• Size: 11.9 MB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Logika és számításelmélet

- [Tóth Gabriella - logika előadás sorozat](https://people.inf.elte.hu/kistoth/oktatas/2018-2019-2/logszamea/index.html)

- [Tichler Krisztián - logika és számításelmélet gyak](https://web.cs.elte.hu/~tichlerk/index3.html)

- [Tichler Krisztián - logika és számításelmélet EA](https://web.cs.elte.hu/~tichlerk/index6.html)

## Diasor és annak kiegészítései:

> 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

### EA7 Turing gépek | 1-szalagos - k-szalagos  

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/): https://gyires.inf.unideb.hu/GyBITT/25/ch04.html vagy [összefoglalva pdf formában](https://github.com/gabboraron/logika_es_szamitaselmelet/blob/master/2011-0103_25_szamitaselmelet.pdf)

> 

> Tichler féle TG jegyzet: [(Determinisztikus) Turing-gépek](https://github.com/gabboraron/logika_es_szamitaselmelet/blob/master/tg.pdf) é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/

### EA8 NTG | Látló | számosság | Cantor tétel | R | RE  

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

### EA9 Rice | POST | ítéletkalkulus | logika | elsőrendű logika

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ó](https://github.com/gabboraron/logika_es_szamitaselmelet/blob/master/elsorendu_logika.pdf)

> 

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

>   - [szintaxis](https://gyires.inf.unideb.hu/KMITT/a02/ch05.html#idp150668448)

>   - [termhelyettesítés](https://gyires.inf.unideb.hu/KMITT/a02/ch05.html#idp152389216)

> 

> [Tóth Gabriella féle](http://koszegijudit.web.elte.hu/logika_bsc/fifi.pdf): [0.rendű logika](https://drive.google.com/file/d/1W6m3pdhZHJ9_mifVWahFIyoZOcp_qjtA/view), [1.rendű logika](https://drive.google.com/file/d/1l8-lB5FVb3LnJ5FZ25Hgroyz_3R8qI4P/view)

> - 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](https://github.com/gabboraron/logika_es_szamitaselmelet/blob/master/Logika%20%C3%A9s%20Sz%C3%A1m%C3%ADt%C3%A1selm%C3%A9let.pdf)

### EA10 bonyolultságelmélet | P | NP | C teljesség | Cook-Levin | kSAT | 3SAT | HORNSAT

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ég*rő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](http://www.cs.bme.hu/~kiskat/) 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

> 

### EA11 3 színezhetőség | 2 színezhetőség | Klikk | lefogó ponthalmaz | független ponthalmaz | Hamilton út | Hamilton kör | utazóügynök

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

>

### EA12 NP | cOC | coNP | offline Turing gép | tárígény | tárbonyolultság | ELÉR | Savitch | NL | L | Hierarchia tétel | R

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

## Egybefűzve:

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