acces mai rapid decât browser-ul!
32 relaţii: Alan Turing, Alfabet, Algoritm, Alonzo Church, American Mathematical Society, Automat finit, Clasele de complexitate P și NP, Claude Shannon, Expresie regulată, Gramatică, Ierarhia Chomsky, Informatică, John Hopcroft, John von Neumann, Kurt Gödel, Limbaj de programare, Limbaj formal, Logică matematică, Mașină Turing, Massachusetts Institute of Technology, Matematică, Notația Big O, NP (teoria complexității), Premiul Turing, Stephen Cole Kleene, Stephen Cook, Teoria automatelor, Teoria calculabilității, Teoria complexității, Teoria numerelor, Teza Church-Turing, Universitatea Harvard.
Alan Turing
Alan Mathison Turing, OBE, FRS a fost un informatician, matematician, logician, criptanalist, filosof și maratonist britanic.
Nou!!: Teoria computației și Alan Turing · Vezi mai mult »
Alfabet
În scriere, un alfabet, în limba greacă veche ἀλφάβητος alphábētos, din numele primelor două litere ale alfabetului grec, alfa (α) și beta (β), este un sistem de scriere compus dintr-o serie de semne grafice numite litere, în care fiecare corespunde, de regulă, unui fonem sau sunet, uneori unei suite relativ scurte de sunete ale unei limbiBussmann 1998, p. 45-46.
Nou!!: Teoria computației și Alfabet · Vezi mai mult »
Algoritm
În matematică și informatică un algoritm (cuvântul are ca origine numele matematicianului persan Al-Khwarizmi) este o metodă (procedură de calcul) în care se prezintă pașii sau operațiile elementare necesare pentru rezolvarea unei probleme sau categorii de probleme.
Nou!!: Teoria computației și Algoritm · Vezi mai mult »
Alonzo Church
Alonzo Church a fost un matematician și logician american care a adus contribuții majore în logica matematică și fundamentele .
Nou!!: Teoria computației și Alonzo Church · Vezi mai mult »
American Mathematical Society
American Mathematical Society (AMS) este o asociație de matematicieni profesioniști dedicați intereselor cercetării matematice și burselor și servește comunității naționale și internaționale prin publicațiile, întâlnirile, susținere și alte programe.
Nou!!: Teoria computației și American Mathematical Society · Vezi mai mult »
Automat finit
Fig.1 Automat finit Un automat finit (AF) sau o "mașină cu un număr finit de stări" este un model de comportament compus din stări, tranziții și acțiuni.
Nou!!: Teoria computației și Automat finit · Vezi mai mult »
Clasele de complexitate P și NP
3.
Nou!!: Teoria computației și Clasele de complexitate P și NP · Vezi mai mult »
Claude Shannon
Claude Elwood Shannon a fost un matematician, inginer electrotehnist și criptograf american, „tatăl teoriei informației”.
Nou!!: Teoria computației și Claude Shannon · Vezi mai mult »
Expresie regulată
Rezultatele unui match al șablonului (?.
Nou!!: Teoria computației și Expresie regulată · Vezi mai mult »
Gramatică
Gramatica unei limbi este ansamblul de structuri privind îmbinările cuvintelor acelei limbi în vederea producerii propozițiilor și a altor unități comunicaționale.
Nou!!: Teoria computației și Gramatică · Vezi mai mult »
Ierarhia Chomsky
Ierarhia Chomsky este o ierarhie de incluziune a claselor de gramatici formale care generează limbaje formale.
Nou!!: Teoria computației și Ierarhia Chomsky · Vezi mai mult »
Informatică
Termenul informatică desemnează știința procesării sistematice a informației, în special a procesării cu ajutorul calculatoarelor.
Nou!!: Teoria computației și Informatică · Vezi mai mult »
John Hopcroft
John Edward Hopcroft (n. 7 octombrie 1939, Seattle, Washington, SUA) este un informatician american.
Nou!!: Teoria computației și John Hopcroft · Vezi mai mult »
John von Neumann
John von Neumann (născut János Lajos Neumann) a fost un matematician american evreu de origine austro-ungară cu importante contribuții în fizica cuantică, analiza funcțională, teoria mulțimilor, topologie, economie, informatică, analiza numerică, hidrodinamica exploziilor, statistică și în multe alte domenii ale matematicii, fiind unul din cei mai importanți matematicieni din istorie.
Nou!!: Teoria computației și John von Neumann · Vezi mai mult »
Kurt Gödel
Kurt Gödel a fost un logician, matematician și filozof austriac care în 1940 a emigrat în SUA, unde a activat în continuare, fiind considerat matematician american.
Nou!!: Teoria computației și Kurt Gödel · Vezi mai mult »
Limbaj de programare
Un limbaj de programare este un limbaj formal de expresii și reguli (sau tehnici) valide de formulare a instrucțiunilor pentru un computer.
Nou!!: Teoria computației și Limbaj de programare · Vezi mai mult »
Limbaj formal
În matematică, logică, informatică și lingvistică un limbaj formal este o mulțime de cuvinte de lungime finită (șiruri de caractere) bazate pe un alfabet finit, și teoria științifică ce tratează aceste entități se numește teoria limbajelor formale.
Nou!!: Teoria computației și Limbaj formal · Vezi mai mult »
Logică matematică
Logica matematică este un subdomeniu al matematicii.
Nou!!: Teoria computației și Logică matematică · Vezi mai mult »
Mașină Turing
O reprezentare artistică a unei ''Mașini Turing''. Mașinile Turing sunt mecanisme extrem de elementare de dispozitive de prelucrare a simbolurilor care — în ciuda simplității lor — pot fi adaptate pentru a simula logica oricărui calculator ce poate fi construit.
Nou!!: Teoria computației și Mașină Turing · Vezi mai mult »
Massachusetts Institute of Technology
Massachusetts Institute of Technology (abreviat MIT) este o universitate de cercetare, particulară, coeducațională, care se găsește în localitatea Cambridge, Massachusetts, Statele Unite ale Americii.
Nou!!: Teoria computației și Massachusetts Institute of Technology · Vezi mai mult »
Matematică
Euclid, matematician grec, secolul al III-lea î.Hr., așa cum este reprezentat de către Rafael într-un detaliu al lucrării „Școala din Atena” Matematica (și matematici) este în general definită ca știința ce studiază relațiile cantitative, modelele de structură (relații calitative), spațiul și schimbarea.
Nou!!: Teoria computației și Matematică · Vezi mai mult »
Notația Big O
''x'' ≥ ''x''0. Notația Big O este o notație matematică care descrie al unei funcții atunci când argumentul tinde la o anumită valoare sau la infinit.
Nou!!: Teoria computației și Notația Big O · Vezi mai mult »
NP (teoria complexității)
Clasa de complexitate NP (nedeterminist polinomial) cuprinde problemele de decizie care sunt executate în cel mai rău caz în timp polinomial de către o mașină Turing nedeterministă.
Nou!!: Teoria computației și NP (teoria complexității) · Vezi mai mult »
Premiul Turing
Premiul A. M. Turing este o distincție decernată anual de către Association for Computing Machinery „unei persoane alese pentru contribuțiile de natură tehnică aduse comunității informatice.
Nou!!: Teoria computației și Premiul Turing · Vezi mai mult »
Stephen Cole Kleene
Stephen Cole Kleene (pronunțat) a fost un matematician american, elev al lui Alonzo Church, cunoscut, împreună cu Alan Turing, și alții, ca fondator al ramurii logicii matematice care poartă numele teoria calculabilității, care ulterior a stat la baza informaticii teoretice.
Nou!!: Teoria computației și Stephen Cole Kleene · Vezi mai mult »
Stephen Cook
Stephen Arthur Cook (n. 14 decembrie 1939, Buffalo, New York, SUA) este un informatician american, care a formalizat noțiunea de NP-completitudine într-o lucrare scrisă în 1971 și intitulată Complexitatea procedurilor de demonstrare a teoremelor, în care a demonstrat că problema satisfacerii expresiilor booleene este NP completă.
Nou!!: Teoria computației și Stephen Cook · Vezi mai mult »
Teoria automatelor
În informatica teoretică, teoria automatelor este studiul mașinilor abstracte și al problemelor rezolvabile de acestea.
Nou!!: Teoria computației și Teoria automatelor · Vezi mai mult »
Teoria calculabilității
Teoria calculabilității este o ramură a logicii matematice, a informaticii și a teoriei computației, care își are originea în anii 1930, cu studiul și al .
Nou!!: Teoria computației și Teoria calculabilității · Vezi mai mult »
Teoria complexității
În și matematică, teoria complexității se concentrează pe clasificarea în funcție de resursele pe care le utilizează și pe analiza relațiilor dintre aceste clase.
Nou!!: Teoria computației și Teoria complexității · Vezi mai mult »
Teoria numerelor
Distribuția numerelor prime este un obiect de studiu în teoria numerelor. Dacă se aranjează numerele naturale în spirală și se evidențiază cele prime, apare un șablon numit Spirală Ulam. Teoria numerelor (sau aritmetică / aritmetică superioară în uz mai vechi) este o ramură a matematicii pure dedicată în principal studiului numerelor întregi.
Nou!!: Teoria computației și Teoria numerelor · Vezi mai mult »
Teza Church-Turing
În teoria calculabilității, teza Church-Turing (cunoscută și sub numele de teza calculabilității, teza Turing-Church, conjectura Church-Turing, teza lui Church, conjectura lui Church sau teza lui Turing) este o ipoteză despre natura.
Nou!!: Teoria computației și Teza Church-Turing · Vezi mai mult »
Universitatea Harvard
Universitatea Harvard: ''Conant Hall'' Universitatea Harvard (în) este o universitate privată, aflată în orașul Cambridge, statul Massachusetts, Statele Unite.
Nou!!: Teoria computației și Universitatea Harvard · Vezi mai mult »
Redirecționează aici:
Teoria calculului, Teoria computaţiei.
