This book contains below topics, The way of the program, Variables, expressions, and statements, Functions, Conditionals and recursion, Iteration, Strings, Lists, dictionaries, and tuples, Files, Classes and objects, Classes and methods, Inheritance.
Author(s): Allen B. Downey, Green Tea Press
244 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 machineoriented calculi like analytical tableaux and resolution.
Author(s): Michael Kohlhase
179 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, SecondOrder Logic, SecondOrder 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
