Nouveauté
| Titre : | Introduction to Computer Theory |
| Auteurs : | Moore Gemma, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Intelliz Press LLC, 2025 |
| ISBN/ISSN/EAN : | 978-1-68251-075-9 |
| Format : | 321 p. / ill. / 26 cm |
| Langues: | Anglais |
| Langues originales: | Anglais |
| Index. décimale : | 004 (informatique en général) |
| Catégories : | |
| Mots-clés: | Computer Theory ; Automata Theory ; Formal Languages ; Computability ; Complexity Theory ; Finite Automata ; Pushdown Automata ; Grammar ; Turing Machines ; Theoretical Computer Science |
| Résumé : | Introduction to Computer Theory offers a comprehensive overview of the foundational concepts in theoretical computer science that underpin how computers compute and solve problems. The book begins by introducing basic principles such as formal languages and automata theory, explaining how abstract machines like finite automata and pushdown automata are used to model computation and recognize patterns. It then explores formal grammars and their role in describing language syntax, followed by deeper discussions on computability and the limits of what computers can solve. Complexity theory is also covered, providing insight into how computational problems are classified based on the resources required to solve them, such as time and memory. Designed for students and professionals alike, the book bridges mathematical rigor with clear explanations to help readers understand the theoretical structures that support programming languages, compilers, and advanced algorithms. |
Exemplaires (2)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 25/229 | 004/2302/1 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
| 25/230 | 004/2302/2 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
