| 書目名稱 | Logics for Computer Science | | 副標(biāo)題 | Classical and Non-Cl | | 編輯 | Anita Wasilewska | | 視頻video | http://file.papertrans.cn/589/588173/588173.mp4 | | 概述 | Offers a comprehensive, intuitive understanding of different logics and discusses some of their applications to Computer Science, and also makes readers understand the need of, and existence of Symbol | | 圖書封面 |  | | 描述 | Providing an in-depth introduction to fundamental?classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. .Logics for Computer Science.?contains intuitive introductory chapters ?explaining the ?need for logical investigations, motivations for different types of logics ?and some of their history. They are followed by strict? formal approach chapters. All chapters contain many detailed examples explaining each of the introduced notions and definitions, well chosen sets of exercises with carefully written solutions, and sets of homework.?.While many logic books are available, they were written by?logicians for? logicians, not for computer scientists. They?usually choose one particular way of presenting the material and use a specialized language.?.Logics for Computer Science .discusses?Gentzen as well as Hilbert formalizations,?first order theories, the Hilbert Program, Godel‘s? first and second incompleteness theorems and their proofs.?It also introduces and discusses some many valued logics, modal logics and introduces algebraic models? for classical, intuitionistic, and modal S4 and? S5 logics..The theory of?computation is | | 出版日期 | Textbook 2018 | | 關(guān)鍵詞 | Symbolic logic; propositional languages; predicate languages; classical semantics; non-classical semanti | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-319-92591-2 | | isbn_ebook | 978-3-319-92591-2 | | copyright | Springer Nature Switzerland AG 2018 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-5 06:31
發(fā)表于 2025-3-21 18:59:27
