All counter of AlamanShop


Alexander Barkalov, Larysa Titarenko
Logic Synthesis for Compositional Microprogram Control Units (Lecture Notes in Electrical Engineering)

2008 y.
Publisher: —
Description: The control unit is one of the most important parts of any digital system. As a rule, control units have an irregular structure, which makes the processing of their logic circuits design very sophisticated. One possible way to optimise such characteristic as the size or performance of control units is to adapt their structures to the particular properties of interpreted control algorithms. In this book control algorithms are represented by the linear graph-schemes of algorithms (GSA), where the number of perator vertices is not less than 75% of the total number of all algorithm vertices. A special class of control units named as compositional microprogram control units (CMCU) is proposed as the best way for interpretation of linear control algorithms. TheCMCU includes a finite state machine, which addresses microinstructions of interpreted microprogram, and a microprogram control unit including control memory, which keeps only microoperations of initial GSA. The microprogram control… [detailed...]

ISBN: 3540692835
Book size: —; Page extent: 272.

 

PUT TO
THE BASKET
Samary Baranov
Logic Synthesis for Control Automata

— y.
Publisher: —
Description: Logic Synthesis for Control Automata provides techniques for logic design of very complex control units with hardly any constraints on their size, i.e. the number of inputs, outputs and states. These techniques cover all stages of control unit design, including: - description of control unit behavior by using operator schemes of algorithms (binary decision trees) and various transformations of these descriptions -- composition, decomposition, minimization, etc., - synthesis of a control automaton (finite-state machine), - synthesis of an automaton logic circuit: * with matrix structure as a part of LSI or VLSI circuits, * as multilevel circuit with logic gates, * with standard LSI and VLSI circuits with and without memory. Each chapter contains many examples, illustrating the use of the models and methods described. Moreover, the special last chapter demonstrates in detail the whole design methodology presented in the previous chapters, through the examples of the… [detailed...]

ISBN: 0792394585
Book size: —; Page extent: 0.

 

PUT TO
THE BASKET
L. C. Paulson, C. J. van Rijsbergen
Logic and Computation : Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)

— y.
Publisher: —
Description: Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, giving references to more advanced reading. Part II provides enough detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach. [detailed...]

ISBN: 0521395607
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
M. Morris Mano, Charles R. Kime
Logic and Computer Design Fundamentals &, XILINX 6.3 Student Edition (3rd Edition)

2004 y.
Publisher: —
Description: - [detailed...]

ISBN: 0131678493
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
M. Morris Mano, Charles Kime
Logic and Computer Design Fundamentals (4th Edition)

2007 y.
Publisher: —
Description: Featuring a strong emphasis on the fundamentals underlying contemporary logic design using hardware description languages, synthesis, and verification, this book focuses on the ever-evolving applications of basic computer design concepts with strong connections to real-world technology. Treatment of logic design, digital system design, and computer design. Ideal for self-study by engineers and computer scientists. [detailed...]

ISBN: 013198926X
Book size: —; Page extent: 0.

 

PUT TO
THE BASKET
Keith Devlin
Logic and Information (Cambridge Tracts in Theoretical Computer Science)

— y.
Publisher: —
Description: In this provocative and ground-breaking book, Keith Devlin argues that in order to obtain a deeper understanding of the nature of intelligence and knowledge acquisition, we must broaden our concept of logic. Classical logic, beginning with the work of Aristotle, has developed into a powerful and rigorous mathematical theory with many applications in mathematics and computer science, but it has proved woefully inadequate in the search for artificial intelligence. The new kind of logic, also mathematically based, outlined by Professor Devlin is the culmination of collaborative research among some of the world`s leading logicians, philosophers, linguists, psychologists, and computer scientists. It introduces the concepts of infon, a quantum of information, and situations, a dynamical generalization of sets, and is capable of handlng the issues involved in human communication, thought, speech, and machine information processing. [detailed...]

ISBN: 0521410304
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Keith Devlin
Logic and Information (Cambridge Tracts in Theoretical Computer Science)

— y.
Publisher: —
Description: In this provocative and ground-breaking book, Keith Devlin argues that in order to obtain a deeper understanding of the nature of intelligence and knowledge acquisition, we must broaden our concept of logic. Classical logic, beginning with the work of Aristotle, has developed into a powerful and rigorous mathematical theory with many applications in mathematics and computer science, but it has proved woefully inadequate in the search for artificial intelligence. The new kind of logic, also mathematically based, outlined by Professor Devlin is the culmination of collaborative research among some of the world`s leading logicians, philosophers, linguists, psychologists, and computer scientists. It introduces the concepts of infon, a quantum of information, and situations, a dynamical generalization of sets, and is capable of handlng the issues involved in human communication, thought, speech, and machine information processing. [detailed...]

