Intended for first- or second-year undergraduates, this introduction to discrete mathematics covers the usual topics of such a course, but applies constructivist principles that promote - indeed, require - active participation by the student.
Natural language generation is a field within artificial intelligence which looks ahead to the future when machines will communicate complex thoughts to their human users in a natural way.
Presents the results of an investigation into the issuesraised by the development of a compiler for APL, a very highlevel computer programming language.
The idea for this book grew out of proposals at the APL86 con- ference in Manchester which led to the initiation of the I-APL (International APL) project, and through it to the availability of an interpreter which would bring the advantages of APL within the means of vast numbers of school children and their teachers.
This book is designed for people with a working knowledge of APL who would like to increase their fluency in the wide range of extra facilities offered by second-generation APL products.
Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the mathematicians.
Not long ago"e; Dennis Merritt wrote one of the best books that I know of about implementing expert systems in Prolog, and I was very glad he published it in our series.
The Technology of Sun M icrosystems Two years ago, Sun Microsystems began publishing a quarterly tech- nical journal, Sun Technology: The Journal for Sun Users.
With the SPARC (Scalable Processor ARChitecture) architecture and system software as the underlying foundation, Sun Microsys- terns is delivering a new model of computing-easy workgroup computing-to enhance the way people work, automating processes across groups, departments, and teams locally and globally.
While creativity plays an important role in the advancement of computer science, great ideas are built on a foundation of practical experience and knowledge.
Guide to this Book My main objective is to teach programming in Pascal to people in the hard sciences and technology, who don't have much patience with the standard textbooks with their lengthy, pedantic approach, and their many examples of no interest to scientists and engineers.
"e;Introduction to Computational Science"e; was developed over a period of two years at the University of Utah Department of Computer Science in conjunction with the U.
Beginning with an informal introduction to language equations, this book presents a framework for a general theory for solving systems of equations and relations between languages.
Once programmers have grasped the basics of object-oriented programming and C++, the most important tool that they have at their disposal is the Standard Template Library (STL).
l With the advent of Linux and its increasing popularity, people who have split their person- alities, working a Unix machine during the day and a Windows machine at home at night, have been transforming their home computers into Linux boxes.
Many students and programmers familiar with Pascal are now looking to upgrade their skills to a well-structured object-oriented programming language such as C++.
This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit- man, in 1986.
Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java.
Constraint and Integer Programming presents some of the basic ideas of constraint programming and mathematical programming, explores approaches to integration, brings us up to date on heuristic methods, and attempts to discern future directions in this fast-moving field.
Object relationships in modern software systems are becoming increasingly numerous and complex, and program errors due to violations of object relationships are difficult to detect.
Embedded Software Development With C offers both an effectual reference for professionals and researchers, and a valuable learning tool for students by laying the groundwork for a solid foundation in the hardware and software aspects of embedded systems development.