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 
Overview of Computer Science by Phillip Barty Crouch Junior is broad but detailed in most key areas of computer science. It deals with algorithms, the prerequisite for problem-solving and data processing. Data representation and logic form the backbone through which computers understand and execute instructions and are thus discussed. It does also touch on the topics of machine organization and Moore's Law, referring to the exponential growth that has occurred in computing power. It also covers topics in computer security and algorithmic complexity, and software development practices. Python references and examples, with practical problems will enable readers to understand and apply the content by matching theory with hands-on programming.
Author(s): Phillip Barty Crouch Junior
238 Pages
Logic for Computer Science Lecture Notes
This lecture note provides a thorough introduction to the principles of propositional logic, an essential component of computer science. It begins with informal propositional logic and then delves into formal syntax, covering functions defined recursively and their semantics. The notes explore logical connectives and their roles in constructing and evaluating logical statements. Key topics include natural deduction, normal forms, and resolution methods, which are crucial for reasoning about logical propositions and solving logical problems. This resource is ideal for students seeking a solid foundation in propositional logic and its applications in computer science.
Author(s): Alexandru Ioan Cuza University
84 Pages
CS Unplugged is an entertaining way to help learn about the basics of computer science, using snacks, sorting games, and puzzles-none of which require a computer. The PDF covers basic material like data representation, algorithms, and procedures through to advanced and specialized topics such as intractability, cryptography, and human-computer interaction. This is ideal for teachers and students alike who seek knowledge about concepts in computer science using interactives with no digital support; therefore, suitable for any environment where the learning process takes place.
Author(s): Tim Bell, Ian H. Witten, Mike Fellows
243 Pages
The book "Logic for Computer Science" by Andrzej Szalas provides an in-depth discussion of several logical systems located at the heart of computer science. This in-depth PDF gives the basics—introducing the reader to some logics—leading to a very solid foundation on the Propositional Calculus and the Predicate Calculus. It goes on to show the application of these logics to automated deduction as both Propositional and Predicate Calculus. The text by this token goes further to illustrate advanced topics, including Second-Order Logic, Second-Order Quantifier Elimination, and Modal Logics. This text also goes on to consider Temporal Logic, Logics of Programs, and Fixpoint Calculus and demonstrates how these notions are used both theoretically and practically in the area of computing. With its breadth, this resource is invaluable in understanding the theoretical underpinnings of computer science and their practical applications in the areas of software development and automated reasoning.
Author(s): Andrzej Szalas
125 Pages
Overview "Computer Skills" by Qais A. Marji is a very important resource in basic computer skills development. This online resource varies in topic from basic computer components and their functions to more complex issues. It includes detailed discussions of computer viruses and protection measures that will help users understand how to protect their systems. The document introduces operating systems-DOS and Windows-additionally some essential application software: word processors, spreadsheet applications, and presentation applications. It further extends to cover the use of the internet and e-mail. This course is specially prepared for students and beginners with the aim of equipping them with practical skills in everyday computing tasks that would serve to increase their proficiency and build confidence in the use of technology.
Author(s): Qais. A. Marji
NA Pages
Lecture Notes On High Performance Computing
The following Lecture Notes on High Performance Computing from VSS University of Technology deal in-depth 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 resource-sharing 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 Space-shared provisioning in order to provide insight into some efficient resource management and virtualization issues in high-performance computing environments.
Author(s): VSS University of Technology
69 Pages
