Language, Culture, Computation: Computing - Theory and Technology

Download Language, Culture, Computation: Computing - Theory and Technology PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 364245321X
Total Pages : 604 pages
Book Rating : 4.6/5 (424 download)

DOWNLOAD NOW!


Book Synopsis Language, Culture, Computation: Computing - Theory and Technology by : Nachum Dershowitz

Download or read book Language, Culture, Computation: Computing - Theory and Technology written by Nachum Dershowitz and published by Springer. This book was released on 2014-12-03 with total page 604 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, several years in gestation, honours this outstanding Israeli computer scientist and is dedicated to him and to his scientific endeavours. Yaacov's research has had a major impact not only within the walls of academia, but also in the daily life of lay users of such technology that originated from his research. An especially amazing aspect of the temporal span of his scholarly work is that half a century after his influential research from the early 1960s, a project in which he is currently involved is proving to be a sensation, as will become apparent from what follows. Yaacov Choueka began his research career in the theory of computer science, dealing with basic questions regarding the relation between mathematical logic and automata theory. From formal languages, Yaacov moved to natural languages. He was a founder of natural-language processing in Israel, developing numerous tools for Hebrew. He is best known for his primary role, together with Aviezri Fraenkel, in the development of the Responsa Project, one of the earliest fulltext retrieval systems in the world. More recently, he has headed the Friedberg Genizah Project, which is bringing the treasures of the Cairo Genizah into the Digital Age. This first part of the three-volume set covers a range of topics in computer science. The papers are grouped in topical sections on: the jubilaris: Yaacov and his oeuvre; theory of computation; science computing and tools for engineering; information retrieval.

Language, Culture, Computation: Computing for the Humanities, Law, and Narratives

Download Language, Culture, Computation: Computing for the Humanities, Law, and Narratives PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3642453244
Total Pages : 765 pages
Book Rating : 4.6/5 (424 download)

DOWNLOAD NOW!


Book Synopsis Language, Culture, Computation: Computing for the Humanities, Law, and Narratives by : Nachum Dershowitz

Download or read book Language, Culture, Computation: Computing for the Humanities, Law, and Narratives written by Nachum Dershowitz and published by Springer. This book was released on 2014-12-04 with total page 765 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, several years in gestation, honours this outstanding Israeli computer scientist and is dedicated to him and to his scientific endeavours. Yaacov's research has had a major impact not only within the walls of academia, but also in the daily life of lay users of such technology that originated from his research. An especially amazing aspect of the temporal span of his scholarly work is that half a century after his influential research from the early 1960s, a project in which he is currently involved is proving to be a sensation, as will become apparent from what follows. Yaacov Choueka began his research career in the theory of computer science, dealing with basic questions regarding the relation between mathematical logic and automata theory. From formal languages, Yaacov moved to natural languages. He was a founder of natural-language processing in Israel, developing numerous tools for Hebrew. He is best known for his primary role, together with Aviezri Fraenkel, in the development of the Responsa Project, one of the earliest fulltext retrieval systems in the world. More recently, he has headed the Friedberg Genizah Project, which is bringing the treasures of the Cairo Genizah into the Digital Age. This second part of the three-volume set covers a range of topics related to the application of information technology in humanities, law, and narratives. The papers are grouped in topical sections on: humanities computing; narratives and their formal representation; history of ideas: the numerate disciplines; law, computer law, and legal computing.

Language, Culture, Computation: Computational Linguistics and Linguistics

Download Language, Culture, Computation: Computational Linguistics and Linguistics PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3642453279
Total Pages : 882 pages
Book Rating : 4.6/5 (424 download)

DOWNLOAD NOW!


Book Synopsis Language, Culture, Computation: Computational Linguistics and Linguistics by : Nachum Dershowitz