ISBN: 0521499712
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Jan vanEijck, Albert Visser
Logic and Information Flow (Foundations of Computing)

— y.
Publisher: —
Description: The thirteen chapters written expressly for this book by logicians, theoretical computer scientists, philosophers, and semanticists address, from the perspective of mathematical logic, the problems of understanding and studying the flow of information through any information-processing system. The logic of information flow has applications in both computer science and natural language processing and is a growing area within mathematical and philosophical logic. Consequently, Logic and Information Flow will be of interest to theoretical computer scientists wanting information on up-to-date formalisms of dynamic logic, and their possible applications, logicians who wish to expand their discipline beyond the realm of sound reasoning in the narrow sense, andphilosophers who are looking at the nature of information and action, and at the relation between those concepts. Contents: `Logic and Information Flow`, Jan van Eijck and Albert Visser. `A Note on Dynamic Arrow Logic`, Johan van… [detailed...]

ISBN: 0262220474
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Henry Hamburger, Dana Richards
Logic and Language Models for Computer Science

— y.
Publisher: —
Description: — [detailed...]

ISBN: 0130654876
Book size: —; Page extent: 0.

 

PUT TO
THE BASKET
J. W. Lloyd
Logic and Learning

— y.
Publisher: —
Description: This book is concerned with the rich and fruitful interplay between the fields of computational logic and machine learning. The intended audience is senior undergraduates, graduate students, and researchers in either of those fields. For those in computational logic, no previous knowledge of machine learning is assumed, and for those in machine learning no previous knowledge of computational logic is assumed.The logic used throughout the book is a higher-order one, since higher-order functions can have other functions as arguments and this capability can be exploited to provide abstractions for knowledge representation, methods for constructing predicates, and a foundation for logic-based computation. The book should be of interest to researchers inmachine learning, especially those who study learning methods for structured data. Throughout, great emphasis is placed on learning comprehensible theories. The book serves as an introduction for computational logicians to machine… [detailed...]

ISBN: 3540420274
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Dirk van Dalen
Logic and Structure

2008 y.
Publisher: —
Description: From the reviews: `A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen`s book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The reader immediately see the logic is `just another branch of mathematics` and not something more sacred.` Acta Scientiarum Mathematicarum, Hungary [detailed...]

ISBN: 3540208798
Book size: —; Page extent: 263.

 

PUT TO
THE BASKET
Harold J. Rood
Logic and Structured Design for Computer Programmers

— y.
Publisher: —
Description: LOGIC AND STRUCTURED DESIGN is an introduction to the logic of data processing. It is intended for those who plan, but have not yet begun, to study programming, particularly those with little background in mathematics or logic. The author avoids reference to specific programming languages, isolating questions of logic from questions of syntax. This approach enables readers to concentrate on the logic of problems. The book walks readers through logical problems common to a variety of programming languages and provides the background in logic that many programming texts and courses assume. [detailed...]

ISBN: 0534373860
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
—
Logic and the Foundations of Game and Decision Theory (LOFT 7) (AUP - Texts in Logic and Games)

2009 y.
Publisher: —
Description: This volume is a collects papers originally presented at the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), held at the University of Liverpool in July 2006. LOFT is a key venue for presenting research at the intersection of logic, economics, and computer science, and this collection gives a lively and wide-ranging view of an exciting and rapidly growing area. [detailed...]

ISBN: 9089640266
Book size: —; Page extent: 240.

 

PUT TO
THE BASKET
Ruy J. G. B. De Queiroz, Ruy J. G. B. De Queiroz
Logic for Concurrency and Synchronisation (Trends in Logic)

— y.
Publisher: —
Description: This book is for researchers in computer science, mathematical logic, and philosophical logic. The study of information-based actions and processes has been a vibrant interface between logic and computer science for decades now. The individual chapters of this book show the state of the art in current investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. Viewed together, the chapters also offer exciting glimpses of future integration with obvious links including modal logics for proof graphs, labelled deduction merging modal and linear logic, Chu spaces linking proof theory and model theory and bisimulation-style equivalences for analysing proof processes. The combination of approaches and pointers forfurther integration also suggests a grander vision for the field. In classical computation theory, Church`s Thesis provided a unifying and driving force. Likewise, modern process theory would benefit immensely from a synthesis bringing… [detailed...]

