acces mai rapid decât browser-ul!
30 relaţii: Alan Turing, Algoritm, Alonzo Church, Automorfism, Calculator analogic, Corespondență biunivocă, Dacă și numai dacă, Ecuație diferențială, Element neutru, Grup (matematică), Informatică, Kurt Gödel, Limbaj formal, Logică matematică, Mașină Turing, Matematică, Mathematical Reviews, Mulțime nenumărabilă, Mulțime numărabilă, Număr natural, Orbită (matematică), Problema deciziei, Rețea neurală, Sistem dinamic, Springer Science+Business Media, Stephen Cole Kleene, Teoria complexității, Teoria computației, Teoria mulțimilor, Teza Church-Turing.
Alan Turing
Alan Mathison Turing, OBE, FRS a fost un informatician, matematician, logician, criptanalist, filosof și maratonist britanic.
Nou!!: Teoria calculabilității și Alan Turing · 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 calculabilității ș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 calculabilității și Alonzo Church · Vezi mai mult »
Automorfism
table Cayley În matematică, un automorfism este un izomorfism al unui obiect matematic pe sine însuși.
Nou!!: Teoria calculabilității și Automorfism · Vezi mai mult »
Calculator analogic
Calculatorul analogic polonez AKAT-1, 1959 Un calculator analogic este un tip de calculator care utilizează aspecte (semnale) care se schimbă în mod continuu ale fenomenelor fizice, cum ar fi cele electrice, mecanice, hidraulice sau ale altor mărimi pentru a modela problema care trebuie rezolvată.
Nou!!: Teoria calculabilității și Calculator analogic · Vezi mai mult »
Corespondență biunivocă
O funcție bijectivă, ''f'': ''X'' → ''Y'', unde X.
Nou!!: Teoria calculabilității și Corespondență biunivocă · Vezi mai mult »
Dacă și numai dacă
În logică și domeniile conexe, ca matematică și filosofie, dacă și numai dacă este o expresie care se referă la un conector logic între propoziții cognitive în funcție de două condiții, care trebuie să fie ambele adevărate sau false.
Nou!!: Teoria calculabilității și Dacă și numai dacă · Vezi mai mult »
Ecuație diferențială
În matematică, o ecuație diferențială este o ecuație pentru o funcție necunoscută de una sau mai multe variabile; ea are forma unei relații între funcția însăși și un număr de derivate ale sale de diferite ordine.
Nou!!: Teoria calculabilității și Ecuație diferențială · Vezi mai mult »
Element neutru
În algebră, elementul neutru al unei legi de compoziție f: A \times A \rightarrow A este un element e \in A care, compus cu oricare element a \in A, îl lasă neschimbat: unde s-a notat f(a, b).
Nou!!: Teoria calculabilității și Element neutru · Vezi mai mult »
Grup (matematică)
cub Rubik formează un grup. În matematică, un grup este o mulțime prevăzută cu o operație binară care combină orice două elemente ale ei pentru a forma un al treilea element în așa fel încât sunt satisfăcute patru condiții, denumite axiomele grupurilor, și anume închiderea, asociativitatea, existența elementului neutru, respectiv a elementului simetric.
Nou!!: Teoria calculabilității și Grup (matematică) · 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 calculabilității și Informatică · 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 calculabilității și Kurt Gödel · 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 calculabilității și Limbaj formal · Vezi mai mult »
Logică matematică
Logica matematică este un subdomeniu al matematicii.
Nou!!: Teoria calculabilității ș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 calculabilității și Mașină Turing · 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 calculabilității și Matematică · Vezi mai mult »
Mathematical Reviews
Mathematical Reviews (în) este o revistă publicată de American Mathematical Society (AMS) care conține mici rezumate, și în unele cazuri evaluări, ale multor articole din matematică, statistică și informatică teoretică.
Nou!!: Teoria calculabilității și Mathematical Reviews · Vezi mai mult »
Mulțime nenumărabilă
În teoria mulțimilor, o mulțime nenumărabilă este o mulțime infinită care conține un număr prea multe elemente, astfel încât acestea nu pot fi numărate sau puse în corespondență biunivocă cu mulțimea numerelor naturale.
Nou!!: Teoria calculabilității și Mulțime nenumărabilă · Vezi mai mult »
Mulțime numărabilă
În teoria mulțimilor, o mulțime numărabilă este o mulțime cu același cardinal (număr de elemente) ca și orice submulțime a mulțimii numerelor naturale.
Nou!!: Teoria calculabilității și Mulțime numărabilă · Vezi mai mult »
Număr natural
Câteva numere naturale. În matematică, numerele naturale sunt numerele folosite pentru numărarea și ordonarea obiectelor.
Nou!!: Teoria calculabilității și Număr natural · Vezi mai mult »
Orbită (matematică)
În matematică, prin orbita unui grup de permutări se înțelege o submulțime a mulțimii care este permutată (mulțimea bază sau suport unde acționează permutările), cu proprietatea că oricare dintre elementele orbitei poate fi transformat în oricare alt element prin aplicarea unei permutări din grup.
Nou!!: Teoria calculabilității și Orbită (matematică) · Vezi mai mult »
Problema deciziei
În matematică și informatică, problema deciziei, denumită și Entscheidungsproblem (din germană) este o provocare lansată de David Hilbert în 1928.
Nou!!: Teoria calculabilității și Problema deciziei · Vezi mai mult »
Rețea neurală
O rețea neurală artificială este un grup interconectat de noduri, inspirat de o simplificare a neuronilor din creier. În imaginea prezentată, fiecare nod circular reprezintă un neuron artificial și o săgeată reprezintă o conexiune de la ieșirea unui neuron artificial la intrarea altuia. Această rețea are un strat cu neuroni de intrare (input - roșu), un strat cu neuroni ascunși (hidden - albastru) și un strat cu neuroni de ieșire (output - verde). Rețelele neurale (RN, în engleză: ANN de la artificial neural network) sunt o ramură din știința inteligenței artificiale, și constituie totodată, principial, un obiect de cercetare și pentru neuroinformatică.
Nou!!: Teoria calculabilității și Rețea neurală · Vezi mai mult »
Sistem dinamic
Atractorul Lorenz este un exemplu de sistem neliniar dinamic. Conceptul de sistem dinamic este o formalizare matematică a oricărei "reguli" fixate care descrie dependența de timp a poziției unui punct în spațiu.
Nou!!: Teoria calculabilității și Sistem dinamic · Vezi mai mult »
Springer Science+Business Media
Springer Science+Business Media, cunoscută în general drept Springer, este o editură multinațională germană, care publică cărți, e-bookuri și reviste științifice evaluate de colegi din publicații științifice, umaniste, tehnice și medicale (STM).
Nou!!: Teoria calculabilității și Springer Science+Business Media · 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 calculabilității și Stephen Cole Kleene · 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 calculabilității și Teoria complexității · Vezi mai mult »
Teoria computației
mașini Turing. Mașinile Turing sunt frecvent utilizate ca modele teoretice de calcul. În și în matematică, teoria computației este ramura care se ocupă cu cât de eficient pot fi rezolvate problemele pe un, folosind un algoritm.
Nou!!: Teoria calculabilității și Teoria computației · Vezi mai mult »
Teoria mulțimilor
Teoria mulțimilor este domeniul matematicii care studiază conceptul de mulțime.
Nou!!: Teoria calculabilității și Teoria mulțimilor · 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 calculabilității și Teza Church-Turing · Vezi mai mult »
