A Machine Made this Book: Ten Sketches of Computer Science
by John Whitington
Publisher: Coherent Press 2016
Number of pages: 201
Using examples from the publishing industry, John Whitington introduces the fascinating discipline of Computer Science to the uninitiated. Chapters: Putting Marks on Paper; Letter Forms; Storing Words; Looking and Finding; Typing it In; Saving Space; Doing Sums; Grey Areas; Our Typeface; Words to Paragraphs.
Home page url
Download or read it online for free here:
by Stefan Hugtenburg, Neil Yorke-Smith - TU Delft Open
This is a textbook for a one quarter introductory course in theoretical computer science. It includes topics from propositional and predicate logic, proof techniques, set theory and the theory of computation, along with practical applications to CS.
by Carol Critchlow, David Eck - Hobart and William Smith Colleges
The book covers material on logic, sets, and functions that would often be taught in a course in discrete mathematics. The second part covers automata, formal languages, and grammar that would ordinarily be encountered in an upper level course.
by Carlos Ramírez Gutiérrez - InTech
A compilation of research works on topics such as concept theory, positive relational algebra and k-relations, structured, visual and ontological models of knowledge representation, and detailed descriptions of applications to various domains.
by Allen B. Downey
This book teaches you to think like a computer scientist - to combine the best features of mathematics, natural science, and engineering, to use formal languages to denote ideas, to observe the behavior of complex systems, form hypotheses, etc.