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 
Logic for Computer Science Lecture Notes
This lecture note covers introduction, Informal Propositional Logic, The Formal Syntax of Propositional Logic,Functions Defined Recursively on PL, Semantics of Propositional Logic, Logical Connectives, Natural Deduction, Normal Forms and Resolution in Propositional Logic.
Author(s): Alexandru Ioan Cuza University
84 Pages
This PDF covers the following topics related to Computer Science : Data the raw material—Representing information, Putting Computers to Work—Algorithms, Telling Computers What To Do—Representing Procedures, Really hard problems—Intractability, Sharing secrets and fighting crime-Cryptography, The human face of computing-Interacting with computers.
Author(s): Tim Bell, Ian H. Witten, Mike Fellows
243 Pages
Computer Science by Dr. Chris Bourke
The PDF covers the following topics related to Computer Science : Introduction, Basics, Conditionals, Loops, Functions, Error Handling, Arrays, Collections and Dynamic Memory, Strings, File Input/Output, Encapsulation and Objects, Recursion, Searching and Sorting, Graphical User Interfaces and Event Driven Programming, Introduction to Databases and Database Connectivity, Basics, Conditionals, Loops, Functions, Error Handling, Arrays, Strings, File I/O, Structures, Recursion, Searching and Sorting, The Java Programming Language, Conditionals, Loops, Methods, Error Handling and Exceptions, Arrays, Strings , File Input, Objects, Searching and Sorting, etc.
Author(s): Dr. Chris Bourke, Department of Computer Science and Engineering, University of Nebraska
647 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, Second-Order Logic, Second-Order Quantifier Elimination, Modal Logics, Temporal Logic, Logics of Programs, Fixpoint Calculus, Rough Concepts.
Author(s): Andrzej Szalas
125 Pages
This note provides an introduction to computer skills that gives all students the abilities and activities to know Computer components, computer functions and benefits, computer viruses and measure of protection, Introduction to operating systems, PCs operating systems (DOS and Windows), Application software including word processing, spreadsheets and presentation applications, Internet and email.
Author(s): Qais. A. Marji
NA Pages
Lecture Notes On High Performance Computing
This lecture note explains the following topics: Cluster Computing, Scalable Parallel Computer Architectures, Components for Clusters, Cluster Middleware and Single System Image, Evolution of Metacomputing, Load Sharing and Balancing, Grid Computing, Cloud Computing, Virtual Machine and its Provisioning, Time and Space-shared Provisioning.
Author(s): VSS University of Technology
69 Pages
