Computer Science II
This course note explains computer programming concepts includes object-oriented programming techniques: class methods, wrapper classes for primitive types, inheritance, abstract classes, events and listeners, packaging your code as a stand-alone program or an applet, interfaces, garbage collection, introduction to exceptions; structured programming techniques: switch statements, nested loops, arrays (seaching, sorting, multidimensional).
Author(s): Pete Nordquist
NA 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
Mathematics for Computer Science
This text explains how to use mathematical models and methods to analyze problems that arise in computer science. Topics covered includes: Proofs , The Well Ordering Principle, Logical Formulas, Mathematical Data Types, Induction, Recursive Data Types, Infinite Sets, Structures, Number Theory, Directed graphs and Partial Orders, Communication Networks, Simple Graphs, Planar Graphs, Counting.
Author(s): Eric Lehman, F Thomson Leighton and Albert R Meyer
1006 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
This course note explains computer programming concepts includes object-oriented programming techniques: class methods, wrapper classes for primitive types, inheritance, abstract classes, events and listeners, packaging your code as a stand-alone program or an applet, interfaces, garbage collection, introduction to exceptions; structured programming techniques: switch statements, nested loops, arrays (seaching, sorting, multidimensional).
Author(s): Pete Nordquist
NA Pages
Logicfor Computer Science Foundations of Automatic Theorem Proving (Jean Gallier
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):
PagesAdvertisement
