| 000 | 02169nam a22003137a 4500 | ||
|---|---|---|---|
| 003 | GR-AtMCL | ||
| 005 | 20250806131453.0 | ||
| 006 | a|||||r|||| 00| 0 | ||
| 008 | 250806b |||||||| |||| 00| 0 eng d | ||
| 020 | _a9789602183977 | ||
| 040 |
_aGR-AtMCL _bgre _dGR-AtMCL _eAACR2 |
||
| 041 | 1 | _heng | |
| 100 | 1 |
_aLewis, Harry R. _94747 |
|
| 245 | 1 | 0 |
_aΣτοιχεία θεωρίας υπολογισμού / _cHarry R. Lewis, Χρίστος Χ. Παπαδημητρίου ; μετάφραση Παναγιώτης Αντωνιάδης ; επιστημονική επιμέλεια Μάρθα Σιδέρη |
| 260 |
_aΑθήνα : _bΚριτική, _c2005 |
||
| 300 |
_a503σ. ; _c24εκ. |
||
| 490 | 1 | _aΕπιστημονική βιβλιοθήκη | |
| 500 | _aΕυρετήριο: σ. 494-503 | ||
| 500 | _aΤίτλος πρωτοτύπου: Elements of the theory of computation | ||
| 520 | _aΤο βιβλίο αποτελεί μια εισαγωγή στην κλασική και σύγχρονη θεωρία υπολογισμού, προορισμένη για προπτυχιακό στάδιο. Τα θέματα που καλύπτονται είναι η θεωρία των αυτομάτων και των τυπικών γλωσσών, η υπολογισιμότητα από μηχανές Turing και αναδρομικές συναρτήσεις, η μη υπολογισιμότητα, η υπολογιστική πολυπλοκότητα και η μαθηματική λογική. Η αντιμετώπιση είναι μαθηματική αλλά η θεώρηση γίνεται με την οπτική της επιστήμης των υπολογιστών. | ||
| 650 | 0 | 0 |
_aΠληροφορική _99850 |
| 650 | 0 | 0 |
_aΛογική, Συμβολική και μαθηματική _99997 |
| 650 | 0 | 0 |
_aΥπολογιστική πολυπλοκότητα _99996 |
| 700 | 1 |
_aΠαπαδημητρίου, Χρίστος Χ., _d1949- _97670 |
|
| 700 |
_aΑντωνιάδης, Παναγιώτης _99994 |
||
| 830 |
_aΕπιστημονική βιβλιοθήκη (Κριτική) _99995 |
||
| 942 | _cBK | ||
| 999 |
_c9885 _d9885 |
||