Logic in Computer Science
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer Verlag, Singapore
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9789819798155
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
Mathematical logic is an important basis for mathematics, computer science and artificial intelligence alike. This book provides a comprehensive introduction to various logics, including classical propositional logic and first-order predicate logic, as well as equational logic, temporal logic, and Hoare logic.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer Verlag, Singapore |
| Forfattere | Hantao Zhang, Jian Zhang |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2024 ed. |
| Udgivelsesdato | 12-01-2025 |
| Første udgivelsesår | 2025 |
| Illustrationer | 42 Illustrations, black and white; XVII, 483 p. 42 illus. |
| Originalsprog | Singapore |
| Sideantal | 483 |
| Indbinding | Paperback / softback |
| Forlag | Springer Verlag, Singapore |
| Sideoplysninger | 483 pages, 42 Illustrations, black and white; XVII, 483 p. 42 illus. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9789819798155 |