書(shū)目名稱(chēng) | Logic and Language | 編輯 | Neville Dean | 視頻video | http://file.papertrans.cn/588/587974/587974.mp4 | 概述 | 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 | 圖書(shū)封面 |  | 描述 | 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 | 關(guān)鍵詞 | 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 |
The information of publication is updating
|
|