Cuprins
7 relaţii: Alan Turing, Alonzo Church, Informatică, Princeton University Press, Simbol, Stephen Wolfram, Teoria complexității.
- Alan Turing
- Informatică teoretică
- Limbaje formale și automate
- Metode formale
Alan Turing
Alan Mathison Turing, OBE, FRS a fost un informatician, matematician, logician, criptanalist, filosof și maratonist britanic.
Vedea Mașină Turing și Alan Turing
Alonzo Church
Alonzo Church a fost un matematician și logician american care a adus contribuții majore în logica matematică și fundamentele .
Vedea Mașină Turing și Alonzo Church
Informatică
Termenul informatică desemnează știința procesării sistematice a informației, în special a procesării cu ajutorul calculatoarelor.
Vedea Mașină Turing și Informatică
Princeton University Press
Princeton University Press este o editură independentă ce are legături strânse cu Universitatea Princeton.
Vedea Mașină Turing și Princeton University Press
Simbol
Un octogon roșu simbolizează „stop”, chiar și fără ca respectivul cuvânt să fie scris Un simbol este, în sensul general, un semn, obiect, imagine etc.
Vedea Mașină Turing și Simbol
Stephen Wolfram
Stephen Wolfram Stephen Wolfram (n. 29 august 1959 la Londra) este un om de știință în domeniul computerelor și al fizicii teoretice și antreprenor britanic.
Vedea Mașină Turing și Stephen Wolfram
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.
Vedea Mașină Turing și Teoria complexității
Vezi și
Alan Turing
Informatică teoretică
- Algoritm
- Clasă de complexitate
- Limbaj formal
- Mașină Turing
Limbaje formale și automate
- Închidere Kleene
- Alfabet (informatică)
- Dovadă (logică)
- Expresie regulată
- Forma normală Greibach
- Ierarhia Chomsky
- Limbaj de marcare
- Limbaj formal
- Limbaj regulat
- Limbaje independente de context
- Mașină Turing
- Sistem unar
Metode formale
- Mașină Turing
- Siguranță în funcționare
- Teoria mulțimilor
Cunoscut ca Maşina Turing.