Online Library TheLib.net » Logic and Language Models for Computer Science
cover of the book Logic and Language Models for Computer Science

Ebook: Logic and Language Models for Computer Science

00
01.03.2024
0
0
This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques. This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It has added many new examples, problems and answers. It can be used as an undergraduate text at most universities.
Download the book Logic and Language Models for Computer Science for free or read online
Read Download
Continue reading on any device:
QR code
Last viewed books
Related books
Comments (0)
reload, if the code cannot be seen