Computer Technology and Computer Programming

This textbook provides in-depth coverage of the fundamentals of the C and C++ programming languages and the object-oriented programming paradigm. It follows an example-driven approach to facilitate understanding of theoretical concepts. Essential concepts, including functions, arrays, pointers and inheritance, are explained, while complex topics, such as dynamic memory allocation, object slicing, vtables, and upcasting and downcasting, are examined in detail. Concepts are explained with the help of line diagrams, student-teacher conversations and flow charts, while other useful features, such as quiz questions and points to remember, are included. Solved examples, review questions and useful case studies are interspersed throughout the text, and explanations of the logic used to implement particular functionality is also provided. This book will be useful for undergraduate students of computer science and engineering, and information technology.

This new resource is written to follow the updated IGSCE Computer Science syllabus 0478 with examination in June and November 2016.

Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of nominal sets. In Part II, the author surveys some of the applications that have developed in programming language semantics (both operational and denotational), functional programming and logic programming. As the first book to give a detailed account of the theory of nominal sets, it will be welcomed by researchers and graduate students in theoretical computer science.

The multidisciplinary field of quantum computing strives to exploit some of the uncanny aspects of quantum mechanics to expand our computational horizons. Quantum Computing for Computer Scientists takes readers on a tour of this fascinating area of cutting-edge research. Written in an accessible yet rigorous fashion, this book employs ideas and techniques familiar to every student of computer science. The reader is not expected to have any advanced mathematics or physics background. After presenting the necessary prerequisites, the material is organized to look at different aspects of quantum computing from the specific standpoint of computer science. There are chapters on computer architecture, algorithms, programming languages, theoretical computer science, cryptography, information theory, and hardware. The text has step-by-step examples, more than two hundred exercises with solutions, and programming drills that bring the ideas of quantum computing alive for today's computer scienc

Computers are developing into a powerful medium integrating film, pictures, text and sound, and the use of computers for communication and information is rapidly expanding. The Computer as Medium brings insights from art, literature and theatre to bear on computers and discusses the communicative and organizational nature of computer networks within a historical perspective. The book consists of three parts. The first part characterizes the semiotic nature of computers and discusses semiotic approaches to programming and interface design. The second part discusses narrative and aesthetic issues of interactive fiction, information systems and hypertext. The final part contains papers on the cultural, organizational and historical impact of computers.The broad and rich coverage of this book will appeal to scholars in cognitive science, computer science, linguistics, semiotics, media studies and mass communications, cultural studies and education.

The theory of probability is a powerful tool that helps electrical and computer engineers to explain, model, analyze, and design the technology they develop. The text begins at the advanced undergraduate level, assuming only a modest knowledge of probability, and progresses through more complex topics mastered at graduate level. The first five chapters cover the basics of probability and both discrete and continuous random variables. The later chapters have a more specialized coverage, including random vectors, Gaussian random vectors, random processes, Markov Chains, and convergence. Describing tools and results that are used extensively in the field, this is more than a textbook; it is also a reference for researchers working in communications, signal processing, and computer network traffic analysis. With over 300 worked examples, some 800 homework problems, and sections for exam preparation, this is an essential companion for advanced undergraduate and graduate students. Further re

Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area.

Computers are developing into a powerful medium integrating film, pictures, text and sound, and the use of computers for communication and information is rapidly expanding. The Computer as Medium brings insights from art, literature and theatre to bear on computers and discusses the communicative and organizational nature of computer networks within a historical perspective. The book consists of three parts. The first part characterizes the semiotic nature of computers and discusses semiotic approaches to programming and interface design. The second part discusses narrative and aesthetic issues of interactive fiction, information systems and hypertext. The final part contains papers on the cultural, organizational and historical impact of computers.The broad and rich coverage of this book will appeal to scholars in cognitive science, computer science, linguistics, semiotics, media studies and mass communications, cultural studies and education.

This textbook provides a comprehensive overview of the human-computer interface in clear, non-technical language, making it an ideal introduction for students of both psychology and computer science. Covering the past, present, and future developments in technology and psychology, it combines cutting-edge academic research with engaging illustrations and examples that show students how the material relates to their lives. Topics addressed include: human factors of input devices, and the basics of sensation and perception; memory and cognitive issues of users navigating their way through interfaces; communication via programming languages and natural speech interaction; cyberpathologies such as techno-stress and Internet addiction disorders; and challenges surrounding automation and artificial intelligence. This thoroughly updated second edition features new chapters on virtual reality and cybersecurity; expanded coverage of social media, mobile computing, e-learning, and video games; a

