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.

Slides:



Advertisements
Hasonló előadás
Készítette: Kosztyán Zsolt Tibor
Advertisements

A digitális számítás elmélete
GRIN: Gráf alapú RDF index
Kiszámíthatóság, rekurzív függvények
Thalész tétele A síkon azoknak a pontoknak a halmaza, amelyekből egy adott AB szakasz derékszög alatt látszik, az AB átmérőjű kör, kivéve az AB szakasz.
Programozási feladatok
A digitális számítás elmélete
Matematika a mindennapokban
Determinisztikus programok. Szintaxis: X : Pvalt program változók E : Kifkifejezések B : Lkiflogikai kifejezések C : Utsutasítások.
Kötelező alapkérdések
Kalman-féle rendszer definíció
INFOÉRA Kombinatorikai algoritmusok (Horváth Gyula és Szlávi Péter előadásai felhasználásával) Juhász István-Zsakó László: Informatikai.
Rekurzió (Horváth Gyula és Szlávi Péter előadásai felhasználásával)
Dominó probléma (emlékeztető)‏
Példa az Early-algoritmus alkalmazására
Programozáselmélet Logikák és módszerek a programhelyesség bizonyításához.
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.
Turbo pascal feladatok 2
Bársony Kristóf számítástechnika IV. évfolyam
Algoritmizálás Göncziné Kapros Katalin humaninformatika.ektf.hu.
SZÁMÍTÓGÉP ARCHITEKTÚRÁK
Programozó matematikus szak 2003/2004-es tanév II. félév
Programozó matematikus szak 2003/2004-es tanév II. félév
A digitális számítás elmélete
A digitális számítás elmélete
A digitális számítás elmélete
Determinisztikus véges automaták csukva nyitva m s kbsm csukva nyitva csukva nyitva csukvanyitva 1. Példa: Fotocellás ajtó s b m m= mindkét helyen k= kint.
Szoftvertechnológia előadás
ELTE Szlávi-Zsakó: Programozási alapismeretek 8.1/ Kiválogatás Specifikáció:  Bemenet: N:Egész, X:Tömb[1..N:Valami]
Reprezentációs függvény. Adva egy adattípus absztrakt és konkrét specifikációja: d a = ( A, F, E a ); d c = ( C, G, E c ); A = {A 0,..., A n };C = {C 0,...,
A számfogalom bővítése
Számítástudomány alapjai
Algoritmusok bonyolultsága és kommunikációs bonyolultság Gáspár Merse Előd fizika szeminárium 2004 szeptember Algoritmusok bonyolultsága és kommunikációs.
Algoritmusok bonyolultsága Gáspár Merse Előd Györgyi Géza féle statisztikus fizika szeminárium 2004.
Készítette: Kosztyán Zsolt Tibor
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.
Algoritmusok Muhammad Ibn Musa Al'Khwarizmi taskenti bölcs (a XII. században élt) tanítása szerint a célok elérésének legjobb útja az algoritmus. Erről.
Lineáris egyenletrendszer megoldása MS Excel Solver segítségével
Algoritmikus kalandok J. Hromkovič könyvéről
Készítette: Tóth Ervin
1 AAO folytatás ++ Csink László. 2 Rekurzív bináris keresés (rendezett tömbben) public static int binker(int[] tomb, int value, int low, int high) public.
A Turing-gép.
Szerver oldali programozás 3. Előadás Tananyag: PHP string-kezelő függvények Lénárt Anett mérnöktanár - PTE PMMIK Rendszer- és Szoftvertechnológia Tanszék.
A folytonosság Digitális tananyag.
2005. Információelmélet Nagy Szilvia 2. A forráskódolás elmélete.
Integrálszámítás.
Csoportkeresési eljárások Vassy Zsolt. Tematika Girvan Newman klaszterezés Diszkrét Markov lánc: CpG szigetek Rejtett Markov lánc ADIOS.
Kiterjesztések szemantikája: Szemantikai tartomány : Adatoknak, vagy értékeknek egy nem üres halmazát szemantikai tartománynak nevezzük. Jelölése: D. Egy.
Függvények aszimptotikus viselkedése: A Θ jelölés
Szerver oldali programozás
Struktúra predikció Struktúra lehet Felügyelt tanulási probléma
Szövegfeldolgozás ontológiák segítségével – fogalmak azonosítása Szekeres András Márk.
Mesterséges intelligencia 8. Stratégiai játékok A játék kimenetelére a játékosoknak ellenőrizhető módon van befolyásuk. Pl.: sakk, dáma, póker stb. A.
Programozási nyelvek csoportosítása.
Számítástudomány alapjai
Mediánok és rendezett minták
Kockázat és megbízhatóság
A Fraktálok Szent István Király Zeneművészeti szakközépiskola és AMI
Számításelmélet Tárgykód: NGM_IN006_1 és LGM_IN006_1
Bevezetés a programozásba Algoritmikus gondolkodás
A maximum kiválasztás algoritmusa
Mesterséges intelligencia
Számítógépes algoritmusok
P és NP teljes problémák
Algoritmusok szerkezete
A Számítástudomány alapjai A Számítógépek felépítése, működési módjai
Számításelmélet 7.
Absztrakt problémák Q  I  S, az absztrakt probléma kétváltozós reláció az esetek (I) és a megoldások (S) halmazán Példa: legrövidebb út Eset: gráf és.
Algoritmusok és Adatszerkezetek I.
Előadás másolata:

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 – Lambda-kalkulus (1941) Markov – szóorientált megközelítés (1961)

Algoritmikus problémák 1950-es évek lelkesedése Minden problémára van megoldó algoritmus? Church-Turing tézis: a Turing-gép képes minden kiszámítható függvényt kiszámítani Church-Turing tétel: vannak Turing-géppel ki nem számítható függvények

Turing-gép

szalagjelek (betűk) halmaza, állapotok halmaza, kezdőállapot, elfogadó állapotok halmaza, átmenet függvény, esetén:

Turing-gép – Példa Van-e a megadott input szóban ‘x’ betű?

Turing-gép – Konfiguráció Konfiguráció: Megállási konfiguráció:

Közvetlen rákövetkezés 1) x 2) x 3) x x x

Rákövetkezés Léteznek konfigurációk, hogy: 1) x 2) x 3) x

Elfogadás, elutasítás Input: x x x x

Időkorlát x

Eldöntött / felismert nyelv

Rekurzív / rekurzíve felsorolható nyelvek