| 书目名称 | Logic and Language |
| 编辑 | Neville Dean |
| 视频video | |
| 概述 | Provides an introduction to formal logics without the deep mathematical theory. Provides an overview of the nature of formal logics. Gives a solid basis for further more detailed study, if required, i |
| 图书封面 |  |
| 描述 | 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. |
| 出版日期 | Textbook 2003Latest edition |
| 关键词 | artificial intelligence; computer science; conversion; formal logic; formal method; intelligence; logic; lo |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-0-230-00605-8 |
| copyright | The Editor(s) (if applicable) and The Author(s) 2003 |
发表于 2025-3-21 16:21:46
