Logic and language
著者
書誌事項
Logic and language
Palgrave Macmillan, 2003
- : pbk
大学図書館所蔵 件 / 全7件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes index
内容説明・目次
内容説明
An understanding of the theory and application of logic is fundamental both to successful software and hardware development, and to gain a thorough grasp of modern computing. This book provides a gentle introduction to the subject at a comfortable pace that is suitable for a wide range of students including: undergraduates in computer science, maths, philosophy, and those on MSc conversion courses. It is particularly ideal for students with weak backgrounds in maths.
目次
Preface.- Language, Logic and Symbols.- Compound Propositions.- Propositional Forms.- Natural Deduction.- Conditional Connective.-Predicate Logic.- First Order Theories.- An Introduction to Logic Programming.- Appendix A Solutions to Exercises.- Appendix B Summary of Notation.- Appendix C Glossary.- Appendix D Summary of Deduction Rules.- Appendix E Summary of Equivalences.- Bibliography.- Index.
「Nielsen BookData」 より