Download or read book Language, Culture, Computation: Computational Linguistics and Linguistics written by Nachum Dershowitz and published by Springer. This book was released on 2014-12-05 with total page 882 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, several years in gestation, honours this outstanding Israeli computer scientist and is dedicated to him and to his scientific endeavours. Yaacov's research has had a major impact not only within the walls of academia, but also in the daily life of lay users of such technology that originated from his research. An especially amazing aspect of the temporal span of his scholarly work is that half a century after his influential research from the early 1960s, a project in which he is currently involved is proving to be a sensation, as will become apparent from what follows. Yaacov Choueka began his research career in the theory of computer science, dealing with basic questions regarding the relation between mathematical logic and automata theory. From formal languages, Yaacov moved to natural languages. He was a founder of natural-language processing in Israel, developing numerous tools for Hebrew. He is best known for his primary role, together with Aviezri Fraenkel, in the development of the Responsa Project, one of the earliest fulltext retrieval systems in the world. More recently, he has headed the Friedberg Genizah Project, which is bringing the treasures of the Cairo Genizah into the Digital Age. This third part of the three-volume set covers a range of topics related to language, ranging from linguistics to applications of computation to language, using linguistic tools. The papers are grouped in topical sections on: natural language processing; representing the lexicon; and neologisation.

Computer Science – Theory and Applications

Download Computer Science – Theory and Applications PDF Online Free

Author :
Publisher : Springer Nature
ISBN 13 : 3030794164
Total Pages : 485 pages
Book Rating : 4.0/5 (37 download)

DOWNLOAD NOW!


Book Synopsis Computer Science – Theory and Applications by : Rahul Santhanam

Download or read book Computer Science – Theory and Applications written by Rahul Santhanam and published by Springer Nature. This book was released on 2021-06-16 with total page 485 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 16th International Computer Science Symposium in Russia, CSR 2021, held in Sochi, Russia, in June/July 2021. The 28 full papers were carefully reviewed and selected from 68 submissions. The papers cover a broad range of topics, such as formal languages and automata theory, geometry and discrete structures; theory and algorithms for application domains and much more.

A Time to Gather

Download A Time to Gather PDF Online Free

Author :
Publisher : Oxford University Press
ISBN 13 : 019756352X
Total Pages : 281 pages
Book Rating : 4.1/5 (975 download)

DOWNLOAD NOW!


Book Synopsis A Time to Gather by : Jason Lustig

Download or read book A Time to Gather written by Jason Lustig and published by Oxford University Press. This book was released on 2021-12-14 with total page 281 pages. Available in PDF, EPUB and Kindle. Book excerpt: How do people link the past to the present, marking continuity in the face of the fundamental discontinuities of history? A Time to Gather argues that historical records took on potent value in modern Jewish life as both sources of history and anchors of memory because archives presented oneway of transmitting Jewish culture and history from one generation to another as well as making claims of access to an "authentic" Jewish culture. Indeed, both before the Holocaust and in its aftermath, Jewish leaders around the world felt a shared imperative to muster the forces and resources ofJewish life and culture. It was a "time to gather," a feverish era of collecting and conflict in which archive making was both a response to the ruptures of modernity and a mechanism for communities to express their cultural hegemony.Jason Lustig explores these themes across the arc of the twentieth century by excavating three distinctive archival traditions, that of the Cairo Genizah (and its transfer to Cambridge in the 1890s), folkloristic efforts like those of YIVO, and the Gesamtarchiv der deutschen Juden (Central or TotalArchive of the German Jews) formed in Berlin in 1905. Lustig presents archive-making as an organizing principle of twentieth-century Jewish culture, as a metaphor of great power and broad symbolic meaning with the dispersion and gathering of documents falling in the context of the Jews' longdiasporic history. In this light, creating archives was just as much about the future as it was about the past.

Computational Processing of the Portuguese Language

Download Computational Processing of the Portuguese Language PDF Online Free

Author :
Publisher : Springer Nature
ISBN 13 : 3030415058
Total Pages : 432 pages
Book Rating : 4.0/5 (34 download)

DOWNLOAD NOW!


Book Synopsis Computational Processing of the Portuguese Language by : Paulo Quaresma

