Includes theorems and proofs, this book presents logical systems such as Propositional calculus; Predicate calculus; Resolution; Hoare logic; Z; and, Temporal logic.
Mathematical Logic for Computer Science
Mordechai Ben-Ari, Môtî Ben-Arî
Springer Science & Business Media
2020
304 páginas
10h 8m
ISBN-10: 1852333197
Estatísticas
Avaliações
0 / 0- 5 estrelas0%
- 4 estrelas0%
- 3 estrelas0%
- 2 estrelas0%
- 1 estrelas0%