Logic and language models for computer science/

Richards, Dana

Logic and language models for computer science/ Dana Richards and Henry Hamburger - Singapore: World Scientific Publishing, 2023. - xix, 476 p.; 23 cm. PB.

9781944660833


Mathematical preliminaries
Predicate logic
Finite automata
Turing Machines

005.133 / RIC
This system is made operational by the in-house staff of the CUP Library.