This textbook provides a comprehensive overview of the human-computer interface in clear, non-technical language, making it an ideal introduction for students of both psychology and computer science. Covering the past, present, and future developments in technology and psychology, it combines cutting-edge academic research with engaging illustrations and examples that show students how the material relates to their lives. Topics addressed include: human factors of input devices, and the basics of sensation and perception; memory and cognitive issues of users navigating their way through interfaces; communication via programming languages and natural speech interaction; cyberpathologies such as techno-stress and Internet addiction disorders; and challenges surrounding automation and artificial intelligence. This thoroughly updated second edition features new chapters on virtual reality and cybersecurity; expanded coverage of social media, mobile computing, e-learning, and video games; a

First published in 1996, this collection of essays by distinguished computer scientists celebrates the achievements of research and speculates about the unsolved problems in computer science that require future investigation. Since the subject stretches from technology in the field, through engineering design to foundations in mathematics, there is a wide variety of concerns and approaches among the authors. The book's purpose is to show that long-term research in computer science is crucial and that it must not be driven solely by commercial considerations. The authors do not shirk the difficult aspects of their topics, but try to expose them in the simplest terms possible without diluting them, in order that the reader can understand the issues involved. Thus the book also represents a broad overview of much of the state of knowledge and future expectations of computer science, illustrating that it is much more than a technology and it is a fully fledged and growing intellectual disc

Human-Computer Interaction draws on the fields of computer science, psychology, cognitive science, and organisational and social sciences in order to understand how people use and experience interactive technology. Until now, researchers have been forced to return to the individual subjects to learn about research methods and how to adapt them to the particular challenges of HCI. This book provides a single resource through which a range of commonly used research methods in HCI are introduced. Chapters are authored by internationally leading HCI researchers who use examples from their own work to illustrate how the methods apply in an HCI context. Each chapter also contains key references to help researchers find out more about each method as it has been used in HCI. Topics covered include experimental design, use of eyetracking, qualitative research methods, cognitive modelling, how to develop new methodologies and writing up your research.

First published in 1996, this collection of essays by distinguished computer scientists celebrates the achievements of research and speculates about the unsolved problems in computer science that require future investigation. Since the subject stretches from technology in the field, through engineering design to foundations in mathematics, there is a wide variety of concerns and approaches among the authors. The book's purpose is to show that long-term research in computer science is crucial and that it must not be driven solely by commercial considerations. The authors do not shirk the difficult aspects of their topics, but try to expose them in the simplest terms possible without diluting them, in order that the reader can understand the issues involved. Thus the book also represents a broad overview of much of the state of knowledge and future expectations of computer science, illustrating that it is much more than a technology and it is a fully fledged and growing intellectual disc

'Phase-only Fresnel holograms,' which can be displayed on a single SLM without the need for lenses or complicated optical accessories, substantially simplifies 3-D holographic display systems. Exploring essential concepts, theories, and formulations of these phase-only Fresnel holograms, this book provides comprehensive coverage of modern methods for generating such holograms, which pave the way for commercial products such as compact holographic projectors, heads-up displays, and data security enhancement. Relevant MATLAB codes are provided for readers to implement and evaluate the theories and formulations of different methods, and can be used as a quick start framework for further research and development. This is a crucial and up-to-date treatment of phase-only Fresnel holograms for students and researchers in electrical and electronic engineering, computer science/engineering, applied physics, information technology, and multimedia technology, as well as engineers and scientists

Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to Kahn's achievements and reflects the broad range of subjects to which he contributed through his scientific research and his work at INRIA, the French National Institute for Research in Computer Science and Control. The authors also reflect upon the future of computing: how it will develop as a subject in itself and how it will affect other disciplines, from biology and medical informatics, to web and networks in general. Its breadth of coverage, topicality, originality and depth of contribution, make this book a stimulating read for all those interested in the future development of information technology.

A no-nonsense introduction to software design using the Python programming language. Written for people with no programming experience, this book starts with the most basic concepts and gradually adds new material. Some of the ideas students find most challenging, like recursion and object-oriented programming, are divided into a sequence of smaller steps and introduced over the course of several chapters. The focus is on the programming process, with special emphasis on debugging. The book includes a wide range of exercises, from short examples to substantial projects, so that students have ample opportunity to practise each new concept. Exercise solutions and code examples are available from thinkpython.com, along with Swampy, a suite of Python programs that is used in some of the exercises.

