Logic in Computer Science
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 H...
Збережено в:
| Автори: | , |
|---|---|
| Співавтор: | |
| Формат: | Електронний ресурс eКнига |
| Мова: | Англійська |
| Опубліковано: |
Singapore :
Springer Nature Singapore : Imprint: Springer,
2025.
|
| Редагування: | 1st ed. 2025. |
| Предмети: | |
| Онлайн доступ: | https://doi.org/10.1007/978-981-97-9816-2 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Будьте першим, хто залишить коментар!