Introduction to General Computer Science
This Book contents provides a thorough exploration of computer science, algorithms, discrete mathematics, number systems, Boolean algebra, computer architecture, system software, and software correctness. Covering topics from maze generation algorithms to software verification, the document serves as a comprehensive guide to fundamental concepts in the field.
Author(s): Jorgen Schonwalder
255 Pages 
Introduction to General Computer Science
This Book contents provides a thorough exploration of computer science, algorithms, discrete mathematics, number systems, Boolean algebra, computer architecture, system software, and software correctness. Covering topics from maze generation algorithms to software verification, the document serves as a comprehensive guide to fundamental concepts in the field.
Author(s): Jorgen Schonwalder
255 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
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
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
Currently this section contains no detailed description for the page, will update this page soon.
Author(s):
Pages
CommunicatingSequential Processes (CSP)
Currently this section contains no detailed description for the page, will update this page soon.
Author(s):
Pages
Currently this section contains no detailed description for the page, will update this page soon.
Author(s):
Pages
Currently this section contains no detailed description for the page, will update this page soon.
Author(s):
Pages
