Introduction to Probability and Statistics Using R
This is a textbook for an undergraduate course in probability and statistics. The approximate prerequisites are two or three... More > semesters of calculus and some linear algebra. Students attending the class include mathematics, engineering, and computer science majors....   Mathematical Logic for Computer Science: Third Edition
This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking....   
