Foundations of Computer Science by Lawrence C Paulson

Foundations of Computer Science

Foundations of Computer Science by Lawrence C Paulson
Publisher: University of Cambridge 2000
Number of pages: 155
This text teaches programming and presents some fundamental principles of computer science, especially algorithm design. The programming in this course is based on the language ML and mostly concerns the functional programming style. The course also covers basic methods for estimating efficiency.
Computers & Internet Programming Computer Science



More Free E-Books For Computer Science


Similar Books For Computer Science

1. Computational and Inferential Thinking: The Foundations of Data Science by Ani Adhikari, John DeNero
2. Interacting with Presence by Giuseppe Riva
3. Insight into Theoretical and Applied Informatics by Andrzej Yatsko, Walery Suslow
4. Automata and Rational Expressions by Jacques Sakarovitch
5. Crafting Interpreters: A handbook for making programming languages by Robert Nystrom
6. Refining the Concept of Scientific Inference When Working with Big Data by
7. GIS Commons: An Introductory Textbook on Geographic Information Systems by Michael Schmandt
8. Human Computer Confluence by Andrea Gaggioli, et al.
9. Nature of Geographic Information by David DiBiase
10. Global Library and Information Science by Ismail Abdullahi (ed.)
11. Databases, Types, and The Relational Model: The Third Manifesto by C.J. Date, Hugh Darwen
12. Logic and Automata: History and Perspectives by Jorg Flum (ed)
13. Elementary Algorithms by Larry LIU Xinyu
14. Applied Artificial Neural Networks by Christian Dawson
15. Database Explorations by C.J. Date, Hugh Darwen
16. Big Data on Real-World Applications by S. Ventura Soto, Jose M. Luna, Alberto Cano (eds)
17. Introduction to Computability Theory by Dag Normann
18. Search Engines: Information Retrieval in Practice by W.B. Croft, D. Metzler, T. Strohman
19. Information Systems Foundations: The Role of Design Science by Dennis Hart, Shirley Gregor
20. The Design and Implementation of Probabilistic Programming Languages by Noah D. Goodman, Andreas Stuhlmüller
21. The Security Development Lifecycle by Michael Howard, Steve Lipner
22. How Mobile Robots Can Self-organise a Vocabulary by Paul Vogt
23. Notes on Data Structures and Programming Techniques by James Aspnes
24. Introduction to Software Engineering by
25. Statistical Foundations of Machine Learning by Gianluca Bontempi, Souhaib Ben Taieb
26. Probabilistic Models in the Study of Language by Roger Levy
27. Computer Vision Metrics: Survey, Taxonomy, and Analysis by Scott Krig
28. Measures and Applications of Quantum Correlations by G. Adesso, T.R. Bromley, M. Cianciaruso
29. Python Scripting for Spatial Data Processing by Pete Bunting, Daniel Clewley
30. Information, Entropy and Their Geometric Structures by Frederic Barbaresco, Ali Mohammad-Djafari
31. Statistical Learning and Sequential Prediction by Alexander Rakhlin, Karthik Sridharan
32. Applications of ICT in Libraries by
33. CS for All by Christine Alvarado, et al.
34. Compiler Construction by William M. Waite, Gerhard Goos
35. Purely Functional Data Structures by Chris Okasaki
36. Quantum Information Meets Quantum Matter by Bei Zeng, et al.
37. Neural Network Design by Martin T. Hagan, et al.
38. Concrete Semantics: With Isabelle/HOL by Tobias Nipkow, Gerwin Klein
39. Bayesian Network by Ahmed Rebai (ed.)
40. Understanding Machine Learning: From Theory to Algorithms by Shai Shalev-Shwartz, Shai Ben-David
41. The Playful Machine by Ralf Der, Georg Martius
42. BIG CPU, BIG DATA: Solving the World's Toughest Problems with Parallel Computing by Alan Kaminsky
43. Spatial Thinking in Planning Practice: An Introduction to GIS by Y. Fang, V. Shandas, E. Arriaga Cordero
44. Deep Learning Tutorial by LISA lab
45. Thinking Networks: The Large and Small of it by Kieran Greer
46. Voice Communication with Computers: Conversational Systems by C. Schmandt
47. Professor Fris by 's Mostly Adequate Guide to Functional Programming
48. Anatomy of Programming Languages by William R. Cook
49. Programming and Programming Languages by Shriram Krishnamurthi
50. Models and Theories in Human-Computer Interaction by



Categories