Foundations of Computer Science
Introduces the principles of data structures and algorithms. Emphasises the algorithmic side of programming, focusing on problem-solving rather than on hardware-level bits and bytes.
Publication date: 31 Dec 2000
ISBN-10: n/a
ISBN-13: n/a
Paperback: 155 pages
Views: 38,948
Type: Lecture Notes
Publisher: n/a
License: n/a
Post time: 16 Oct 2006 01:49:57
Foundations of Computer Science
About The Author(s)
Lawrence C. Paulson is Professor of Computational Logic in Computer Laboratory at the University of Cambridge. His research concerns automated theorem proving and its applications: development of Isabelle, with emphasis on automation; MetiTarski, an automatic prover for the elementary functions; formalising mathematics, including Gödel's incompeteness theorems and constructible universe; and proving the correctness of security protocols;
Lawrence C. Paulson is Professor of Computational Logic in Computer Laboratory at the University of Cambridge. His research concerns automated theorem proving and its applications: development of Isabelle, with emphasis on automation; MetiTarski, an automatic prover for the elementary functions; formalising mathematics, including Gödel's incompeteness theorems and constructible universe; and proving the correctness of security protocols;