Download or read book Computational Processing of the Portuguese Language written by Paulo Quaresma and published by Springer Nature. This book was released on 2020-02-24 with total page 432 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 14th International Conference on Computational Processing of the Portuguese Language, PROPOR 2020, held in Evora, Portugal, in March 2020. The 36 full papers presented together with 5 short papers were carefully reviewed and selected from 70 submissions. They are grouped in topical sections on speech processing; resources and evaluation; natural language processing applications; semantics; natural language processing tasks; and multilinguality.

LATIN 2018: Theoretical Informatics

Download LATIN 2018: Theoretical Informatics PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3319774042
Total Pages : 904 pages
Book Rating : 4.3/5 (197 download)

DOWNLOAD NOW!


Book Synopsis LATIN 2018: Theoretical Informatics by : Michael A. Bender

Download or read book LATIN 2018: Theoretical Informatics written by Michael A. Bender and published by Springer. This book was released on 2018-04-05 with total page 904 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 13th Latin American Symposium on Theoretical Informatics, LATIN 2018, held in Buenos Aires, Argentina, in April 2018. The 63 papers presented in this volume were carefully reviewed and selected from 161 submissions. The Symposium is devoted to different areas in theoretical computer science, including, but not limited to: algorithms (approximation, online, randomized, algorithmic game theory, etc.), analytic combinatorics and analysis of algorithms, automata theory and formal languages, coding theory and data compression, combinatorial algorithms, combinatorial optimization, combinatorics and graph theory, complexity theory, computational algebra, computational biology, computational geometry, computational number theory, cryptology, databases and information retrieval, data structures, formal methods and security, Internet and the web, parallel and distributed computing, pattern matching, programming language theory, and random structures.

Artificial Life and Intelligent Agents

Download Artificial Life and Intelligent Agents PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3319904183
Total Pages : 149 pages
Book Rating : 4.3/5 (199 download)

DOWNLOAD NOW!


Book Synopsis Artificial Life and Intelligent Agents by : Peter R. Lewis

Download or read book Artificial Life and Intelligent Agents written by Peter R. Lewis and published by Springer. This book was released on 2018-04-18 with total page 149 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the Second International Symposium on Artificial Life and Intelligent Agents, ALIA 2016, held in Birmingham, UK, in June 2016. The 8 revised full papers and three revised short papers presented together with two demo papers were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modelling; robotics; bio-inspired problem solving; human-like systems; applications and games.

The Cultural Logic of Computation

Download The Cultural Logic of Computation PDF Online Free

Author :
Publisher : Harvard University Press
ISBN 13 : 0674263898
Total Pages : 268 pages
Book Rating : 4.6/5 (742 download)

DOWNLOAD NOW!


Book Synopsis The Cultural Logic of Computation by : David Golumbia

Download or read book The Cultural Logic of Computation written by David Golumbia and published by Harvard University Press. This book was released on 2009-04-30 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: Advocates of computers make sweeping claims for their inherently transformative power: new and different from previous technologies, they are sure to resolve many of our existing social problems, and perhaps even to cause a positive political revolution. In The Cultural Logic of Computation, David Golumbia, who worked as a software designer for more than ten years, confronts this orthodoxy, arguing instead that computers are cultural “all the way down”—that there is no part of the apparent technological transformation that is not shaped by historical and cultural processes, or that escapes existing cultural politics. From the perspective of transnational corporations and governments, computers benefit existing power much more fully than they provide means to distribute or contest it. Despite this, our thinking about computers has developed into a nearly invisible ideology Golumbia dubs “computationalism”—an ideology that informs our thinking not just about computers, but about economic and social trends as sweeping as globalization. Driven by a programmer’s knowledge of computers as well as by a deep engagement with contemporary literary and cultural studies and poststructuralist theory, The Cultural Logic of Computation provides a needed corrective to the uncritical enthusiasm for computers common today in many parts of our culture.

The Art of Interpretation in the Age of Computation

Download The Art of Interpretation in the Age of Computation PDF Online Free

Author :
Publisher : Oxford University Press
ISBN 13 : 0190636556
Total Pages : 231 pages
Book Rating : 4.1/5 (96 download)