ISBN: 1402012705
Book size: —; Page extent: 0.

 

PUT TO
THE BASKET
Stanley N. Burris
Logic for Mathematics and Computer Science

— y.
Publisher: —
Description: This book provides an elementary `hands-on` presentation of important mathematical logic topics. Explores topics that are at the cutting edge of developments in computer science, while preserving the integrity of traditional logic. Stresses several self-contained proof systems of interest to mathematical logic, some more suitable than others for particular kinds of questions. For anyone interested in Computer Science or Mathematics. [detailed...]

ISBN: 0132859742
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Michael Huth, Mark Ryan
Logic in Computer Science: Modelling and Reasoning about Systems

2004 y.
Publisher: —
Description: The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8 [detailed...]

ISBN: 052154310X
Book size: —; Page extent: 440.

 

PUT TO
THE BASKET
Laura E. Cunningham, Noel B. Cunningham
Logic of Subchapter K: A Conceptual Guide to Taxation of Partnerships (American Casebook Series)

2006 y.
Publisher: —
Description: - [detailed...]

ISBN: 0314153128
Book size: —; Page extent: 251.

 

PUT TO
THE BASKET
Bob Carpenter
Logic of Typed Feature Structures, The (Cambridge Tracts in Theoretical Computer Science)

2005 y.
Publisher: —
Description: This book develops the theory of typed feature structures, a new form of data structure that generalizes both the first-order terms of logic programs and feature-structures of unification-based grammars to include inheritance, typing, inequality, cycles and intensionality. It presents a synthesis of many existing ideas into a uniform framework, which serves as a logical foundation for grammars, logic programming and constraint-based reasoning systems. Throughout the text, a logical perspective is adopted that employs an attribute-value description language along with complete equational axiomatizations of the various systems of feature structures. Efficiency concerns are discussed and complexity and representability results are provided. The application of feature structures to phrase structure grammars is described and completeness results are shown for standard evaluation strategies. Definite clause logic programs are treated as a special case of phrase structure grammars. … [detailed...]

ISBN: 0521022541
Book size: —; Page extent: 280.

 

PUT TO
THE BASKET
—
Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings (Lecture Notes in Computer Science)

2008 y.
Publisher: —
Description: Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the FoLLI LNAI subline, containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008. The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming, novel computation models and paradigms, broad notions of proof and belief, formal methods in software and hardware development, logical approach to natural language and reasoning, logics of programs, actions and resources, foundational aspects of information organization, search, flow, sharing, and protection. [detailed...]

ISBN: 3540699368
Book size: —; Page extent: 313.

 

PUT TO
THE BASKET
Robert L. Causey
Logic, Sets and Recursion

2005 y.
Publisher: —
Description: Logic Sets, and Recursion, Second Edition provides a comprehensive introduction to logic, the basic ideas of set theory, and mathematical induction at the undergraduate level. This text paves the way for students preparing to enter more advanced math courses, furnishing them with the experience to construct rigorous proofs with ease. It is intended to fill the gap between advanced mathematical logic texts and Discrete Mathematics texts that do not treat logic with the depth required in modern computer science. The new Second Edition has incorporated a wealth of exercise sets to aid in students retention and understanding of material presented in the text. [detailed...]

ISBN: 0763737844
Book size: —; Page extent: 512.

 

PUT TO
THE BASKET
—
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers … Computer Science and General Issues)

2009 y.
Publisher: —
Description: This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement. [detailed...]

ISBN: 3642005144
Book size: —; Page extent: 185.

 

PUT TO
THE BASKET
Manuel J. Bellido, Jorge Juan, Manuel Valencia
Logic-timing Simulation And the Degradation Delay Model

2006 y.
Publisher: —
Description: - [detailed...]

ISBN: 1860945899
Book size: —; Page extent: 267.

 

PUT TO
THE BASKET
Graham Priest
Logic: A Very Short Introduction

2000 y.
Publisher: Oxford University Press
Description: Logic is often perceived as an esoteric subject, having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible introduction, Graham Priest shows how wrong this conception is. He explores the philosophical roots of the subject, explaining how modern formal logic deals with issues ranging from the existence of God and the reality of time to paradoxes of self-reference, change, and probability. Along the way, the book explains the basic ideas of formal logic in simple, non-technical terms, as well as the philosophical pressures to which these have responded. This is a book for anyone who has ever been puzzled by a piece of reasoning. Формат: 11 см х 17,5 см. [detailed...]

