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
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
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
InformationRetrieval (C.J. van Rijsgergen
Currently this section contains no detailed description for the page, will update this page soon.
Author(s):
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
Currently this section contains no detailed description for the page, will update this page soon.
Author(s):
Pages
How to ThinkLike a Computer Scientist
Currently this section contains no detailed description for the page, will update this page soon.
Author(s):
Pages
DesigningComputers and Digital Systems
Currently this section contains no detailed description for the page, will update this page soon.
Author(s):
Pages
Patternsfor Adaptive Programming (AP)
Currently this section contains no detailed description for the page, will update this page soon.
Author(s):
PagesAdvertisement
