Foundations of Computer Science
Foundations of Computer Science covers subjects that are often found split between a discrete mathematics course and a sophomore-level sequence in computer science in data structure. So here the author's intention is to select the mathematical foundations with an eye toward what the computer user really needs, rather than what a mathematician might choose.
Author(s): Jeff Ullman
NA 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 machine-oriented calculi like analytical tableaux and resolution.
Author(s): Michael Kohlhase
179 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
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, Second-Order Logic, Second-Order Quantifier Elimination, Modal Logics, Temporal Logic, Logics of Programs, Fixpoint Calculus, Rough Concepts.
Author(s): Andrzej Szalas
125 Pages
Introduction To Computer System by Tilak Maharashtra Vidyapeeth
This note covers the following topics: Components of a Computer System, Input Devices and Output Devices, PrimaryStorage and Secondary Storage Devices, Number Systems, Boolean algebra and Logic Circuits, Computer Software, Programming Languages and Program Development, Popular Operating System.
Author(s): Tilak Maharashtra Vidyapeeth
109 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