ISBN: 978-0-19-289320-8
Book size: —; Page extent: 144.

 

PUT TO
THE BASKET
Greg Restall
Logic: An Introduction (Fundamentals of Philosophy)

2004 y.
Publisher: McGill-Queen`s University Press
Description: Understanding logic is essential for philosophy and crucial in the study of mathematics, computing, and linguistics. Greg Restall`s Logic is a comprehensive introduction to the major concepts and techniques involved in the study of logic, including propositions and arguments, truth tables, tree methods, conditionality, and natural deduction. He explores both formal and philosophical logic and examines the ways in which we can achieve good reasoning. Logic is flexibly designed to be used in courses focusing exclusively on formal logic or in a variety of approaches that include philosophical logic and will therefore be of interest to students of computer science, cognitive science, and linguistics as well as philosophy. Each chapter includes excellent suggestions for further reading and exercises. [detailed...]

ISBN: 0773524231
Book size: —; Page extent: 226.

 

PUT TO
THE BASKET
John Garmany
Logical Database Design Principles (Foundations of Database Design)

— y.
Publisher: —
Description: A proper logical data model is the single most important aspect of database performance, and this text is a complete guide to designing databases to utilize database structures, using examples from the Oracle database. More than the standard rehash of logical database design, Logical Database Design Principles is a complete guide to the logical design of databases for optimal performance. It combines IT theory with pragmatic techniques and covers all aspects of logical database design, including translation of data flow diagrams into data models, formal data normalization and object orientation within a logical data model. [detailed...]

ISBN: 084931853X
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Gerhard Preyer, Georg Peter
Logical Form and Language

— y.
Publisher: —
Description: These previously unpublished essays share the central theme of logical form--a fundamental issue in analytic philosophy and linguistic theory. Logical Form and Language brings together exciting new contributions from diverse points of view, which illuminate the lively current debate about this topic. [detailed...]

ISBN: 019924555X
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Stephen Cook, Phuong Nguyen
Logical Foundations of Proof Complexity

2010 y.
Publisher: —
Description: This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. The result is a uniform treatment of many systems in the literature. [detailed...]

ISBN: 052151729X
Book size: —; Page extent: 492.

 

PUT TO
THE BASKET
Raymond M. Smullyan
Logical Labyrinths

2009 y.
Publisher: —
Description: This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author`s puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the author introduces the readers to informal reasoning preparing them for the formal study of symbolic logic, from propositional logic to first-order logic, a subject that has many important applications in philosophy, mathematics, and computer science. The book includes a journey through the amazing labyrinths of infinity, which have stirred the imagination of mankind as much, if not more, than any other subject. As much as a textbook for undergraduate courses in logic, in particular to a liberal- arts audience, this book will succeed as a trade book for anyone who has an interest in a more rigorous understanding of rational thought. [detailed...]

ISBN: 1568814437
Book size: —; Page extent: 275.

 

PUT TO
THE BASKET
J. C. Beall, Greg Restall
Logical Pluralism

2006 y.
Publisher: Oxford University Press
Description: Consequence is at the heart of logic, an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, a position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. [detailed...]

ISBN: 0199288410
Book size: —; Page extent: 152.

 

PUT TO
THE BASKET
Ellen Hisdal
Logical Structures for Representation of Knowledge and Uncertainty (Studies in Fuzziness and Soft Computing, Vol. 14)

— y.
Publisher: —
Description: — [detailed...]

ISBN: 3790810568
Book size: —; Page extent: 0.

 

PUT TO
THE BASKET
Trevor J. Barnes
Logics of Dislocation: Models, Metaphors, and Meanings of Economic Space

— y.
Publisher: —
Description: LOGICS OF DISLOCATION is the first volume to systematically apply a postmodern sensibility to economic geography. In clear, jargon-free prose, author Trevor J. Barnes integrates a comprehensive review of economic geography`s recent past with innovative work in economics, philosophy, and the sociology of science, clarifying key poststructuralist ideas and demonstrating their relevance to the field. In its critique of the rationalism and essentialism that characterizes prevailing models in the field, andits exploration of alternative conceptualizations, this book offers both a novel reconstruction of economic geography`s past and a basis for a reconceived future. [detailed...]

ISBN: 1572300396
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Сайт создан в системе uCoz