Fundamentals of Logic and Computation, 1st ed. 2021 With Practical Automated Reasoning and Verification Texts in Computer Science Series
Auteur : Hou Zhe
Introduces classical and nonclassical logics in an integrated presentation
Discusses lambda calculus, recursive functions and Turing machines
Includes exercises from widely-used software applications
Date de parution : 12-2022
Ouvrage de 222 p.
15.5x23.5 cm
Date de parution : 12-2021
Ouvrage de 222 p.
15.5x23.5 cm