Computer Science Introduction to Wolfram Mathematica
by Ilkka Kokkarinen
Publisher: Ryerson University 2014
Number of pages: 257
This book is an introduction to Wolfram and Mathematica written in computer science spirit, using this language not just for mathematics and equation solving but for all sorts of computer science examples and problems from the standard CS101 exercises all the way up to stuff that would be third or fourth year projects (graphs, logic, AI, learning, recursion).
Download or read it online for free here:
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 Brian Harvey - The MIT Press
This series is for people who are interested in computer programming because it's fun. The three volumes use the Logo as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence.
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.
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.