Author: University of LondonPublisher:
ISBN:
Category : Dissertations, Academic
Languages : en
Pages : 522
Book Description
Theses and Dissertations Accepted for Higher Degrees
Author: University of LondonPublisher:
ISBN:
Category : Dissertations, Academic
Languages : en
Pages : 522
Book Description
Subjects of Dissertations, Theses and Published Works Presented by Successful Candidates at Examinations for Higher Degrees
Author: University of LondonPublisher:
ISBN:
Category : Dissertations, Academic
Languages : en
Pages : 174
Book Description
Propositional and Predicate Calculus: A Model of Argument
Author: Derek GoldreiPublisher: Springer Science & Business Media
ISBN: 9781852339210
Category : Mathematics
Languages : en
Pages : 334
Book Description
Designed specifically for guided independent study. Features a wealth of worked examples and exercises, many with full teaching solutions, that encourage active participation in the development of the material. It focuses on core material and provides a solid foundation for further study.
Interpreting Motion
Author: Inderjeet ManiPublisher: Oxford University Press
ISBN: 0199601240
Category : Computers
Languages : en
Pages : 177
Book Description
Oxford linguistics series statement from dust jacket.
Algorithmic Composition
Author: Gerhard NierhausPublisher: Springer Science & Business Media
ISBN: 3211755403
Category : Mathematics
Languages : en
Pages : 294
Book Description
Algorithmic composition – composing by means of formalizable methods – has a century old tradition not only in occidental music history. This is the first book to provide a detailed overview of prominent procedures of algorithmic composition in a pragmatic way rather than by treating formalizable aspects in single works. In addition to an historic overview, each chapter presents a specific class of algorithm in a compositional context by providing a general introduction to its development and theoretical basis and describes different musical applications. Each chapter outlines the strengths, weaknesses and possible aesthetical implications resulting from the application of the treated approaches. Topics covered are: markov models, generative grammars, transition networks, chaos and self-similarity, genetic algorithms, cellular automata, neural networks and artificial intelligence are covered. The comprehensive bibliography makes this work ideal for the musician and the researcher alike.
Index to Theses Accepted for Higher Degrees by the Universities of Great Britain and Ireland and the Council for National Academic Awards
Author: Publisher:
ISBN:
Category : Dissertations, Academic
Languages : en
Pages : 568
Book Description
Methods of Algorithmic Language Implementation
Author: A. ErshovPublisher: Springer Science & Business Media
ISBN: 9783540080657
Category : Computers
Languages : en
Pages : 364
Book Description
With contributions by numerous experts
Essentials of Programming Languages, third edition
Author: Daniel P. FriedmanPublisher: MIT Press
ISBN: 0262304090
Category : Computers
Languages : en
Pages : 433
Book Description
A new edition of a textbook that provides students with a deep, working understanding of the essential concepts of programming languages, completely revised, with significant new material. This book provides students with a deep, working understanding of the essential concepts of programming languages. Most of these essentials relate to the semantics, or meaning, of program elements, and the text uses interpreters (short programs that directly analyze an abstract representation of the program text) to express the semantics of many essential language elements in a way that is both clear and executable. The approach is both analytical and hands-on. The book provides views of programming languages using widely varying levels of abstraction, maintaining a clear connection between the high-level and low-level views. Exercises are a vital part of the text and are scattered throughout; the text explains the key concepts, and the exercises explore alternative designs and other issues. The complete Scheme code for all the interpreters and analyzers in the book can be found online through The MIT Press web site. For this new edition, each chapter has been revised and many new exercises have been added. Significant additions have been made to the text, including completely new chapters on modules and continuation-passing style. Essentials of Programming Languages can be used for both graduate and undergraduate courses, and for continuing education courses for programmers.
Principles of Logic and Logic Programming
Author: G. MetakidesPublisher: Elsevier
ISBN: 0444816445
Category : Computers
Languages : en
Pages : 345
Book Description
Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed. With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only for arithmetical computation, but also for symbolic computation. Hence, the first arithmetical computation programs, and the first programs created to answer elementary questions and prove simple theorems, were written simultaneously. The basic steps towards a general method based on Logic, were accomplished in 1965 by Robinson and later by Kowalski and Colmerauer who made use of Logic directly as a Logic Programming language. Each chapter includes solved as well as unsolved exercises provided to help the reader assimilate the corresponding topics. The solved exercises demonstrate how to work methodically, whereas the unsolved exercises aim to stimulate the reader's personal initiative. The contents of the book are self-contained; only an elementary knowledge of analysis is required. Thus, it can be used by students in every academic year, as simply reading material, or in the context of a course. It can also be used by those who utilize Logic Programming without having any particular theoretical background knowledge of Logic, or by those simply interested in Logic and its applications in Logic Programming.
The Making of a New Science
Author: Giorgio AusielloPublisher: Springer
ISBN: 3319626809
Category : Computers
Languages : en
Pages : 295
Book Description
This book explains the development of theoretical computer science in its early stages, specifically from 1965 to 1990. The author is among the pioneers of theoretical computer science, and he guides the reader through the early stages of development of this new discipline. He explains the origins of the field, arising from disciplines such as logic, mathematics, and electronics, and he describes the evolution of the key principles of computing in strands such as computability, algorithms, and programming. But mainly it's a story about people – pioneers with diverse backgrounds and characters came together to overcome philosophical and institutional challenges and build a community. They collaborated on research efforts, they established schools and conferences, they developed the first related university courses, they taught generations of future researchers and practitioners, and they set up the key publications to communicate and archive their knowledge. The book is a fascinating insight into the field as it existed and evolved, it will be valuable reading for anyone interested in the history of computing.