Logic: Reference Book for Computer Scientists [E-Book] : The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence" / by Lech T. Polkowski.
The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested in linguistic, philosophy and many other areas of research both in humane and technical branches...
Saved in:
|
Full text |
|
| Personal Name(s): | Polkowski, Lech T., author |
| Edition: |
1st edition 2023. |
| Imprint: |
Cham :
Springer,
2023
|
| Physical Description: |
XXXIII, 461 pages 31 illustrations (online resource) |
| Note: |
englisch |
| ISBN: |
9783031420344 |
| DOI: |
10.1007/978-3-031-42034-4 |
| Series Title: |
Intelligent Systems Reference Library ;
245 |
| Subject (LOC): |
- Introduction: Prerequisites
- Sentential Logic
- Rudiments of First-order Logic
- Modal and Intuitionistic Logics
- Temporal Logics for linear and branching time and model checking
- Finitely and innitely valued logics
- Logics for programs and knowledge
- Beyond FO within SO.