Essential logic for computer science

Subject: Applications of logic in computer science Contents: predicate logic, proofs, equation-based software and digital circuits, automated testing and theorem provers, large-scale computation Intent: undergrad CS majors will learn how to apply predicate logic to testing and verification of softwa...

Полное описание

Библиографические подробности
Главные авторы: Page, Rex L. (Автор), Gamboa, Ruben (Автор)
Формат:
Язык:English
Опубликовано: Cambridge, Massachusetts The MIT Press [2018]
Предметы: