/  Computer Science Books /  Computer Science Books / 

Logicfor Computer Science Foundations of Automatic Theorem Proving (Jean Gallier

Logicfor Computer Science Foundations of Automatic Theorem Proving (Jean Gallier

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):

s Pages
Similar Books
Think Python

Think Python

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.

s244 Pages
Introduction to Theoretical Computer Science

Introduction to Theoretical Computer Science

This note covers Mathematical background, Computation and representation, Finite computation, Uniform computation, Efficient algorithms, Randomized computation and advanced topics.

s656 Pages
CS Unplugged

CS Unplugged

This PDF covers the following topics related to Computer Science, Data the raw materialRepresenting information, Putting Computers to WorkAlgorithms, Telling Computers What To DoRepresenting Procedures, Really hard problemsIntractability, Sharing secrets and fighting crimeCryptography, The human face of computingInteracting with computers.

s243 Pages
Computer Skills

Computer Skills

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.

sNA Pages