Foundations of Computer Science by Lawrence C Paulson
This note has two objectives. First is to teach programming. Second is to present some fundamental principles of computer science, especially algorithm design. Major topics covered includes: Recursive Functions, O Notation: Estimating Costs in the Limit, Lists, Sorting, Datatypes and Trees, Dictionaries and Functional Arrays, Queues and Search Strategies, Functions as Values, List Functionals, Polynomial Arithmetic, Sequences, or Lazy Lists, Elements of Procedural Programming, and Linked Data Structures.
Author(s): Lawrence C Paulson
155 Pages 
General computer science Lecture notes
This pdf provides a comprhensive overview about general computer science, provides examples and various related topics. The core of the course delves into the representation and computation with a focus on discrete mathematics. The subsequent section on programming delves into Standard ML, recursion and imperative features and encoding of programs as strings. The course progresses to Boolean algebra and Propositional logic and machineoriented calculi like analytical tableaux and resolution.
Author(s): Michael Kohlhase
179 Pages
Mathematics for Computer Science
This PDF covers the following topics related to Computer Science,Intro to Proofs, Well Ordering Principle, Logical Formulas, Mathematical Data Types, Induction, Recursive Data Types, Infinite Sets, Number Theory, Directed Graphs and Partial Orders, Communication Networks, Simple Graphs, Planar Graphs, Sums and Asymptotics, Cardinality Rules, Generating Functions, Events and Probability Spaces, Conditional Probability, Random Variables, Deviation From the Mean, Random Walks.
Author(s): Eric Lehman, F. Thomson Leighton, Alberty R. Meyer
427 Pages
The PDF covers the following topics related to Computer Science, Introduction to Logics, Propositional Calculus, Predicate Calculus, Applications of Predicate Calculus, Automated Deduction in Propositional Calculus, Automated Deduction in Predicate Calculus, SecondOrder Logic, SecondOrder Quantifier Elimination, Modal Logics, Temporal Logic, Logics of Programs, Fixpoint Calculus, Rough Concepts.
Author(s): Andrzej Szalas
125 Pages
Lecture Notes On High Performance Computing
The following Lecture Notes on High Performance Computing from VSS University of Technology deal indepth with new computing paradigms aimed at the efficient execution of large computations. This PDF covers Cluster Computing, a form of parallel processing wherein a group of computers that are symmetrically linked work symptomatically as one system to enhance computation power. It looks at Scalable Parallel Computer Architectures, which can grow as demand for processing goes up. This discusses key components of clusters and the role of Cluster Middleware in creating a Single System Image. The notes describe the Evolution of Metacomputing, which covers development and integration aspects of distributed computing resources. Other topics that are considered in this regard include resourcesharing concepts like Load Sharing and Balancing. Furthermore, Grid Computing and Cloud Computing, concepts based on distributed resources and remote servers, will also be discussed. It also deals with the provisioning of Virtual Machines and Time and Spaceshared provisioning in order to provide insight into some efficient resource management and virtualization issues in highperformance computing environments.
Author(s): VSS University of Technology
69 Pages