A no-nonsense introduction to software design using the Python programming language. Written for people with no programming experience, this book starts with the most basic concepts and gradually adds new material. Some of the ideas students find most challenging, like recursion and object-oriented programming, are divided into a sequence of smaller steps and introduced over the course of several chapters. The focus is on the programming process, with special emphasis on debugging. The book includes a wide range of exercises, from short examples to substantial projects, so that students have ample opportunity to practise each new concept. Exercise solutions and code examples are available from thinkpython.com, along with Swampy, a suite of Python programs that is used in some of the exercises.

Computer scientists often need to learn new programming languages quickly. The best way to prepare for this is to understand the foundational principles that underlie even the most complicated industrial languages. This text for an undergraduate programming languages course distills great languages and their design principles down to easy-to-learn 'bridge' languages implemented by interpreters whose key parts are explained in the text. The book goes deep into the roots of both functional and object-oriented programming, and it shows how types and modules, including generics/polymorphism, contribute to effective programming. The book is not just about programming languages; it is also about programming. Through concepts, examples, and more than 300 practice exercises that exploit the interpreter, students learn not only what programming-language features are but also how to do things with them. Substantial implementation projects include Milner's type inference, both copying and mark-an

From the origins of writing to today's computer-mediated communication, material technologies shape how we read and write, how we construe and share knowledge, and ultimately how we understand ourselves in relation to the world. However, communication technologies are themselves designed in particular social and cultural contexts and their use is adapted in creative ways by individuals. In this book, Richard Kern explores how technology matters to language and the ways in which we use it. Kern reveals how material, social and individual resources interact in the design of textual meaning, and how that interaction plays out across contexts of communication, different situations of technological mediation, and different moments in time. Showing how people have adapted visual forms to various media as well as to social needs, this study culminates in five fundamental principles to guide language and literacy education in a period of rapid technological and social change.

Providing in-depth coverage, this book covers the fundamentals of computation and programming in C language. Essential concepts including operators and expressions, input and output statements, loop statements, arrays, pointers, functions, strings and preprocessors are described in a lucid manner. A unique approach - 'Learn by quiz' - features questions based on confidence-based learning methodology. It helps the reader to identify the right answer with adequate explanation and reasoning as to why the other options are incorrect. Computer programs and review questions are interspersed throughout the text. The book is appropriate for undergraduate students of engineering, computer science and information technology. It can be used for self-study and assists in the understanding of theoretical concepts and their applications.

From the origins of writing to today's computer-mediated communication, material technologies shape how we read and write, how we construe and share knowledge, and ultimately how we understand ourselves in relation to the world. However, communication technologies are themselves designed in particular social and cultural contexts and their use is adapted in creative ways by individuals. In this book, Richard Kern explores how technology matters to language and the ways in which we use it. Kern reveals how material, social and individual resources interact in the design of textual meaning, and how that interaction plays out across contexts of communication, different situations of technological mediation, and different moments in time. Showing how people have adapted visual forms to various media as well as to social needs, this study culminates in five fundamental principles to guide language and literacy education in a period of rapid technological and social change.

Do you have a biological question that could be readily answered by computational techniques, but little experience in programming? Do you want to learn more about the core techniques used in computational biology and bioinformatics? Written in an accessible style, this guide provides a foundation for both newcomers to computer programming and those interested in learning more about computational biology. The chapters guide the reader through: a complete beginners' course to programming in Python, with an introduction to computing jargon; descriptions of core bioinformatics methods with working Python examples; scientific computing techniques, including image analysis, statistics and machine learning. This book also functions as a language reference written in straightforward English, covering the most common Python language elements and a glossary of computing and biological terms. This title will teach undergraduates, postgraduates and professionals working in the life sciences how t

Tanaka-Ishii presents a semiotic analysis of computer programs along three axes: models of signs, kinds of signs, and systems of signs. Because computer programs are well defined and rigid, applying semiotic theories to them will help to reorganise the semiotic theories themselves. Semiotic discussion of programming theory can provide possible explanations for why programming has developed as it has and how computation is fundamentally related to human semiosis. This book considers the question of what computers can and cannot do, by analysing how computer sign systems compare to those of humans. A key concept throughout is reflexivity – the capability of a system or function to reinterpret what it has produced by itself. Sign systems are reflexive by nature, and humans know how to take advantage of this characteristic but have not yet fully implemented it into computer systems. The limitations, therefore, of current computers can be ascribed to insufficient reflexivity.

