MATHEMATICAL LOGIC FOR COMPUTER SCIENCE by Lu Zhongwan
Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to attend to both the peculiarities of logical systems and the requirements of computer science.
In this edition, the revisions essentially involve rewriting the proofs, increasing the explanations, and adopting new terms and notations.
-
INTELLIGENT CHINESE LANGUAGE PATTERN AND SPEECH PROCESSING
-
ARRAY GRAMMARS, PATTERNS AND RECOGNIZERS
-
INFORMATION, RANDOMNESS & INCOMPLETENESS: PAPERS ON ALGORITHMIC INFORMATION THEORY
-
P-PROLOG: A PARALLEL LOGIC PROGRAMMING LANGUAGE
-
ADVANCED VISUAL INTERFACES - PROCEEDINGS OF THE INTERNATIONAL WORKSHOP AVI '92
-
APPLICATIONS OF LEARNING AND PLANNING METHODS
-
LANGUAGE ARCHITECTURES AND PROGRAMMING ENVIRONMENTS
-
RLISP '88: AN EVOLUTIONARY APPROACH TO PROGRAM DESIGN AND REUSE
-
SYMBOLIC AND ALGEBRAIC COMPUTATION BY COMPUTERS - PROCEEDINGS OF THE SECOND INTERNATIONAL SYMPOSIUM
-
FROM HUMANS TO COMPUTERS: COGNITION THROUGH VISUAL PERCEPTION
-
UNDERSTANDING AND LEARNING STATISTICS BY COMPUTER
-
SOFTWARE SCIENCE AND ENGINEERING: SELECTED PAPERS FROM THE KYOTO SYMPOSIA
-
DC FLUX PARAMETRON: A NEW APPROACH TO JOSEPHSON JUNCTION LOGIC
-
SYNTACTIC AND STRUCTURAL PATTERN RECOGNITION - THEORY AND APPLICATIONS
-
CURRENT TRENDS IN THEORETICAL COMPUTER SCIENCE: ESSAYS AND TUTORIALS
-
COOPERATION IN INDUSTRIAL MUTI-AGENT SYSTEMS
-
STOCHASTIC COMPLEXITY IN STATISTICAL INQUIRY
-
PERSPECTIVE IN THEORETICAL COMPUTER SCIENCE, A: COMMEMORATIVE VOLUME FOR GIFT SIROMONEY
-
DISTRIBUTED CONSTRAINT LOGIC PROGRAMMING
-
ADVANCES IN MACHINE VISION: STRATEGIES AND APPLICATIONS
-
COMPUTER EPISTEMOLOGY: A TREATISE ON THE FEASIBILITY OF THE UNFEASIBLE OR OLD IDEAS BREWED NEW
-
COMPUTER VISION AND SHAPE RECOGNITION
-
COMPUTATIONAL STUDIES OF THE MOST FREQUENT CHINESE WORDS AND SOUNDS
-
INFORMATION-THEORETIC INCOMPLETENESS
-
COMPUTER VISION: SYSTEMS, THEORY AND APPLICATIONS: SELECTED PAPERS FROM VISION INTERFACE 1992
-
NEW APPROACHES TO KNOWLEDGE ACQUISITION
-
DIGITAL OPTICAL CELLULAR IMAGE PROCESSOR, A: THEORY, ARCHITECTURE AND IMPLEMENTATION
-
PATTERN RECOGNITION: ARCHITECTURES, ALGORITHMS AND APPLICATIONS
-
COMPUTATIONAL MODEL OF FIRST LANGUAGE ACQUISITION, A
-
INTRODUCTION TO THEORETICAL COMPUTER SCIENCE
-
STRUCTURAL PATTERN ANALYSIS
-
COMPUTER TRANSFORMATION OF DIGITAL IMAGES AND PATTERNS
| SKU | Unavailable |
| ISBN 13 | 9789971502515 |
| ISBN 10 | 9971502518 |
| Title | MATHEMATICAL LOGIC FOR COMPUTER SCIENCE |
| Author | Zhongwan Lu |
| Series | World Scientific Series In Computer Science |
| Condition | Unavailable |
| Binding Type | Hardback |
| Publisher | EPB Publishers Pte Ltd |
| Year published | 1989-07-01 |
| Number of pages | 260 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |