Mathematical Logic for Computer Science

Name: Mathematical Logic for Computer Science
Author: Mordechai Ben-Ari, Môtî Ben-Arî

Mordechai Ben-Ari, Môtî Ben-Arî

Springer Science & Business Media

2020

304 páginas

10h 8m

ISBN-10: 1852333197

0

0 avaliação

Leram0 Lendo0 Querem0 Relendo0 Abandonos0 Resenhas0

Includes theorems and proofs, this book presents logical systems such as Propositional calculus; Predicate calculus; Resolution; Hoare logic; Z; and, Temporal logic.

Estatísticas

Avaliações

0 / 0

5 estrelas0%
4 estrelas0%
3 estrelas0%
2 estrelas0%
1 estrelas0%