DOWNLOAD NOW!


Book Synopsis The Art of Interpretation in the Age of Computation by : Paul Kockelman

Download or read book The Art of Interpretation in the Age of Computation written by Paul Kockelman and published by Oxford University Press. This book was released on 2017-06-19 with total page 231 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is about media, mediation, and meaning. The Art of Interpretation focuses on a set of interrelated processes whereby ostensibly human-specific modes of meaning become automated by machines, formatted by protocols, and networked by infrastructures. That is, as computation replaces interpretation, information effaces meaning, and infrastructure displaces interaction. Or so it seems. Paul Kockelman asks: What does it take to automate, format, and network meaningful practices? What difference does this make for those who engage in such practices? And what is at stake? Reciprocally: How can we better understand computational processes from the standpoint of meaningful practices? How can we leverage such processes to better understand such practices? And what lies in wait? In answering these questions, Kockelman stays very close to fundamental concerns of computer science that emerged in the first half of the twentieth-century. Rather than foreground the latest application, technology or interface, he accounts for processes that underlie each and every digital technology deployed today. In a novel method, The Art of Interpretation leverages key ideas of American pragmatism-a philosophical stance that understands the world, and our relation to it, in a way that avoids many of the conundrums and criticisms of conventional twentieth-century social theory. It puts this stance in dialogue with certain currents, and key texts, in anthropology and linguistics, science and technology studies, critical theory, computer science, and media studies.

Unity of Logic and Computation

Download Unity of Logic and Computation PDF Online Free

Author :
Publisher : Springer Nature
ISBN 13 : 3031369785
Total Pages : 327 pages
Book Rating : 4.0/5 (313 download)

DOWNLOAD NOW!


Book Synopsis Unity of Logic and Computation by : Gianluca Della Vedova

Download or read book Unity of Logic and Computation written by Gianluca Della Vedova and published by Springer Nature. This book was released on 2023-07-18 with total page 327 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24–28, 2023. The 23 full papers and 13 invited papers included in this book were carefully reviewed and selected from 51 submissions. They were organized in topical sections as follows: ​Degree theory; Proof Theory; Computability; Algorithmic Randomness; Computational Complexity; Interactive proofs; and Combinatorial approaches.

Computer Applications for Handling Legal Evidence, Police Investigation and Case Argumentation

Download Computer Applications for Handling Legal Evidence, Police Investigation and Case Argumentation PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 904818990X
Total Pages : 1375 pages
Book Rating : 4.0/5 (481 download)

DOWNLOAD NOW!


Book Synopsis Computer Applications for Handling Legal Evidence, Police Investigation and Case Argumentation by : Ephraim Nissan

Download or read book Computer Applications for Handling Legal Evidence, Police Investigation and Case Argumentation written by Ephraim Nissan and published by Springer Science & Business Media. This book was released on 2012-06-15 with total page 1375 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides an overview of computer techniques and tools — especially from artificial intelligence (AI) — for handling legal evidence, police intelligence, crime analysis or detection, and forensic testing, with a sustained discussion of methods for the modelling of reasoning and forming an opinion about the evidence, methods for the modelling of argumentation, and computational approaches to dealing with legal, or any, narratives. By the 2000s, the modelling of reasoning on legal evidence has emerged as a significant area within the well-established field of AI & Law. An overview such as this one has never been attempted before. It offers a panoramic view of topics, techniques and tools. It is more than a survey, as topic after topic, the reader can get a closer view of approaches and techniques. One aim is to introduce practitioners of AI to the modelling legal evidence. Another aim is to introduce legal professionals, as well as the more technically oriented among law enforcement professionals, or researchers in police science, to information technology resources from which their own respective field stands to benefit. Computer scientists must not blunder into design choices resulting in tools objectionable for legal professionals, so it is important to be aware of ongoing controversies. A survey is provided of argumentation tools or methods for reasoning about the evidence. Another class of tools considered here is intended to assist in organisational aspects of managing of the evidence. Moreover, tools appropriate for crime detection, intelligence, and investigation include tools based on link analysis and data mining. Concepts and techniques are introduced, along with case studies. So are areas in the forensic sciences. Special chapters are devoted to VIRTOPSY (a procedure for legal medicine) and FLINTS (a tool for the police). This is both an introductory book (possibly a textbook), and a reference for specialists from various quarters.

