From Logic to Computing
Published on 27. August 1990
Book
Hardback
250 pages
978-0-534-13320-7 (ISBN)
Description
This book should be of interest to students following logic and computer science courses.
This book should be of interest to students following logic and computer science courses.
This book should be of interest to students following logic and computer science courses.
More details
Language
English
Place of publication
Belmont, CA
United States
Publishing group
Cengage Learning, Inc
Target group
College/higher education
Professional and scholarly
Dimensions
Height: 239 mm
Width: 163 mm
Thickness: 28 mm
Weight
960 gr
ISBN-13
978-0-534-13320-7 (9780534133207)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Preface. Part I: Logic. Reasoning. Statement logic: fundamentals. Statement logic: validity. Statement logic: inference. Predicate logic: fundamentals. Predicate logic: validity and inference. Truth trees and derivations in PL. Part II: Computing. Boolean systems. Numerical systems. Logical circuits. Computability. Computing. Appendix. Answers to selected exercises. Index.