Tanaka-Ishii presents a semiotic analysis of computer programs along three axes: models of signs, kinds of signs, and systems of signs. Because computer programs are well defined and rigid, applying semiotic theories to them will help to reorganise the semiotic theories themselves. Semiotic discussion of programming theory can provide possible explanations for why programming has developed as it has and how computation is fundamentally related to human semiosis. This book considers the question of what computers can and cannot do, by analysing how computer sign systems compare to those of humans. A key concept throughout is reflexivity – the capability of a system or function to reinterpret what it has produced by itself. Sign systems are reflexive by nature, and humans know how to take advantage of this characteristic but have not yet fully implemented it into computer systems. The limitations, therefore, of current computers can be ascribed to insufficient reflexivity.

Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated. The main purpose of the book is to provide computer science students and researchers with a firm background in lambda-calculus and combinators and show the applicabillity of these theories to functional programming. The presentation of the material is self-contained. It can be used as a primary text for a course on functional programming. It can also be used as a supplementary text for courses on the structure and implementation of programming languages, theory of computing, or semantics of programming languages.

This textbook is designed as a first book on concurrent programming for computer science undergraduates, and provides a comprehensive introduction to the problems of concurrency. Concurrency is of vital importance in many areas of computer science, particularly in operating systems. It is also increasingly being taught in undergraduate courses. The book builds on the student's familiarity with sequential programming in a high level language, which will make it very accessible to computer science students. The book is concerned mainly with the high level aspects of concurrency, which will be equally applicable to traditional time sliced or more recent truly parallel systems.

Games Programming has been written for the personal computer owner who is setting out to write fams programs. It charts the territory which lies beyond the simplistic arcade game and which leads to the more intellectually exciting game moderators and learning programs. This is not another book of program listings, nor does it present game algorithms in isolation from the computer methods which make them work. The aim is to equip the reader with an awareness of modern techniques of structured programming, a robust attitude to computer languages, and a source of valuable 'know how'.

This book answers one of the most critical questions of our time, does the vast connectivity afforded by mobile and social media lead to more personal connection with one another? It offers an evidence-based account of the role of technology in close relationships that confronts such pressing questions as where face-to-face communication belongs in this digital age, whether social media is harmful to our well-being, and how online communication spills-over into our offline communication and relationships. Each chapter explores the positive and negative influences of media on relationships, coalescing into a balanced assessment of how technological advancement has altered our connections with each other. By zeroing in on communication with the most important people in our lives and tracing the changes in computer-mediated communication over time, Relating Through Technology focuses the conversation about media on its use in our everyday lives and relationships.

Understand common scheduling as well as other advanced operational problems with this valuable reference from a recognized leader in the field. Beginning with basic principles and an overview of linear and mixed-integer programming, this unified treatment introduces the fundamental ideas underpinning most modeling approaches, and will allow you to easily develop your own models. With more than 150 figures, the basic concepts and ideas behind the development of different approaches are clearly illustrated. Addresses a wide range of problems arising in diverse industrial sectors, from oil and gas to fine chemicals, and from commodity chemicals to food manufacturing. A perfect resource for engineering and computer science students, researchers working in the area, and industrial practitioners.

Essentials of Programming in Mathematica® provides an introduction suitable for readers with little or no background in the language as well as for those with some experience using programs such as C, Java, or Perl. The author, an established authority on Mathematica® programming, has written an example-driven text that covers the language from first principles, as well as including material from natural language processing, bioinformatics, graphs and networks, signal analysis, geometry, computer science, and many other applied areas. The book is appropriate for self-study or as a text for a course in programming in computational science. Readers will benefit from the author's tips, which provide insight and suggestions on small and large points. He also provides more than 350 exercises from novice through to advanced level with all of the solutions available online.

With the arrival of genomics and genome sequencing projects, biology has been transformed into an incredibly data-rich science. The vast amount of information generated has made computational analysis critical and has increased demand for skilled bioinformaticians. Designed for biologists without previous programming experience, this textbook provides a hands-on introduction to Unix, Perl and other tools used in sequence bioinformatics. Relevant biological topics are used throughout the book and are combined with practical bioinformatics examples, leading students through the process from biological problem to computational solution. All of the Perl scripts, sequence and database files used in the book are available for download at the accompanying website, allowing the reader to easily follow each example using their own computer. Programming examples are kept at an introductory level, avoiding complex mathematics that students often find daunting. The book demonstrates that even simp