Knowledge Management, Innovation, and Entrepreneurship in a Changing World

Download Knowledge Management, Innovation, and Entrepreneurship in a Changing World PDF Online Free

Author :
Publisher : IGI Global
ISBN 13 : 1799823571
Total Pages : 463 pages
Book Rating : 4.7/5 (998 download)

DOWNLOAD NOW!


Book Synopsis Knowledge Management, Innovation, and Entrepreneurship in a Changing World by : Jennex, Murray Eugene

Download or read book Knowledge Management, Innovation, and Entrepreneurship in a Changing World written by Jennex, Murray Eugene and published by IGI Global. This book was released on 2020-03-27 with total page 463 pages. Available in PDF, EPUB and Kindle. Book excerpt: In today’s world of business, gaining an advantage of competitors is a focal point for organizations and a driving force in the economy. New practices are being studied and implemented constantly by rivaling companies. Many industries have begun putting emphasis on intensive knowledge practices, with the belief that implementing cutting-edge learning practices will fuel research and innovation within the company. Understanding this dynamic method of management is critical for managers and executives who wish to propel the success of their organizations. Knowledge Management, Innovation, and Entrepreneurship in a Changing World is a collection of pioneering research on the methods of gaining organizational advantages based on knowledge innovation and management. While highlighting topics including human-robot teaming, organizational learning, and e-collaboration, this book will explore the sustainable links between knowledge management influences and organizational capability. This book is ideally designed for managers, strategists, economists, policymakers, entrepreneurs, business professionals, researchers, students, and academics seeking research on recent trends in innovative economics and business technologies.

A Brief History of Computing

Download A Brief History of Computing PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 1848000847
Total Pages : 252 pages
Book Rating : 4.8/5 (48 download)

DOWNLOAD NOW!


Book Synopsis A Brief History of Computing by : Gerard O'Regan

Download or read book A Brief History of Computing written by Gerard O'Regan and published by Springer Science & Business Media. This book was released on 2008-02-01 with total page 252 pages. Available in PDF, EPUB and Kindle. Book excerpt: This comprehensive book provides an introduction into the key topics in the history of computing in an easy-to-follow and concise manner. It does not require studies in computer science in order to be understood and appreciated. The book covers significant areas and events in the field from the beginnings of computation in 3000B.C. through to the present day. Helpful pedagogical elements such as exercises and chapter summaries are included. Focusing on the fundamental areas in the computing field, this clearly written and broad-ranging text will catch the attention and greatly benefit computer science students.

Language Technology for Cultural Heritage

Download Language Technology for Cultural Heritage PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 3642202276
Total Pages : 232 pages
Book Rating : 4.6/5 (422 download)

DOWNLOAD NOW!


Book Synopsis Language Technology for Cultural Heritage by : Caroline Sporleder

Download or read book Language Technology for Cultural Heritage written by Caroline Sporleder and published by Springer Science & Business Media. This book was released on 2011-07-07 with total page 232 pages. Available in PDF, EPUB and Kindle. Book excerpt: The digital age has had a profound effect on our cultural heritage and the academic research that studies it. Staggering amounts of objects, many of them of a textual nature, are being digitised to make them more readily accessible to both experts and laypersons. Besides a vast potential for more effective and efficient preservation, management, and presentation, digitisation offers opportunities to work with cultural heritage data in ways that were never feasible or even imagined. To explore and exploit these possibilities, an interdisciplinary approach is needed, bringing together experts from cultural heritage, the social sciences and humanities on the one hand, and information technology on the other. Due to a prevalence of textual data in these domains, language technology has a crucial role to play in this endeavour. Language technology can break through the "Google barrier" by offering the potential to analyse texts at advanced levels, extracting information and knowledge at the level of the humanities or social sciences researcher, who wants to know about the who, what, where, and when, but also the how and the why. At the same time cultural heritage data poses considerable challenges for existing language technology: technology aimed at "generic" language has to face such disparate problems as historical language variation, OCR digitisation errors, and near-extinct academic expertise. This book is primarily intended for researchers in information technology and language processing who would like to receive a state-of-the-art overview of the whole breadth of the new and vibrant field of language technology for cultural heritage and its associated academic research in the humanities and social sciences. Researchers working in the target domains of cultural heritage, the social sciences and humanities will also find this book useful, as it provides an overview of how language technology can help them with their information needs. The book covers applications ranging from pre-processing and data cleaning, to the adaptation and compilation of linguistic resources, to personalisation, narrative analysis, visualisation and retrieval.

Computation and the Humanities

Download Computation and the Humanities PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3319201700
Total Pages : 285 pages
Book Rating : 4.3/5 (192 download)

DOWNLOAD NOW!


Book Synopsis Computation and the Humanities by : Julianne Nyhan

Download or read book Computation and the Humanities written by Julianne Nyhan and published by Springer. This book was released on 2016-11-23 with total page 285 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book addresses the application of computing to cultural heritage and the discipline of Digital Humanities that formed around it. Digital Humanities research is transforming how the Human record can be transmitted, shaped, understood, questioned and imagined and it has been ongoing for more than 70 years. However, we have no comprehensive histories of its research trajectory or its disciplinary development. The authors make a first contribution towards remedying this by uncovering, documenting, and analysing a number of the social, intellectual and creative processes that helped to shape this research from the 1950s until the present day. By taking an oral history approach, this book explores questions like, among others, researchers’ earliest memories of encountering computers and the factors that subsequently prompted them to use the computer in Humanities research. Computation and the Humanities will be an essential read for cultural and computing historians, digital humanists and those interested in developments like the digitisation of cultural heritage and artefacts. This book is open access under a CC BY-NC 2.5 license

Mathematics and Computation

Download Mathematics and Computation PDF Online Free

Author :
Publisher : Princeton University Press
ISBN 13 : 0691189137
Total Pages : 434 pages
Book Rating : 4.6/5 (911 download)

DOWNLOAD NOW!


Book Synopsis Mathematics and Computation by : Avi Wigderson

Download or read book Mathematics and Computation written by Avi Wigderson and published by Princeton University Press. This book was released on 2019-10-29 with total page 434 pages. Available in PDF, EPUB and Kindle. Book excerpt: An introduction to computational complexity theory, its connections and interactions with mathematics, and its central role in the natural and social sciences, technology, and philosophy Mathematics and Computation provides a broad, conceptual overview of computational complexity theory—the mathematical study of efficient computation. With important practical applications to computer science and industry, computational complexity theory has evolved into a highly interdisciplinary field, with strong links to most mathematical areas and to a growing number of scientific endeavors. Avi Wigderson takes a sweeping survey of complexity theory, emphasizing the field’s insights and challenges. He explains the ideas and motivations leading to key models, notions, and results. In particular, he looks at algorithms and complexity, computations and proofs, randomness and interaction, quantum and arithmetic computation, and cryptography and learning, all as parts of a cohesive whole with numerous cross-influences. Wigderson illustrates the immense breadth of the field, its beauty and richness, and its diverse and growing interactions with other areas of mathematics. He ends with a comprehensive look at the theory of computation, its methodology and aspirations, and the unique and fundamental ways in which it has shaped and will further shape science, technology, and society. For further reading, an extensive bibliography is provided for all topics covered. Mathematics and Computation is useful for undergraduate and graduate students in mathematics, computer science, and related fields, as well as researchers and teachers in these fields. Many parts require little background, and serve as an invitation to newcomers seeking an introduction to the theory of computation. Comprehensive coverage of computational complexity theory, and beyond High-level, intuitive exposition, which brings conceptual clarity to this central and dynamic scientific discipline Historical accounts of the evolution and motivations of central concepts and models A broad view of the theory of computation's influence on science, technology, and society Extensive bibliography