With the arrival of genomics and genome sequencing projects, biology has been transformed into an incredibly data-rich science. The vast amount of information generated has made computational analysis critical and has increased demand for skilled bioinformaticians. Designed for biologists without previous programming experience, this textbook provides a hands-on introduction to Unix, Perl and other tools used in sequence bioinformatics. Relevant biological topics are used throughout the book and are combined with practical bioinformatics examples, leading students through the process from biological problem to computational solution. All of the Perl scripts, sequence and database files used in the book are available for download at the accompanying website, allowing the reader to easily follow each example using their own computer. Programming examples are kept at an introductory level, avoiding complex mathematics that students often find daunting. The book demonstrates that even simp

Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called λProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and λ-terms and π-calculus expressions can be encoded in λProlog.

Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and this process can be made so precise that it can be implemented on a computer. Designed for students of linguistics, computer science, logic and philosophy, this comprehensive text shows how to compute meaning using the functional programming language Haskell. It deals with both denotational meaning (where meaning comes from knowing the conditions of truth in situations), and operational meaning (where meaning is an instruction for performing cognitive action). Including a discussion of recent developments in logic, it will be invaluable to linguistics students wanting to apply logic to their studies, logic students wishing to learn how their subject can be applied to linguistics, and functional programmers interested in natural language processing as a new application area.

Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and this process can be made so precise that it can be implemented on a computer. Designed for students of linguistics, computer science, logic and philosophy, this comprehensive text shows how to compute meaning using the functional programming language Haskell. It deals with both denotational meaning (where meaning comes from knowing the conditions of truth in situations), and operational meaning (where meaning is an instruction for performing cognitive action). Including a discussion of recent developments in logic, it will be invaluable to linguistics students wanting to apply logic to their studies, logic students wishing to learn how their subject can be applied to linguistics, and functional programmers interested in natural language processing as a new application area.

Concurrent Programming in ML focuses on the practical use of concurrency to implement naturally concurrent applications. In addition to a tutorial introduction to programming in Concurrent ML (CML), the book presents three extended examples using CML for practical systems programming: a parallel software build system, a simple concurrent window manager, and an implementation of distributed tuple spaces. CML, which is included as part of the SML of New Jersey (SML/NJ) distribution, combines the best features of concurrent programming and functional programming. This book also illustrates advanced SML programming techniques, and includes a chapter on the implementation of concurrency using features provided by the SML/NJ system. It will be of interest to programmers, students, and professional researchers working in computer language development.

'Design by programming' has proved very successful in the development of complex software systems. This book describes the construction of programs for VLSI digital circuit design, using the language Tangram, and shows how they can be compiled automatically in fully asynchronous circuits. Handshake circuits were invented by the author to separate questions involving the efficient implementation of the VLSI circuits from issues arising in their design. Dr van Berkel presents a mathematical theory of handshake circuits and a silicon compiler supported by a correctness proof. The treatment of VLSI realizations of handshake circuits includes various forms of optimization, handshake refinement, message encoding, circuit initialization, and testing. The approach is illustrated with a host of examples drawn from a wide range of application areas. The book will be of use to electrical engineers and computer scientists involved in VLSI design.

In this lively series of essays, Tom Dean explores interesting fundamental topics in computer science with the aim of showing how computers and computer programs work and how the various subfields of computer science are connected. Along the way, he conveys his fascination with computers and enthusiasm for working in a field that has changed almost every aspect of our daily lives. The essays touch on a wide range of topics, from digital logic and machine language to artificial intelligence and searching the World Wide Web, considering such questions as: • How can a computer learn to recognize junk email? • What happens when you click on a link in a browser? • How can you program a robot to do two things at once? • Are there limits on what computers can do? The author invites readers to experiment with short programs written in several languages. Through these interactions he grounds the models and metaphors of computer science and makes the underlying computational ideas more concrete.

In this lively series of essays, Tom Dean explores interesting fundamental topics in computer science with the aim of showing how computers and computer programs work and how the various subfields of computer science are connected. Along the way, he conveys his fascination with computers and enthusiasm for working in a field that has changed almost every aspect of our daily lives. The essays touch on a wide range of topics, from digital logic and machine language to artificial intelligence and searching the World Wide Web, considering such questions as: • How can a computer learn to recognize junk email? • What happens when you click on a link in a browser? • How can you program a robot to do two things at once? • Are there limits on what computers can do? The author invites readers to experiment with short programs written in several languages. Through these interactions he grounds the models and metaphors of computer science and makes the underlying computational ideas more concrete.

The overwhelming majority of bugs and crashes in computer programming stem from problems of memory access, allocation, or deallocation. Such memory related errors are also notoriously difficult to debug. Yet the role that memory plays in C and C++ programming is a subject often overlooked in courses and in books because it requires specialised knowledge of operating systems, compilers, computer architecture in addition to a familiarity with the languages themselves. Most professional programmers learn entirely through experience of the trouble it causes. This 2004 book provides students and professional programmers with a concise yet comprehensive view of the role memory plays in all aspects of programming and program behaviour. Assuming only a basic familiarity with C or C++, the author describes the techniques, methods, and tools available to deal with the problems related to memory and its effective use.