那伽邪無 Tech notes of DeerRIDER

156 Most Valuable Books for Computer Science Learners


This booklist, an extension to DeerRIDER’s private book collection, is established to help beginners and undergraduates build concrete programming skills and theoretical foundations, and identify their area of interest. Links to free PDF copies are given if exist.

Update: 2019-4-24
Maintainer: DeerRIDER
Amount: 156 books

Programming and Problem Solving

Programming is the process of designing and building an executable computer program for accomplishing a specific computing task. Programming involves tasks such as: analysis, generating algorithms, profiling algorithms’ accuracy and resource consumption, and the implementation of algorithms in a chosen programming language (commonly referred to as coding)

Introductions to Programming

How To Design Programs (HTDP), 2nd Edition, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

  • Readership: beginners, high school students
  • This introduction to programming places computer science at the core of a liberal arts education. Unlike other introductory books, it focuses on the program design process, presenting program design guidelines that show the reader how to analyze a problem statement, how to formulate concise goals, how to make up examples, how to develop an outline of the solution, how to finish the program, and how to test it. Because learning to design programs is about the study of principles and the acquisition of transferable skills, the text does not use an off-the-shelf industrial language but presents a tailor-made teaching language. For the same reason, it offers DrRacket, a programming environment for novices that supports playful, feedback-oriented learning.
  • HTML Verision: https://www.htdp.org/2019-02-24/

Introduction to Computation and Programming Using Python: With Application to Understanding Data, 2nd Edition, John V. Guttag

  • Readership: beginners, high school students
  • This book introduces the art of computational problem solving using Python and various Python libraries, including PyLab. It provides students with skills that will enable them to make productive use of computational techniques, including some of the tools and techniques of data science for using computation to model and interpret data.
  • Topics: Students are introduced to Python and the basics of programming in the context of such computational concepts and techniques as exhaustive enumeration, bisection search, and efficient approximation algorithms. Although it covers such traditional topics as computational complexity and simple algorithms, the book focuses on a wide range of topics not found in most introductory texts, including information visualization, simulations to model randomness, computational techniques to understand data, and statistical techniques that inform (and misinform) as well as two related but relatively advanced topics: optimization problems and dynamic programming. This edition offers expanded material on statistics and machine learning and new chapters on Frequentist and Bayesian statistics.
  • Free PDF Copy: https://doc.lagout.org/programmation/python/Introduction%20to%20Computation%20and%20Programming%20using%20Python%20%28rev.%20ed.%29%20%5BGuttag%202013-08-09%5D.pdf

Programming Languages: Application and Interpretation (PLAI), Version 2007, Shriram Krishnamurthi

  • Readership: beginners
  • The book differs from most other programming language texts in its attempt to wed two different styles of programming language education: one based on language surveys and another based on interpreters. In the former style, it can be too easy to ignore difficult technical points, which are sometimes best understood by trying to reproduce them (via implementation); in the latter, it can be too easy to miss the high-level picture in the forest of details. PLAI therefore interleaves the two, using the survey approach to motivate ideas and interpreters to understand them.
  • Free PDF Copy: http://cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/

Structure and Interpretation of Computer Programs (SICP),2nd Edition, 1996, Harold Abelson, Gerald Jay Sussman, Julie Sussman

  • Readership: udergraduates
  • The book describes computer science concepts using Scheme, a dialect of Lisp. It also uses a virtual register machine and assembler to implement Lisp interpreters and compilers. In the second edition, a new theme has been introduced that emphasizes the central role played by different approaches to dealing with time in computational models: objects with state, concurrent programming, functional programming and lazy evaluation, and nondeterministic programming. There are new example sections on higher-order procedures in graphics and on applications of stream processing in numerical programming, and many new exercises.
  • Free PDF Copy: https://web.mit.edu/alexmv/6.037/sicp.pdf

Computer Systems: A Programmers Perspective (CSAPP), 3rd Edition, 2015, Randal E. Bryant, David R. O’Hallaron

  • Readership: advanced undergraduates and graduates
  • Computer systems: A Programmer’s Perspective explains the underlying elements common among all computer systems and how they affect general application performance. Written from the programmer’s perspective, this book strives to teach readers how understanding basic elements of computer systems and executing real practice can lead them to create better programs. Spanning across computer science themes such as hardware architecture, the operating system, and systems software, the Third Edition serves as a comprehensive introduction to programming. This book strives to create programmers who understand all elements of computer systems and will be able to engage in any application of the field–from fixing faulty software, to writing more capable programs, to avoiding common flaws. It lays the groundwork for readers to delve into more intensive topics such as computer architecture, embedded systems, and cybersecurity.
  • Resources: http://csapp.cs.cmu.edu/

Problem Solving

Programming Pearls (PEARLS), 2nd Edition, 1999, Jon Bentley

  • Readership: advanced undergraduates and graduates
  • The “pearls” in question center not only on choosing the right algorithms (like binary searches, sorting techniques, or sparse arrays) but also on showing how to solve problems effectively. Each chapter frames a particular programming task–such as sorting numbers, creating anagrams, or counting the words in a block of text–many drawn from Bentley’s experiences in his long career as a developer. The book traces the process of arriving at a fast, efficient, and accurate solution, along with code profiling to discover what works best. After refining the correct answer, each chapter enumerates programming principles that you can use on your own. The author also challenges you to think like an engineer, and each chapter ends with about a dozen problems to get you thinking creatively about design issues. (Sidebars on such historical topics as the first computer solutions to computer chess, spell-checking, and even architectural design help create a perspective on successful problem solving and make for a truly educational and enjoyable tour of how to become a better programmer.) Bentley also asks the reader to think analytically about the world with “back of the envelope” estimation techniques drawn from engineering. Appendices list the algorithms and code rules covered in the book, plus some sample solutions.
  • Topics: Programming and problem-solving tutorial, sorting algorithms, merge sort, bit vectors, binary searches, program correctness and testing, improving performance, engineering and problem-solving techniques, performance estimates, designing for safety, divide-and-conquer and scanning algorithms, tuning code, tips for more efficient memory usage, insertion sort, quicksort algorithms, sparse arrays, searching algorithms, binary search trees, heaps, priority queues, searching text, and generating random text.
  • Free PDF Copy: https://tfetimes.com/wp-content/uploads/2015/04/ProgrammingPearls2nd.pdf

Hacker’s Delight, 2nd Edition, 2012, Henry S. Warren, Jr.

  • Readership: advanced undergraduates and graduates, researchers
  • Prerequisites:: C programming, data structure, algorithm analysis
  • In Hacker’s Delight, Second Edition, Hank Warren once again compiles an irresistible collection of programming hacks: timesaving techniques, algorithms, and tricks that help programmers build more elegant and efficient software, while also gaining deeper insights into their craft. Warren’s hacks are eminently practical, but they’re also intrinsically interesting, and sometimes unexpected, much like the solution to a great puzzle. They are, in a word, a delight to any programmer who is excited by the opportunity to improve.
  • Resources: https://www.hackersdelight.org/

Algorithms and Data Structures

Algorithms

An algorithm is an unambiguous specification of how to solve a class of problems. Algorithms can perform calculation, data processing, automated reasoning, and other tasks.

Algorithms, 4th Edition, 2011, Robert Sedgewick, Kevin Wayne

  • Readership: beginners
  • This book surveys the most important computer algorithms currently in use and provides a full treatment of data structures and algorithms for sorting, searching, graph processing, and string processing–including fifty algorithms every programmer should know.

Data Structures and Network Algorithms, 4th Edition, Robert Endre Tarjan, 1987

  • Readership: advanced undergraduates, researchers, software pactitioners
  • Four classical problems in network optimization are covered in detail, including a development of the data structures they use and an analysis of their running time. This book attempts to provide the reader with both a practical understanding of the algorithms, described to facilitate their easy implementation, and an appreciation of the depth and beauty of the field of graph algorithms.
  • Free PDF Copy: https://doc.lagout.org/Others/Data%20Structures/Data%20Structures%20and%20Network%20Algorithms%20%5BTarjan%201987-01-01%5D.pdf

Combinatorial Optimization: Theory and Algorithms, 6th Edition, 2018, Bernhard Korte, Jens Vygen

  • Readership: advanced undergraduates
  • This comprehensive textbook on combinatorial optimization places special emphasis on theoretical results and algorithms with provably good performance, in contrast to heuristics. It is based on numerous courses on combinatorial optimization and specialized topics, mostly at graduate level. This book reviews the fundamentals, covers the classical topics (paths, flows, matching, matroids, NP-completeness, approximation algorithms) in detail, and proceeds to advanced and recent topics, some of which have not appeared in a textbook before. Throughout, it contains complete but concise proofs, and also provides numerous exercises and references.

Approximation Algorithms, Vijay V. Vazirani

  • Readership: graduates, researchers
  • Covering the basic techniques used in the latest research work, the author consolidates progress made so far, including some very recent and promising results, and conveys the beauty and excitement of work in the field. He gives clear, lucid explanations of key results and ideas, with intuitive proofs, and provides critical examples and numerous illustrations to help elucidate the algorithms. Many of the results presented have been simplified and new insights provided.

Decision Procedures: an Algorithmic Point of View (DPAPV), 2nd Edition, Daniel Kroening, Ofer Strichman

  • Readership: advanced undergraduates and graduates
  • Prerequisites:: theoretical computer science foundations including formal proofs, the satisfiability problem, soundness and completeness
  • Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry. The authors introduce the basic terminology of satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories: propositional logic; equalities and uninterpreted functions; linear arithmetic; bit vectors; arrays; pointer logic; and quantified formulas.
  • Lecture slides: http://www.decision-procedures.org/

The Art of Computer Programming (TAOCP), Donald Knuth

  • Readership: advanced undergraduates and graduates, researchers
  • The first volume in the series begins with basic programming concepts and techniques, then focuses more particularly on information structures—the representation of information inside a computer, the structural relationships between data elements and how to deal with them efficiently. Elementary applications are given to simulation, numerical methods, symbolic computing, software and system design. The section on mathematical preliminaries has been extensively revised to match present trends in research.
  • The second volume offers a complete introduction to the field of seminumerical algorithms, with separate chapters on random numbers and arithmetic. The book summarizes the major paradigms and basic theory of such algorithms, thereby providing a comprehensive interface between computer programming and numerical analysis. Particularly noteworthy in this third edition is Knuth’s new treatment of random number generators, and his discussion of calculations with formal power series.
  • The third volume is the most comprehensive survey of classical computer techniques for sorting and searching. It extends the treatment of data structures in Volume 1 to consider both large and small databases and internal and external memories. The book contains a selection of carefully checked computer methods, with a quantitative analysis of their efficiency. Outstanding features of the second edition include a revised section on optimum sorting and new discussions of the theory of permutations and of universal hashing.

Foundations of Computer Science, C Edition, Alfred V. Aho, Jeffrey D. Ullman

  • Readership: C programmers, advanced undergraduates
  • Prerequisites: working knowledge of ANSI C
  • This book combines the theoretical foundations of computing with essential discrete mathematics. The book emphasizes three important problem-solving tools:
    • Data models, the abstractions used to describe problems. We have already men- tioned two models: logic and graphs. We shall meet many others throughout this book.4 COMPUTER SCIENCE: THE MECHANIZATION OF ABSTRACTION
    • Data structures, the programming-language constructs used to represent data models. For example, C provides built-in abstractions, such as structures and pointers, that allow us to construct data structures to represent complex ab- stractions such as graphs.
    • Algorithms, the techniques used to obtain solutions by manipulating data as represented by the abstractions of a data model, by data structures, or by other means.

Handbook of Scheduling: Algorithms, Models, and Performance Analysis, 2004, Joseph Y-T. Leung, James H. Anderson

  • Readership: researchers
  • Researchers in management, industrial engineering, operations, and computer science have intensely studied scheduling for more than 50 years, resulting in an astounding body of knowledge in this field. Handbook of Scheduling: Algorithms, Models, and Performance Analysis, the first handbook on scheduling, provides full coverage of the most recent and advanced topics on the subject. It assembles researchers from all relevant disciplines in order to facilitate cross-fertilization and create new scheduling insights.
  • Structure:

    • Part I introduces materials and notation, with tutorials on complexity theory and algorithms for the minimization of makespan, total completion time, dual objectives, maximum lateness, the number of late jobs, and total tardiness.
    • Part II is devoted to classical scheduling problems.
    • Part III explores scheduling models that originate in computer science, operations research, and management science.
    • Part IV examines scheduling problems that arise in real-time systems, focusing on meeting hard deadline constraints while maximizing machine utilization.
    • Part V discusses stochastic scheduling and queueing networks, highlighting jobs that are not deterministic.
    • Part VI covers applications, discussing scheduling problems in airline, process, and transportation industries, as well as in hospitals and educational institutions.
  • Handbook of Bioinspired Algorithms and Applications, 2005, Stephan Olariu, Albert Y. Zomaya
  • Readership: researchers
  • A repository of the theory and fundamentals of bioinspired algorithms as well as a manual for practical implementation, this authoritative handbook provides broad coverage in a single source along with numerous references to the available literature for more in-depth information.
  • Structure: The first section explains the fundamentals of techniques, such as evolutionary algorithms, swarm intelligence, cellular automata, and others. Detailed examples and case studies in the second section illustrate how to apply the theory in actually developing solutions to a particular problem based on a bioinspired technique.

Parallel and Distributed Algorithms

Distributed Algorithms, 1996, Nancy A. Lynch

  • Readership: advanced undergraduates and graduates, researchers
  • In Distributed Algorithms, Nancy Lynch provides a blueprint for designing, implementing, and analyzing distributed algorithms. She directs her book at a wide audience, including students, programmers, system designers, and researchers.

Parallel Algorithms, 2008, H Casanova, A Legrand, Y Robert

  • Readership: advanced undergraduates and graduates, researchers
  • Focusing on algorithms for distributed-memory parallel architectures, Parallel Algorithms presents a rigorous yet accessible treatment of theoretical models of parallel computation, parallel algorithm design for homogeneous and heterogeneous platforms, complexity and performance analysis, and essential notions of scheduling. The book extracts fundamental ideas and algorithmic principles from the mass of parallel algorithm expertise and practical implementations developed over the last few decades.
  • Free PDF Copy: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.466.8142&rep=rep1&type=pdf

Data Structures

A data structure is a collection of data values, the relationships among them, and the functions or operations that can be applied to the data.

Purely Functional Data Structures, 2009, Chris Okasaki

  • Readership: researchers
  • Most books on data structures assume an imperative language such as C or C++. However, data structures for these languages do not always translate well to functional languages such as Standard ML, Haskell, or Scheme. This book describes data structures from the point of view of functional languages, with examples, and presents design techniques that allow programmers to develop their own functional data structures. The author includes both classical data structures, such as red-black trees and binomial queues, and a host of new data structures developed exclusively for functional languages. All source code is given in Standard ML and Haskell, and most of the programs are easily adaptable to other functional languages. This handy reference for professional programmers working with functional languages can also be used as a tutorial or for self-study.

Handbook of Data Structures and Applications, 2nd Edition, 2018, Dinesh P. Mehta, Sartaj Sahni

  • Readership: researchers
  • The Handbook is invaluable for suggesting new ideas for research in data structures, and for revealing application contexts in which they can be deployed. Practitioners devising algorithms will gain insight into organizing data, allowing them to solve algorithmic problems more efficiently.
  • Stucture: The handbook begins with a review of introductory material, followed by a discussion of well-known classes of data structures, Priority Queues, Dictionary Structures, and Multidimensional structures. The editors next analyze miscellaneous data structures, which are well-known structures that elude easy classification. The book then addresses mechanisms and tools that were developed to facilitate the use of data structures in real programs. It concludes with an examination of the applications of data structures. Four new chapters have been added on Bloom Filters, Binary Decision Diagrams, Data Structures for Cheminformatics, and Data Structures for Big Data Stores.

Algorithm Analysis and Design

Using ideas from algorithm theory to creatively design solutions to real tasks.

Algorithm Design, 2005, Kleinberg Jon

  • Readership: advanced undergraduates
  • Algorithm Design introduces algorithms by looking at the real-world problems that motivate them. The book teaches students a range of design and analysis techniques for problems that arise in computing applications. The text encourages an understanding of the algorithm design process and an appreciation of the role of algorithms in the broader field of computer science.
  • Free PDF Copy: http://www.cs.sjtu.edu.cn/~jiangli/teaching/CS222/files/materials/Algorithm%20Design.pdf

The Algorithm Design Manual, 2008 Edition, Steven S S. Skiena

  • Readership: advanced undergraduates
  • This book serves as the primary textbook of choice for any algorithm design course while maintaining its status as the premier practical reference guide to algorithms. Free PDF Copy: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.471.4772&rep=rep1&type=pdf

Artificial Intelligence

Computer science defines AI research as the study of “intelligent agents”: any device that perceives its environment and takes actions that maximize its chance of successfully achieving its goals.

Artificial Intelligence: A Modern Approach (AIMA), 3rd Edition, 2009, Stuart Russell, Peter Norvig

  • Readership: advanced undergraduates and graduates, researchers
  • The long-anticipated revision of this best-selling book offers the most comprehensive, up-to-date introduction to the theory and practice of artificial intelligence.
  • Topics: Intelligent Agents. Solving Problems by Searching. Informed Search Methods. Game Playing. Agents that Reason Logically. First-order Logic. Building a Knowledge Base. Inference in First-Order Logic. Logical Reasoning Systems. Practical Planning. Planning and Acting. Uncertainty and Probabilistic Reasoning Systems. Making Simple Decisions. Making Complex Decisions. Learning from Observations. Learning with Neural Networks. Reinforcement Learning. Knowledge in Learning. Agents that Communicate. Practical Communication in English. Perception. Robotics.
  • Free PDF Copy and Resources: http://aima.cs.berkeley.edu/

Paradigms of Artificial Intelligence Programming: Case Studies in Common LISP (PAIP), 1992, Peter Norvig

  • Readership: advanced undergraduates, researchers
  • This book teaches how to build and debug robust practical AI systems, while demonstrating superior programming style and important AI concepts. The author strongly emphasizes the practical performance issues involved in writing real working programs of significant size. Chapters on troubleshooting and efficiency are included, along with a discussion of the fundamentals of object-oriented programming and a description of the main CLOS functions. This volume is an excellent text for a course on AI programming, a useful supplement for general AI courses and an indispensable reference for the professional programmer.
  • Free PDF Copy: https://pdfs.semanticscholar.org/1ba4/392a83afaa52bb89cdc8dfce08ce9bc7986d.pdf

Computer Vision

Computer vision is an interdisciplinary scientific field that deals with how computers can be made to gain high-level understanding from digital images or videos.

Computer Vision: Algorithms and Applications (CVAA), 2011th Edition, Richard Szeliski

  • Readership: undergraduates
  • Prerequisites:: knowledge in image processing or computer graphics
  • Computer Vision: Algorithms and Applications explores the variety of techniques commonly used to analyze and interpret images. It also describes challenging real-world applications where vision is being successfully used, both for specialized applications such as medical imaging, and for fun, consumer-level tasks such as image editing and stitching, which students can apply to their own personal photos and videos.
  • Topics: This book is structured to support active curricula and project-oriented courses, with tips in the Introduction for using the book in a variety of customized courses; presents exercises at the end of each chapter with a heavy emphasis on testing algorithms and containing numerous suggestions for small mid-term projects; provides additional material and more detailed mathematical topics in the Appendices, which cover linear algebra, numerical techniques, and Bayesian estimation theory; suggests additional reading at the end of each chapter, including the latest research in each sub-field, in addition to a full Bibliography at the end of the book.
  • Additional resources: http://szeliski.org/Book/.

Computer Vision: Models, Learning, and Inference, 2012, Simon J. D. Prince

  • Readership: advanced undergraduates and graduates
  • This modern treatment of computer vision focuses on learning and inference in probabilistic models as a unifying theme. It shows how to use training data to learn the relationships between the observed image data and the aspects of the world that we wish to estimate, such as the 3D structure or the object class, and how to exploit these relationships to make new inferences about the world from new image data. With minimal prerequisites, the book starts from the basics of probability and model fitting and works up to real examples that the reader can implement and modify to build useful vision systems.
  • Additional resources: www.computervisionmodels.com.

Machine Learning

Machine learning (ML) is the scientific study of algorithms and statistical models that computer systems use to effectively perform a specific task without using explicit instructions, relying on patterns and inference instead.

See Probability and Statistics for Computer Science for statistics for machine learning,

Interpretable Machine Learning: A Guide for Making Black Box Models Explainable (IML), Feb 21 2019, Christoph Molnar

  • Readership: advanced undergraduates
  • This book focuses on interpretable machine learning models for tabular data (also called relational or structured data) and topics include computer vision and natural language processing tasks.
  • Free E-Book: https://christophm.github.io/interpretable-ml-book/

Pattern Recognition and Machine Learning (PRML), 2011, Christopher M. Bishop

  • Readership: advanced undergraduates
  • Prerequisites: multivariate calculus, basic linear algebra
  • This is the first textbook on pattern recognition to present the Bayesian viewpoint. The book presents approximate inference algorithms that permit fast approximate answers in situations where exact answers are not feasible. It uses graphical models to describe probability distributions when no other books apply graphical models to machine learning. No previous knowledge of pattern recognition or machine learning concepts is assumed. , and some experience in the use of probabilities would be helpful though not essential as the book includes a self-contained introduction to basic probability theory.
  • Free PDF Copy: http://users.isr.ist.utl.pt/~wurmd/Livros/school/Bishop%20-%20Pattern%20Recognition%20And%20Machine%20Learning%20-%20Springer%20%202006.pdf

Machine Learning, A Probabilistic Perspective (MLAPP), 1st Edition, 2012, Kevin P. Murphy

  • Readership: researchers
  • Prerequisites:: basic multivariate calculus, probability, linear algebra, MATLAB programming
  • This textbook offers a comprehensive and self-contained introduction to the field of machine learning, based on a unified, probabilistic approach. The coverage combines breadth and depth, offering necessary background material on such topics as probability, optimization, and linear algebra as well as discussion of recent developments in the field, including conditional random fields, L1 regularization, and deep learning. The book is written in an informal, accessible style, complete with pseudo-code for the most important algorithms. All topics are copiously illustrated with color images and worked examples drawn from such application domains as biology, text processing, computer vision, and robotics. Rather than providing a cookbook of different heuristic methods, the book stresses a principled model-based approach, often using the language of graphical models to specify models in a concise and intuitive way. Almost all the models described have been implemented in a MATLAB software package―PMTK (probabilistic modeling toolkit)―that is freely available online. The book is suitable for upper-level undergraduates with an introductory-level college math background and beginning graduate students.
  • Free PDF Copy: https://doc.lagout.org/science/Artificial%20Intelligence/Machine%20learning/Machine%20Learning_%20A%20Probabilistic%20Perspective%20%5BMurphy%202012-08-24%5D.pdf

Neural Networks and Deep Learning: A Textbook (NNDL), 2018, Charu C. Aggarwal

  • Readership: graduate students, researchers, software pactitioners
  • This book covers both classical and modern models in deep learning. The primary focus is on the theory and algorithms of deep learning. The theory and algorithms of neural networks are particularly important for understanding important concepts, so that one can understand the important design concepts of neural architectures in different applications. The book is also rich in discussing different applications in order to give the practitioner a flavor of how neural architectures are designed for different types of problems. Applications associated with many different areas like recommender systems, machine translation, image captioning, image classification, reinforcement-learning based gaming, and text analytics are covered.
  • Structure:
    1. The basics of neural networks: Many traditional machine learning models can be understood as special cases of neural networks. An emphasis is placed in the first two chapters on understanding the relationship between traditional machine learning and neural networks. Support vector machines, linear/logistic regression, singular value decomposition, matrix factorization, and recommender systems are shown to be special cases of neural networks. These methods are studied together with recent feature engineering methods like word2vec.
    2. Fundamentals of neural networks: A detailed discussion of training and regularization is provided in Chapters 3 and 4. Chapters 5 and 6 present radial-basis function (RBF) networks and restricted Boltzmann machines.
    3. Advanced topics in neural networks: Chapters 7 and 8 discuss recurrent neural networks and convolutional neural networks. Several advanced topics like deep reinforcement learning, neural Turing machines, Kohonen self-organizing maps, and generative adversarial networks are introduced in Chapters 9 and 10.
  • Free PDF Copy: http://static.latexstudio.net/article/2018/0912/neuralnetworksanddeeplearning.pdf

Optimal Learning, 2012, Warren B. Powell, Ilya O. Ryzhov adaptive learning, information, randing and selection, knowledge gradient, bandit problems, linear belief models, subset selection problems, optimal bidding, stopping problems

  • Readership: undergraduates, researchers
  • Prerequisites: an elementary background in probability and statistics
  • Optimal Learning develops the needed principles for gathering information to make decisions, especially when collecting information is time-consuming and expensive. This book presents effective and practical policies illustrated in a wide range of applications, from energy, homeland security, and transportation to engineering, health, and business.
  • This book covers the fundamental dimensions of a learning problem and presents a simple method for testing and comparing policies for learning. Special attention is given to the knowledge gradient policy and its use with a wide range of belief models, including lookup table and parametric and for online and offline problems.
  • Structures: Each chapter identifies a specific learning problem, presents the related, practical algorithms for implementation, and concludes with numerous exercises.
    • Fundamentals explores fundamental topics, including adaptive learning, ranking and selection, the knowledge gradient, and bandit problems
    • Extensions and Applications features coverage of linear belief models, subset selection models, scalar function optimization, optimal bidding, and stopping problems
    • Advanced Topics explores complex methods including simulation optimization, active learning in mathematical programming, and optimal continuous measurements
  • Additional Resources: http://optimallearning.princeton.edu/

The Elementes of Statistical Learning: Data Mining, Inference, and Prediction, 2nd Edition, 2016, Trevor Hastie, Robert Tibshirani, Jerome Friedman

  • Readership: advanced undergraduates, statisticians
  • This book describes the important ideas in a variety of fields such as medicine, biology, finance, and marketing in a common conceptual framework. While the approach is statistical, the emphasis is on concepts rather than mathematics. Many examples are given, with a liberal use of colour graphics. It is a valuable resource for statisticians and anyone interested in data mining in science or industry.
  • Topics: supervised learning, unsupervised learning, neural networks, support vector machines, classification trees, boosting

Reinforcement Learning: An Introduction (RLAI), Nov 5, 2017, Richard S. Sutton, Andrew G. Barto

  • Readership: advanced undergraduates
  • Prerequisites: probability
  • This book provide a clear and simple account of the key ideas and algorithms of reinforcement learning. Reinforcement learning, one of the most active research areas in artificial intelligence, is a computational approach to learning whereby an agent tries to maximize the total amount of reward it receives when interacting with a complex, uncertain environment. In this book, Richard Sutton and Andrew Barto provide a clear and simple account of the key ideas and algorithms of reinforcement learning. Their discussion ranges from the history of the field’s intellectual foundations to the most recent developments and applications.
  • Structure:
    • Part I defines the reinforcement learning problem in terms of Markov decision processes.
    • Part II provides basic solution methods: dynamic programming, Monte Carlo methods, and temporal-difference learning.
    • Part III presents a unified view of the solution methods and incorporates artificial neural networks, eligibility traces, and planning; the two final chapters present case studies and consider the future of reinforcement learning.
  • Free PDF Copy: http://incompleteideas.net/book/bookdraft2017nov5.pdf

Natural Language Processing

Natural language processing (NLP) is a subfield of computer science concerned with the interactions between computers and human (natural) languages, in particular how to program computers to process and analyze large amounts of natural language data.

Speech and Language Processing, 2nd Edition, 2008, Dan jurasfsky, James H. Martin

  • Readership: advanced undergraduates
  • This text takes an empirical approach to the subject, based on applying statistical and other machine-learning algorithms to large corporations. The authors cover areas that traditionally are taught in different courses, to describe a unified vision of speech and language processing. Emphasis is on practical applications and scientific evaluation. An accompanying Website contains teaching materials for instructors, with pointers to language processing resources on the We

Neural Network Methods for Natural Language Processing, 2017, Yoav Goldberg

  • Readership: advanced undergraduates
  • Prerequisites:: undergraduate level of probability, algebra, and calculus, as well as basic knowledge of algorithms and data structures
  • Neural networks are a family of powerful machine learning models. This book focuses on the application of neural network models to natural language data.
  • Structure:
    • Parts I and II cover the basics of supervised machine learning and feed-forward neural networks, the basics of working with machine learning over language data, and the use of vector-based rather than symbolic representations for words. It also covers the computation-graph abstraction, which allows to easily define and train arbitrary neural networks, and is the basis behind the design of contemporary neural network software libraries.
    • Parts III and IV introduce more specialized neural network architectures, including 1D convolutional neural networks, recurrent neural networks, conditioned-generation models, and attention-based models. These architectures and techniques are the driving force behind state-of-the-art algorithms for machine translation, syntactic parsing, and many other applications. Finally, we also discuss tree-shaped networks, structured prediction, and the prospects of multi-task learning.

Robotics

Algorithms for controlling the behaviour of robots.

Modern Robotics: Mechanics, Planning, and Control (MR), 1st Edition, 2017, Frank C. Park, Kevin M. Lynch

  • Readership: advaned undergraduates
  • Prerequisites: freshman-level physics, ordinary differential equations, linear algebra and a little bit of computing background
  • This introduction to robotics offers a distinct and unified perspective of the mechanics, planning and control of robots. Modern Robotics presents the state-of-the-art, screw-theoretic techniques capturing the most salient physical features of a robot in an intuitive geometrical way. With numerous exercises at the end of each chapter, accompanying software written to reinforce the concepts in the book and video lectures aimed at changing the classroom experience, this is the go-to textbook for learning about this fascinating subject.
  • Free PDF Copy: http://hades.mech.northwestern.edu/images/7/7f/MR.pdf

Springer Handbook of Robotics, 2nd Edition, 2017, Bruno Siciliano, Oussama Khatib

  • Readership: researchers
  • The second edition of this handbook provides a state-of-the-art cover view on the various aspects in the rapidly developing field of robotics. The contents have been restructured to achieve four main objectives: the enlargement of foundational topics for robotics, the enlightenment of design of various types of robotic systems, the extension of the treatment on robots moving in the environment, and the enrichment of advanced robotics applications. Further to an extensive update, fifteen new chapters have been introduced on emerging topics, and a new generation of authors have joined the handbook’s team.

Expert Systems

Expert systems are designed to solve complex problems by reasoning through bodies of knowledge, represented mainly as if–then rules rather than through conventional procedural code.

See: Fuzzy Logic Theory and Applications: Part I and Part II.

Introduction to Expert Systems, 3rd Edition, Jackson P., Addison Wesley

  • Readership: advanced undergraduates
  • This third edition of Peter Jackson’s best-selling book updates the technological base of expert systems research and embeds those developments in a wide variety of application areas. The earlier chapters have been refocused to take a more practical approach to the basic topics, while the later chapters introduce new topic areas such as case-based reasoning, connectionist systems and hybrid systems. Results in related areas, such as machine learning and reasoning with uncertainty, are also accorded a thorough treatment. The new edition contains many new examples and exercises, most of which are in CLIPS, a language that combines production rules with object-oriented programming. LISP, PROLOG and C++ are also featured where appropriate. Interesting problems are posed throughout, and are solved in exercises involving the analysis, design and implementation of CLIPS programs.

Intelligent Systems for Engineers and Scientists, 3rd Edition, Adrian A. Hopgood

  • Readership: researchers
  • The book examines the principles of artificial intelligence and their application to engineering and science, as well as techniques for developing intelligent systems to solve practical problems. Covering the full spectrum of intelligent systems techniques, it incorporates knowledge-based systems, computational intelligence, and their hybrids. New edition includes expanded and separated chapters on genetic algorithms and single-candidate optimization techniques, while the chapter on neural networks now covers spiking networks and a range of recurrent networks. The book also provides extended coverage of fuzzy logic, including type-2 and fuzzy control systems. Example programs using rules and uncertainty are presented in an industry-standard format, so that you can run them yourself.

Fuzzy Expert Systems and Fuzzy Reasoning, 1st Edition, 2004, Willian Siler, James J. Buckley

  • Readership: advanced undergraduates and graduates, researchers
  • This book presents how to actually write and debug fuzzy expert systems. Coverage is accessible to practitioners and academic readers alike.
  • Topics: fuzzy logic, fuzzy set theory, rule-based expert systems, FLOPS system language

The Handbook of Applied Expert Systems, 1997, Jay Liebowitz

  • Readership: researchers
  • The Handbook of Applied Expert Systems is a landmark work dedicated solely to this rapidly advancing area of study. Edited by Jay Liebowitz, a professor, author, and consultant known around the world for his work in the field, this authoritative source covers the latest expert system technologies, applications, methodologies, and practices. The book features contributions from more than 40 of the world’s foremost expert systems authorities in industry, government, and academia.
  • Stucture: The first section explains expert systems technologies while the second section focuses on applied examples in a wide variety of industries.
  • Topics: fuzzy systems, genetic algorithm development, machine learning, knowledge representation, and much more.

Knowledge Management

Knowledge management (KM) is the process of creating, sharing, using and managing the knowledge and information of an organisation.

Knowledge Representation, Reasoning and Declarative Problem Solving, 1st Edition, 2003, Chitta Baral

  • Readership: graduates, researchers, software pactitioners, knowledge engineers
  • Chitta Baral demonstrates how to write programs that behave intelligently by giving them the ability to express knowledge and reason about it. He presents a language, AnsProlog, for both knowledge representation and reasoning, and declarative problem solving.
  • Free PDF Copy: https://www.phil.pku.edu.cn/cllct/ann_attachments/chitta.pdf

Handbook of Knowledge Representation, 1st Edition, 2008, Frank van Harmelen, Vladimir Lifschitz, Bruce Porter

  • Readership: graduates, researchers, software pactitioners, knowledge engineers
  • Handbook of Knowledge Representation describes the essential foundations of Knowledge Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up-to-date review of twenty-five key topics in knowledge representation, written by the leaders of each field. It includes a tutorial background and cutting-edge developments, as well as applications of Knowledge Representation in a variety of AI systems.
  • Structure:
    • Part I deals with general methods in Knowledge Representation and reasoning and covers such topics as classical logic in Knowledge Representation; satisfiability solvers; description logics; constraint programming; conceptual graphs; nonmonotonic reasoning; model-based problem solving; and Bayesian networks.
    • Part II focuses on classes of knowledge and specialized representations, with chapters on temporal representation and reasoning; spatial and physical reasoning; reasoning about knowledge and belief; temporal action logics; and nonmonotonic causal logic.
    • Part III discusses Knowledge Representation in applications such as question answering; the semantic web; automated planning; cognitive robotics; multi-agent systems; and knowledge engineering.

Constraint Programming

Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science, databases, programming languages, and operations research. Constraint programming is currently applied with success to many domains, such as scheduling, planning, vehicle routing, configuration, networks, and bioinformatics.

Essentials of Constraint Programming, 1st Edition, Thom Frühwirth, Slim Abdennadher

  • Readership: graduates, researchers
  • The book is a short, concise and complete presentation of constraint programming and reasoning. The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and solve problems with uncertain, incomplete information and combinatorial problems, as they are abundant in industry and commerce, such as scheduling, planning, transportation, resource allocation, layout, design and analysis. The theoretically well-founded presentation includes application examples from real life. It introduces the common classes of constraint programming languages and constraint systems in a uniform way. Constraint solving algorithms are specified and implemented in the constraint handling rules language (CHR).

Handbook of Constraint Programming, 1st Edition, 2006, Francesca Rossi, Peter van Beek, Toby Walsh

  • Readership: advanced undergraduates, graduates, researchers, software pactitioners
  • The aim of this handbook is to capture the full breadth and depth of the constraint programming field and to be encyclopedic in its scope and coverage. While there are several excellent books on constraint programming, such books necessarily focus on the main notions and techniques and cannot cover also extensions, applications, and languages. The handbook gives a reasonably complete coverage of all these lines of work, based on constraint programming, so that a reader can have a rather precise idea of the whole field and its potential. Of course each line of work is dealt with in a survey-like style, where some details may be neglected in favor of coverage. However, the extensive bibliography of each chapter will help the interested readers to find suitable sources for the missing details. Each chapter of the handbook is intended to be a self-contained survey of a topic, and is written by one or more authors who are leading researchers in the area.
  • Structure:
    • Part I covers the basic foundations of constraint programming, including the history, the notion of constraint propagation, basic search methods, global constraints, tractability and computational complexity, and important issues in modeling a problem as a constraint problem.
    • Part II covers constraint languages and solver, several useful extensions to the basic framework (such as interval constraints, structured domains, and distributed CSPs), and successful application areas for constraint programming.

Networking and Security

Networking

Algorithms and protocols for reliably communicating data across different shared or dedicated media, often including error correction.

Computer Networking: A Top-Down Approach (CNTDA), 7th Edition, 2016, Kurose Ross

  • Readership: beginners, undergraduates
  • Unique among computer networking texts, the Seventh Edition of the popular Computer Networking: A Top Down Approach builds on the author’s long tradition of teaching this complex subject through a layered approach in a “top-down manner.” The text works its way from the application layer down toward the physical layer, motivating readers by exposing them to important concepts early in their study of networking. Focusing on the Internet and the fundamentally important issues of networking, this text provides an excellent foundation for readers interested in computer science and electrical engineering, without requiring extensive knowledge of programming or mathematics. The Seventh Edition has been updated to reflect the most important and exciting recent advances in networking.
  • Free PDF Copy: http://ce.sharif.edu/courses/94-95/2/ce443-3/resources/root/Book/fqo47.Computer.Networking.A.TopDown.Approach.6th.Edition.pdf

Computer Security

Practical aspects of securing computer systems and computer networks.

Security Engineering: A Guide to Building Dependable Distributed Systems, 2nd Edition, 2008, Ross J. Anderson

  • Readership: undergraduates
  • In this indispensable, fully updated guide, Ross Anderson reveals how to build systems that stay dependable whether faced with error or malice. Here’s straight talk on critical topics such as technical engineering basics, types of attack, specialized protection mechanisms, security psychology, policy, and more.
  • Free PDF Copy: https://www.cl.cam.ac.uk/~rja14/musicfiles/manuscripts/SEv1.pdf

Cryptography

Applies results from complexity, probability, algebra and number theory to invent and break codes, and analyze the security of cryptographic protocols.

Applied Cryptography: Protocols, Algorithms, and Source Code in C, 20th Anniversary Edition, 2015, Bruce Schneier

  • Readership: undergraduates, researchers
  • From the world’s most renowned security technologist, Bruce Schneier, this 20th Anniversary Edition is the most definitive reference on cryptography ever published and is the seminal work on cryptography. Cryptographic techniques have applications far beyond the obvious uses of encoding and decoding information. For developers who need to know about capabilities, such as digital signatures, that depend on cryptographic techniques, there’s no better overview than Applied Cryptography, the definitive book on the subject. Bruce Schneier covers general classes of cryptographic protocols and then specific techniques, detailing the inner workings of real-world cryptographic algorithms including the Data Encryption Standard and RSA public-key cryptosystems. The book includes source-code listings and extensive advice on the practical aspects of cryptography implementation, such as the importance of generating truly random numbers and of keeping keys secure.

Computer Architecture

Computer Architecture

The design, organization, optimization and verification of a computer system, mostly about CPUs and Memory subsystem (and the bus connecting them).

Computer Organization and Design (COAD), 5th Edition, 2014, David A. Patterson, John L. Hennessy

  • Readership: undergraduates and graduates
  • Computer Organization and Design, Fifth Edition, is the latest update to the classic introduction to computer organization. The text now contains new examples and material highlighting the emergence of mobile computing and the cloud. It explores this generational change with updated content featuring tablet computers, cloud infrastructure, and the ARM (mobile computing devices) and x86 (cloud computing) architectures. The book uses a MIPS processor core to present the fundamentals of hardware technologies, assembly language, computer arithmetic, pipelining, memory hierarchies and I/O.B ecause an understanding of modern hardware is essential to achieving good performance and energy efficiency, this edition adds a new concrete example, Going Faster, used throughout the text to demonstrate extremely effective optimization techniques. There is also a new discussion of the Eight Great Ideas of computer architecture. Parallelism is examined in depth with examples and content highlighting parallel hardware and software topics. The book features the Intel Core i7, ARM Cortex-A8 and NVIDIA Fermi GPU as real-world examples, along with a full set of updated and improved exercises.
  • Free PDF Copy: http://ac.aua.am/arm/public/2017-Spring-Computer-Organization/Textbooks/ComputerOrganizationAndDesign5thEdition2014.pdf

Principles of Computer System Design: An Introduction (PCSD), 2009, M. Frans Kaashoek, Jerome H.

  • Readership: researchers, software practitioners
  • Prerequisites:: introductory courses on software and hardware
  • Principles of Computer System Design is the first textbook to take a principles-based approach to the computer system design. It identifies, examines, and illustrates fundamental concepts in computer system design that are common across operating systems, networks, database systems, distributed systems, programming languages, software engineering, security, fault tolerance, and architecture. Through carefully analyzed case studies from each of these disciplines, it demonstrates how to apply these concepts to tackle practical system design problems. To support the focus on design, the text identifies and explains abstractions that have proven successful in practice such as remote procedure call, client/service organization, file systems, data integrity, consistency, and authenticated messages. Most computer systems are built using a handful of such abstractions. The text describes how these abstractions are implemented, demonstrates how they are used in different systems, and prepares the reader to apply them in future designs.
  • Free PDF Copy: https://ocw.mit.edu/resources/res-6-004-principles-of-computer-system-design-an-introduction-spring-2009/online-textbook/part_ii_open_5_0.pdf

Operating Systems

An operating system (OS) is system software that manages computer hardware and software resources and provides common services for computer programs.

Operating Systems: Three Easy Pieces (OSTEP), v1.0, 2018, Remzi H. Arpaci, Andrea C. Arpaci

  • Readership: undergraduates
  • The book is organized around three concepts fundamental to OS construction: virtualization (of CPU and memory), concurrency (locks and condition variables), and persistence (disks, RAIDS, and file systems). The material, if combined with serious project work and homeworks, will lead students to a deeper understanding and appreciation of modern OSes.
  • Free PDF Copy: ostep.org

Modern Operating Systems (MOS), 4th Edition, 2015, Andrew S. Tanenbaum, Herbert Bos

  • Readership: advanced undergraduates, researchers
  • An up-to-date overview of operating systems presented by world-renowned computer scientist and author, Andrew Tanenbaum.
  • Structure:
    • Part I covers processes, memory management, file systems, I/O systems, and deadlocks in single operating system environments.
    • Part II covers communication, synchronization process execution, and file systems in a distributed operating system environment.
    • Study cases including UNIX, Linux, Windows 8 and Android.
  • Free PDF Copy: http://stst.elia.pub.ro/news/SO/Modern%20Operating%20System%20-%20Tanenbaum.pdf

Concurrent, Parallel, and Distributed Systems

The terms “concurrent computing”, “parallel computing”, and “distributed computing” have a lot of overlap, and no clear distinction exists between them. In Wikipedia, concurrent computing is a form of computing in which several computations are executed during overlapping time periods—concurrently—instead of sequentially. Parallel computing is a type of computation in which many calculations or the execution of processes are carried out simultaneously. Large problems can often be divided into smaller ones, which can then be solved at the same time. There are several different forms of parallel computing: bit-level, instruction-level, data, and task parallelism. Distributed computing is a field of computer science that studies distributed systems. A distributed system is a system whose components are located on different networked computers, which communicate and coordinate their actions by passing messages to one another.

See: Distributed and Parallel Algorithms, Distributed Systems, Quantum Computing Theory.

Parallel Programming in C with MPI and OpenMP, 1st Edition, 2003, Quinn

  • Readership: advanced undergraduates and graduates, researchers
  • Prerequisites:: hard-core c programming skill
  • This book explains the way thinking and reasoning in a parallel way and a 4-step parallel program design method: partitioning, communication, agglomeration and mapping. It introduces a rock-solid design methodology with coverage of the most important mpi functions and openmp directives. It also demonstrates, through a wide range of examples, how to develop parallel programs that will execute efficiently on today’s parallel platforms.

CUDA Programming: A Developer’s Guide to Parallel Computing with GPUs, 2012, Shane Cook

  • Readership: researchers
  • Prerequisites:: C/C++ programming
  • CUDA Programming: A Developer’s Introduction offers a detailed guide to CUDA with a grounding in parallel fundamentals. It starts by introducing CUDA and bringing you up to speed on GPU parallelism and hardware, then delving into CUDA installation. Chapters on core concepts including threads, blocks, grids, and memory focus on both parallel and CUDA-specific issues. Later, the book demonstrates CUDA in practice for optimizing applications, adjusting to new hardware, and solving common problems.

Handbook of Parallel Computing: Models, Algorithms and Applications, 1st Edition, 2018, Sanguthevar Rajasekaran, John Reif

  • Readership: advanced undergraduates and graduates, researchers
  • The ability of parallel computing to process large data sets and handle time-consuming operations has resulted in unprecedented advances in biological and scientific computing, modeling, and simulations. Exploring these recent developments, the Handbook of Parallel Computing: Models, Algorithms, and Applications provides comprehensive coverage on all aspects of this field.

Handbook of Parallel Constraint Reasoning, 2018 Edition, Youssef Hamadi, Lakhdar Sais

  • Readership: advanced undergraduates and graduates, researchers
  • This is the first book presenting a broad overview of parallelism in constraint-based reasoning formalisms. In recent years, an increasing number of contributions have been made on scaling constraint reasoning thanks to parallel architectures. The goal in this book is to overview these achievements in a concise way, assuming the reader is familiar with the classical, sequential background. It presents work demonstrating the use of multiple resources from single machine multi-core and GPU-based computations to very large scale distributed execution platforms up to 80,000 processing units.
  • The contributions in the book cover the most important and recent contributions in parallel propositional satisfiability (SAT), maximum satisfiability (MaxSAT), quantified Boolean formulas (QBF), satisfiability modulo theory (SMT), theorem proving (TP), answer set programming (ASP), mixed integer linear programming (MILP), constraint programming (CP), stochastic local search (SLS), optimal path finding with A*, model checking for linear-time temporal logic (MC/LTL), binary decision diagrams (BDD), and model-based diagnosis (MBD).

Limits to Parallel Computation: P-Completeness theory, 1995, R Greenlaw, H Hoover, W Ruzzo

  • Readership: researchers
  • Free PDF Copy: https://homes.cs.washington.edu/~ruzzo/papers/limits.pdf

Distributed Systems

Computing using multiple computing devices over a network to accomplish a common objective or task and thereby reducing the latency involved in single processor contributions for any task.

Distributed Systems: Principles and Paradigms (DSPP), Version 3.01, 2017, Maarten van Steen, Andrew S. Tanenbaum

  • Readership: advanced undergraduates and graduates, researchers
  • This book covers the principles, advanced concepts, and technologies of distributed systems in detail, including: communication, replication, fault tolerance, and security. This text systematically shows how distributed systems are designed and implemented in real systems.
  • Free PDF Copy: http://barbie.uta.edu/~jli/Resources/MapReduce&Hadoop/Distributed%20Systems%20Principles%20and%20Paradigms.pdf

Distributed Systems: An Algorithmic Approach (DSAA), Second Edition, 2014, Sukumar Ghosh

  • Readership: advanced undergraduates and graduates, researchers
  • Distributed Systems: An Algorithmic Approach, Second Edition provides a balanced and straightforward treatment of the underlying theory and practical applications of distributed computing.

Operating Systems: Concurrent and Distributed Software Design, 2003, Jean Bacon

  • Readership: advanced undergraduates and graduates, researchers
  • Underlying this book is the premise that distributed systems are now commonplace and a reader is more likely to be using one than a centralized time-sharing system. This modern approach therefore avoids the focus on centralized systems, instead placing the operating system within its context and providing an overview of system components and their relationships.
  • Structure:
    • System Design, covering the basic operating system functions and describing the abstraction and implementation of a system as a community of (possibly distributed) concurrent processes. Distributed systems are introduced and a chapter on system security is included.
    • Concurrency Control in Main Memory, focusing on concurrency control in operating systems and application-level systems and exploring inter-process communication (IPC) in the context of (distributed) system design.
    • Transactions, demonstrating the general applicability of concurrent composite operations.
    • Case Studies, considering different systems in the light of the perspective developed in the book: Classical UNIX; Linux, Solaris and Contemporary Unix; Extensible Systems; Windows 2000; Web Programming; Middleware; and Transaction Processing Systems.The Java language has been used throughout to illustrate object-oriented concepts, concurrent algorithms and distributed programming and the book includes a chapter on system security. The case studies, covering a full suite of professional operating systems, enable the course to be taught as a blend of theory and practice, so that on completion of the course a student is able to adapt and build real operating systems that function within a distributed environment.

Databases

Readings in Database Systems, 4th Edition, 2005, Joseph M. Hellerstein, Michael Stonebraker

  • Readership: undergraduates, researchers
  • Lessons from database research have been applied in academic fields ranging from bioinformatics to next-generation Internet architecture and in industrial uses including Web-based e-commerce and search engines. The core ideas in the field have become increasingly influential. This text provides both students and researchers with a grounding in database research and a technical context for understanding recent innovations in the field. The readings included treat the most important issues in the database area―the basic material for any DBMS professional.
  • Free E-book: http://www.redbook.io/

Data Mining

Study of algorithms for searching and processing information in documents and databases; closely related to information retrieval.

See Pattern Recognition and Machine Learning (PRML) and The Elementes of Statistical Learning: Data Mining, Inference, and Prediction.

Mathematics and Theory of Computation

Mathematical Foundation of Programs

A Programmer’s Introduction to Mathematics, 2018, Jeremy Kun

  • Readership: beginners
  • A Programmer’s Introduction to Mathematics uses your familiarity with ideas from programming and software to teach mathematics. You’ll learn about the central objects and theorems of mathematics, including graphs, calculus, linear algebra, eigenvalues, optimization, and more. You’ll also be immersed in the often unspoken cultural attitudes of mathematics, learning both how to read and write proofs while understanding why mathematics is the way it is. As you learn, we’ll use new mathematical ideas to create wondrous programs, from cryptographic schemes to neural networks to hyperbolic tessellations.
  • Related resources: https://gumroad.com/l/pim-book

Software Foundations

  • Readership: advanced undergraduates and graduates, researchers
  • The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software. The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a “proof script” for the Coq proof assistant.
  • Original Version: https://softwarefoundations.cis.upenn.edu/
  • Chinese Version: https://coq-zh.github.io/SF-zh/index.html?nsukey=GCe32v18W99ZzBcqbNRg3%2BfkpCQNADG7nUx1%2FRc7aQ7YG%2BR8wbKZp4iwuJRnH9ya2FiSREipj4aDAWB7TIa3wOInIF40m2oENjwVf2bthsgU%2Bp84a0xxXPvUf727McZiXVYGrZ1BA2qO%2BaJ6%2FX3aig%3D%3D

Concrete Mathematics: A Foundation for Computer Science, 2nd Edition, Ronald L. Graham, Donald E. Knuth, Oren Patashnik

  • Readership: advanced undergraduates and graduates
  • This book introduces the mathematics that supports advanced computer programming and the analysis of algorithms. The primary aim of its well-known authors is to provide a solid and relevant base of mathematical skills-the skills needed to solve complex problems, to evaluate horrendous sums, and to discover subtle patterns in data.
  • Topics: sums, recurrences, elementary Number Theory, binomial coefficients, generating functions, discrete probability and asymptotic methods.

Number Theory

An Introduction To The Theory Of Numbers, 6th Edition, 2008, Ivan Niven, Hugh L. Montgomery, Herbert S. Zuckerman

  • Readership: beginners
  • An Introduction to the Theory of Numbers by G. H. Hardy and E. M. Wright is found on the reading list of virtually all elementary number theory courses and is widely regarded as the primary and classic text in elementary number theory. Updates include a chapter by J. H. Silverman on one of the most important developments in number theory - modular elliptic curves and their role in the proof of Fermat’s Last Theorem – a foreword by A. Wiles, and comprehensively updated end-of-chapter notes detailing the key developments in number theory. Suggestions for further reading are also included for the more avid reader.

Discrete Mathematics

Discrete mathematics is the study of mathematical structures that are fundamentally discrete rather than continuous.

Mathematics for Computer Science (MCS), 2018, Eric Lehman, F Thomson Leighton, Albert R Meyer

  • Readership: beginners
  • This book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods.
  • Topics: formal logic notation, proof methods; induction, well-ordering; sets, relations; elementary graph theory; integer congruences; asymptotic notation and growth of functions; permutations and combinations, counting principles; discrete probability. Further selected topics may also be covered, such as recursive definition and structural induction; state machines and invariants; recurrences; generating functions.
  • Free PDF Copy: https://courses.csail.mit.edu/6.042/spring18/mcs.pdf

Discrete Mathematics and Its Applications (DMIA), 7th Edition, 2017, Kenneth H. Rosen

  • Readership: undergraduates, engineers, researchers
  • This book is intended for one- or two-term introductory discrete mathematics courses taken by students from a wide variety of majors, including computer science, mathematics, and engineering.
  • Free PDF Copy: http://www2.fiit.stuba.sk/~kvasnicka/Mathematics%20for%20Informatics/Rosen_Discrete_Mathematics_and_Its_Applications_7th_Edition.pdf

Probability and Statistics

Probability Theory and Examples, 5th Edition, 2019, Rick Durrett

  • Readership: undergraduates
  • This lively introduction to measure-theoretic probability theory covers laws of large numbers, central limit theorems, random walks, martingales, Markov chains, ergodic theorems, and Brownian motion. Concentrating on results that are the most useful for applications, this comprehensive treatment is a rigorous graduate text and reference.

Probability and Statistics for Computer Science, 2018, David Forsyth

  • Readership: advanced undergraduates
  • This textbook is aimed at computer science undergraduates late in sophomore or early in junior year, supplying a comprehensive background in qualitative and quantitative data analysis, probability, random variables, and statistical methods, including machine learning.
  • Topics: simple point inference strategies including maximum likelihood and Bayesian inference, classification, regression, principal components analysis, clustering via agglomerative methods and k-means

Theory of Computation

The theory of computation is the branch that deals with how efficiently problems can be solved on a model of computation, using an algorithm. The field is divided into three major branches: automata theory and languages, computability theory, and computational complexity theory,

See also: Computablity Theory

Introduction to the Theory of Computation, 3rd Edition, 2012, Michael Sipser

  • Readership: advanced undergraduates
  • With this best-know books on Theory of Computation, you will gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with a blend of practical and philosophical coverage and mathematical treatments, including advanced theorems and proofs.

Introduction to Languages and The Theory of Computation, 4th Edition, John Martin

  • Readership: undergraduates
  • Introduction to Languages and the Theory of Computation helps students make the connection between the practice of computing and an understanding of the profound ideas that defines it.

The Calculus of Computation: Decision Procedures with Applications to Verification, 2007th Edition, Aaron R. Bradley, Zohar Manna

  • Readership: advanced undergraduates and graduates, researchers
  • This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The textbook also presents a logical approach to engineering correct software. Verification exercises are given to develop the reader’s facility in specifying and verifying software using logic. The treatment of verification concludes with an introduction to the static analysis of software, an important component of modern verification systems.

Automata Theory

The study of abstract machines and automata, as well as the computational problems that can be solved using them.

An Introduction to Formal Languages and Automata, 6th Edition, 2016, Peter Linz

  • Readership: advanced undergraduates and graduates
  • An Introduction to Formal Languages and Automata, Sixth Edition provides an accessible, student-friendly presentation of all material essential to an introductory Theory of Computation course. Written to address the fundamentals of formal languages, automata, and computability, the text is designed to familiarize students with the foundations and principles of computer science and to strengthen the students’ ability to carry out formal and rigorous mathematical arguments.

Introduction To Automata Theory Languages, and Computation, 3rd Edition, 2006, John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman

  • Readership: advanced undergraduates and graduates
  • This classic book on formal languages, automata theory, and computational complexity has been updated to present theoretical concepts in a concise and straightforward manner with the increase of hands-on, practical applications. This new edition comes with Gradiance, an online assessment tool developed for computer science. Gradiance is the most advanced online assessment tool developed for the computer science discipline. With its innovative underlying technology, Gradiance turns basic homework assignments and programming labs into an interactive learning experience for students.
  • Gradiance: www.aw.com/gradiance.

Computational Complexity Theory

Computational complexity theory focuses on classifying computational problems according to their inherent difficulty, and relating these classes to each other.

Computational Complexity: A Modern Approach, 1st Edition, 2009, Sanjeev Arora, Boaz Barak

  • Readership: advanced undergraduates and graduates, researchers
  • This beginning graduate textbook describes both recent achievements and classical results of computational complexity theory. Requiring essentially no background apart from mathematical maturity, the book can be used as a reference for self-study for anyone interested in complexity, including physicists, mathematicians, and other scientists, as well as a textbook for a variety of courses and seminars. More than 300 exercises are included with a selected hint set.

The Nature of Computation,2011 Cristopher Moore, Stephan Mertens

  • Readership: advanced undergraduates and graduates, researchers
  • Computational complexity is one of the most beautiful fields of modern mathematics, and it is increasingly relevant to other sciences ranging from physics to biology. But this beauty is often buried underneath layers of unnecessary formalism, and exciting recent results like interactive proofs, cryptography, and quantum computing are usually considered too “advanced” to show to the typical student. The aim of this book is to bridge both gaps by explaining the deep ideas of theoretical computer science in a clear and enjoyable fashion, making them accessible to non computer scientists and to computer scientists who finally want to understand what their formalisms are actually telling. This book gives a lucid and playful explanation of the field, starting with P and NP-completeness. The authors explain why the P vs. NP problem is so fundamental, and why it is so hard to resolve. They then lead the reader through the complexity of mazes and games; optimization in theory and practice; randomized algorithms, interactive proofs, and pseudorandomness; Markov chains and phase transitions; and the outer reaches of quantum computing.

Computers and Intractability: A Guide to the Theory of NP-Completeness, Michael R. Garey, David S. Johnson, 1979

  • Readership: researchers
  • This text shows how to recognize NP-complete problems and offers practical suggestions for dealing with them effectively. It is suitable as a supplement to courses in algorithm design, computational complexity, operations research, or combinatorial mathematics, and as a text for seminars on approximation algorithms or computational complexity.

Mathematics for Data Science

See also: Probability and Statistics.

Foundations of Data Science, Jan 21, 2019, Avrim Blum, John Hopcroft, Ravindran Kannan

  • Readership: researchers, data scientists
  • This book covers the theories likely to be useful in the next 40 years, while the majority usage of computer currently is to understand and make usable massive data arising in application.
  • Topics: high-dimensional space, singular value decomposition, ramdom graphs, Markov chains, clustering, belief propagation, topic models, non-negative matrix factorization, hidden Markov Models and graphical models.
  • Free PDF Copy: https://www.cs.cornell.edu/jeh/book.pdf

Feature Selection for High-Dimensional Data (Artificial Intelligence: Foundations, Theory, and Algorithms), 1st Edition, 2005, Verónica Bolón-Canedo, Noelia Sánchez-Maroño, Amparo Alonso-Betanzos

  • Readership: graduates, researchers, practitioners in the areas of machine learning and data mining
  • This book offers a coherent and comprehensive approach to feature subset selection in the scope of classification problems, explaining the foundations, real application problems and the challenges of feature selection for high-dimensional data.
  • Topics: The authors first focus on the analysis and synthesis of feature selection algorithms, presenting a comprehensive review of basic concepts and experimental results of the most well-known algorithms. They then address different real scenarios with high-dimensional data, showing the use of feature selection algorithms in different contexts with different requirements and information: microarray data, intrusion detection, tear film lipid layer classification and cost-based features. The book then delves into the scenario of big dimension, paying attention to important problems under high-dimensional spaces, such as scalability, distributed processing and real-time processing, scenarios that open up new and interesting challenges for researchers.

Mathematical Logic

Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science.

Proof and Disproof in Formal Logic: An Introduction for Programmers (PDFL), 2005, Richard Bornat

  • Readership: beginners
  • Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and practical part of computer science. The idea of a formal system-a collection of rules and axioms, which define a universe of logical proofs-is what gives us programming languages and modern-day programming. This book concentrates on using logic as a tool: making and using formal proofs and disproofs of particular logical claims. The logic it uses-natural deduction-is very small and very simple; working with it helps you see how large mathematical universes can be built on small foundations.
  • Structure:
    • Part I “Basics” gives an introduction to formal logic with a short history of logic and explanations of some technical words.
    • Part II “Formal Syntactic Proof” show you how to do calculations in a formal system where you are guided by shapes and never need to think about meaning. Your experiments are aided by Jape, which can operate as both inquisitor and oracle.
    • Part III “Formal Semantic Disproof” shows you how to construct mathematical counterexamples to shoe that proof is impossible. Jape can check the counterexamples you build.
    • Part IV “ Program Specification and Proof” describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs. Jape helps, as far as arithmetic allows.
  • Free PDF Copy: http://homepages.phonecoop.coop/randj/richard/books/ProofandDisproof.pdf

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity, 2004, Shawn Hedman

  • Readership: beginners
  • This text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above.
  • Topics: propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, model theory
  • Free PDF Copy: http://www.maths.sci.ku.ac.th/suchai/02731141/first.pdf

Logic in Computer Science, Modelling and Reasoning about Systems, 2nd Edition, Michael Huth

  • Readership: graduates, researchers
  • This book provides a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises.
  • Free PDF Copy and Resources: http://www.cs.bham.ac.uk/research/projects/lics/

Fuzzy Logic Theory and Applications: Part I and Part II, 2018 Lofti A. Zadeh, Rafik A. Aliev

  • Readership: academics, practitioners, advanced undergraduates and graduates
  • This unique compendium includes all the principal facets of fuzzy logic such as logical, fuzzy-set-theoretic, epistemic and relational. Theoretical problems are prominently illustrated and illuminated by numerous carefully worked-out and thought-through examples.This invaluable volume will be a useful reference guide for in fuzzy logic and its applications.

Introduction to Lattices and Order, 2002, B. A. Davey

  • Readership: undergraduates
  • Prerequisites: elementary abstract algebra, the rotation of set theory
  • Ordered structures have been increasingly recognized in recent years due to an explosion of interest in theoretical computer science and all areas of discrete mathematics. This book covers areas such as ordered sets and lattices. A key feature of ordered sets, one which is emphasized in the text, is that they can be represented pictorially. Lattices are also considered as algebraic structures and hence a purely algebraic study is used to reinforce the ideas of homomorphisms and of ideals encountered in group theory and ring theory.

Boolean Functions: Theory, Algorithms, and Applications, 1st Edition, 2011, Yves Crama, Peter L. Hammer

  • Readership: graduates, researchers
  • Prerequisites: discrete mathematics, operations research, computer science, engineering, economics
  • Written by prominent experts in the field, this monograph provides the first comprehensive and unified presentation of the structural, algorithmic, and applied aspects of the theory of Boolean functions. The book focuses on algebraic representations of Boolean functions, especially disjunctive and conjunctive normal form representations. It presents in this framework the fundamental elements of the theory (Boolean equations and satisfiability problems, prime implicants and associated short representations, dualization), an in-depth study of special classes of Boolean functions (quadratic, Horn, shellable, regular, threshold, read-once functions and their characterization by functional equations), and two fruitful generalizations of the concept of Boolean functions (partially defined functions and pseudo-Boolean functions).

Proof Theory

Proof Theory, 2nd Edition, Gaisi Takeuti

  • Readership: advanced undergraduates and graduates
  • Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics.
  • Structure:
    • Part I begins with an exploration of first order systems, including a treatment of predicate calculus involving Gentzen’s cut-elimination theorem and the theory of natural numbers in terms of Gödel’s incompleteness theorem and Gentzen’s consistency proof.
    • Part II, which considers second order and finite order systems, covers simple type theory and infinitary logic.
    • Part III address consistency problems with an examination of consistency proofs and their applications.

Structural Proof Theory,1st Edition, Sara Negri, 2008

  • Readership: advanced undergraduates and graduates
  • Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.

Lectures on the Curry-Howard isomorphism-Elsevier Science, 1st Edition, 2006, Morten Heine Sørensen, Pawel Urzyczyn

  • Readership: graudates, researchers
  • The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to term reduction, etc. But there is more to the isomorphism than this. For instance, it is an old idea—due to Brouwer, Kolmogorov, and Heyting—that a constructive proof of an implication is a procedure that transforms proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq). This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic.

Computability Theory

Computability theory, also known as recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees.

Computability: An introduction to recursive function theory, 1st Edition, 1980, Nigel Cutland

  • Readership: advanced undergraduates and graduates
  • What can computers do in principle? What are their inherent theoretical limitations? These are questions to which computer scientists must address themselves. The theoretical framework which enables such questions to be answered has been developed over the last fifty years from the idea of a computable function: intuitively a function whose values can be calculated in an effective or automatic way. This book is an introduction to computability theory (or recursion theory as it is traditionally known to mathematicians).
  • Structure: Dr Cutland begins with a mathematical characterisation of computable functions using a simple idealised computer (a register machine); after some comparison with other characterisations, he develops the mathematical theory, including a full discussion of non-computability and undecidability, and the theory of recursive and recursively enumerable sets. The later chapters provide an introduction to more advanced topics such as Godel’s incompleteness theorem, degrees of unsolvability, the Recursion theorems and the theory of complexity of computation.

Recursion Theory for Metamathematics, 1st Edition, 1993, Raymond M. Smullyan

  • Readership: researchers
  • This work is a sequel to the author’s Gödel’s Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel’s incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.

Type Theory

Formal analysis of the types of data, and the use of these types to understand properties of programs — especially program safety. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems and of programming languages from a type-theoretic perspective―has important applications in software engineering, language design, high-performance compilers, and security.

Types and Programming Languages (TAPL), 2002, Benjamin C. Pierce

  • Readership: beginners, advanced undergraduates and graduates, researchers
  • This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.
  • Topics: untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, type operators

Advanced Topics in Types and Programming Languages, 2004, Benjamin C. Pierce

  • Readership: advanced undergraduates and graduates, researchers
  • The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic. The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference.

Homotopy Type Theory: Univalent Foundations of Mathematics (HoTT), 2013, The Univalent Foundations Program Institute for Advanced Study

  • Readership: high school students, advanced undergraduates and graduates, reasearchers
  • Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered connection between homotopy theory and type theory. It touches on topics as seemingly distant as the homotopy groups of spheres, the algorithms for type checking, and the definition of weak ∞-groupoids. Homotopy type theory offers a new “univalent” foundation of mathematics, in which a central role is played by Voevodsky’s univalence axiom and higher inductive types. The present book is intended as a first systematic exposition of the basics of univalent foundations, and a collection of examples of this new style of reasoning - but without requiring the reader to know or learn any formal logic, or to use any computer proof assistant. We believe that univalent foundations will eventually become a viable alternative to set theory as the “implicit foundation” for the unformalized mathematics done by most mathematicians.
  • Free PDF Copy: https://homotopytypetheory.org/book/

Category Theory

Category theory has practical applications in programming language theory, for example the usage of monads in functional programming. It may also be used as an axiomatic foundation for mathematics, as an alternative to set theory and other proposed foundations.

Basic Category Theory for Computer Scientists, 1991, Benjamin C. Pierce

  • Readership: beginners
  • This book provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories.

Category Theory: A Gentle Introduction, Peter Smith

  • Readership: undergraduates
  • This Gentle Introduction is very much still work in progress, so there are chapters at different levels of development and with different degrees of integration with what’s around them. So far, at least in a rough and ready way, we cover the basic notions of elementary category theory – explaining the very idea of a category, then treating limits, functors, natural transformations, representables, adjunctions. The long-term plan is (possibly) to say something about categorial logic, explore categories of sets, and even edge towards some initial themes in topos theory
  • Free PDF Copy: https://www.logicmatters.net/resources/pdfs/GentleIntro.pdf

Categories for the Working Mathematician, 1998, Saunders Mac Lane

  • Readership: graduates, researchers
  • Structure: Starting from the foundations, this book illuminates the concepts of category, functor, natural transformation, and duality. It then turns to adjoint functors, which provide a description of universal constructions, an analysis of the representations of functors by sets of morphisms, and a means of manipulating direct and inverse limits. These categorical concepts are extensively illustrated in the remaining chapters, which include many applications of the basic existence theorem for adjoint functors. The categories of algebraic systems are constructed from certain adjoint-like data and characterised by Beck’s theorem. After considering a variety of applications, the book continues with the construction and exploitation of Kan extensions. This second edition includes a number of revisions and additions, including new chapters on topics of active interest: symmetric monoidal categories and braided monoidal categories, and the coherence theorems for them, as well as 2-categories and the higher dimensional categories which have recently come into prominence.

Models of Computing

Topics including: Computability(Lambda calculus, Turing machines, Recursive functions), Probabilistic computation, Quantum computation theory, Interactive computation, Streaming models, Concurrency(Parallel computing models, Distributed computing models, Process calculi), Timed and hybrid models, Abstract machines

Programming Languages and Lambda Calculi

  • Readership: beginners
  • An inductory lecture notes on lambda-calculus.
  • Free PDF Copy: https://www.cs.utah.edu/~mflatt/past-courses/cs7520/public_html/s06/notes.pdf

Introduction to Process Algreba, 2000, Wan Fokkink

  • Readership: beginners
  • utomated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting. The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.

An Introduction to the pi-Calculus

  • Readership: beginners
  • An inductory textbook on pi-calculus.
  • Free PDF Copy: http://courses.cs.vt.edu/cs5204/fall09-kafura/Papers/PICalculus/Pi-Calculus-Introduction.pdf

The Theory and Practice of Concurrency, 2005, Roscow

  • Readership: undergraduates, researchers
  • This book gives you the fundamental grasp of CSP concepts you’ll need to take advantage of those tools.
  • Structure:
    • Part I provides a detailed foundation for working with CSP, using as little mathematics as possible. It introduces the ideas behind operational, denotational and algebraic models of CSP.
    • Parts II and III go into greater detail about theory and practice. Topics include: parallel operators, hiding and renaming, piping and enslavement, buffers and communication, termination and sequencing, and semantic theory.
    • Three detailed practical case studies are also presented.

Studies in Logic: Formal Systems and Recursive Function, 1965, J.N. DUMMETT M.A.E.

  • Readership: beginners

Theory of Formal Systems, Raymond M. Smullyan, 1961

  • Readership: undergraudates, researchers
  • This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.

Communicating Sequential Processes, 2004, C. A. R. Hoare

  • Readership: researchers
  • This book introduces Communicating Sequential Processes (CSP), a formal system on reasoning about concurrency and nondeterminism in programs.
  • Free PDF Copy: http://www.usingcsp.com/cspbook.pdf

The Pi-Calculus: A Theory of Mobile Processes, 2003, Davide Sangiorgi

  • Readership: graduates, researchers
  • Mobile systems, whose components communicate and change their structure, now pervade the informational world and the wider world of which it is a part. The science of mobile systems is as yet immature, however. This book presents the pi-calculus, a theory of mobile systems. The pi-calculus provides a conceptual framework for understanding mobility, and mathematical tools for expressing systems and reasoning about their behaviours. The book serves both as a reference for the theory and as an extended demonstration of how to use pi-calculus to describe systems and analyse their properties. It covers the basic theory of pi-calculus, typed pi-calculi, higher-order processes, the relationship between pi-calculus and lambda-calculus, and applications of pi-calculus to object-oriented design and programming.

Lambda-Calculus and Combinators: an Introduction (LCAC), 2nd Edition, 2008, J. Roger Hindley, Jonathan P. Seldin

  • Readership: undergraduates
  • Combinatory logic and lambda-calculus, originally devised in the 1920’s, have since developed into linguistic tools, especially useful in programming languages. The authors’ previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this long-awaited new version is thoroughly revised and offers a fully up-to-date account of the subject, with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.

The Lambda Calculus: Its Syntax and Semantics (LCISS), 2012, Henk Barendregt

  • Readership: advanced undergruates and graduates
  • The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these. In the parts conversion, reduction, theories, and models the view is respectively ‘algebraic’, computational, with more (‘coinductive’) identifications, and finally set-theoretic. The lambda terms are built up from variables, using application and abstraction. Applying a term F to M has as intention that F is a function, M its argument, and FM the result of the application. This is only the intention: to actually obtain the result one has to rewrite the expression FM according to the reduction rules. Abstraction provides a way to create functions according to the effect when applying them. The power of the theory comes from the fact that computations, both terminating and infinite, can be expressed by lambda terms at a ‘comfortable’ level of abstraction.

Handbook of Process Algebra, 2001, J.A. Bergstra, A. Ponse, S.A. Smolka

  • Readership: undergraduates
  • Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It is a subject that concurrently touches many topic areas of computer science and discrete math, including system design notations, logic, concurrency theory, specification and verification, operational semantics, algorithms, complexity theory, and, of course, algebra.
  • This Handbook documents the fate of process algebra since its inception in the late 1970’s to the present. It is intended to serve as a reference source for researchers, students, and system designers and engineers interested in either the theory of process algebra or in learning what process algebra brings to the table as a formal system description and verification technique. The Handbook is divided into six parts spanning a total of 19 self-contained Chapters.
  • Structure:
    • Part I, consisting of four chapters, covers a broad swath of the basic theory of process algebra.
    • Part II contains two chapters devoted to the sub-specialization of process algebra known as finite-state processes.
    • The three chapters of Part III look at infinite-state processes, value-passing processes and mobile processes in particular.
    • Part IV, also three chapters in length, explores several extensions to process algebra including real-time, probability and priority.
    • The four chapters of Part V examine non-interleaving process algebras.
    • Part VI’s three chapters address process-algebra tools and applications.

Axiomatic Set Theory

Introduction to Axiomatic Set Theory, 1982 Edition, Takeuti G. , Zaring W.

  • Readership: undergraduates
  • In 1963, the first author introduced a course in set theory at the University of Illinois whose main objectives were to cover Godel’s work on the con­ sistency of the Axiom of Choice (AC) and the Generalized Continuum Hypothesis (GCH), and Cohen’s work on the independence of the AC and the GCH. Notes taken in 1963 by the second author were taught by him in 1966, revised extensively, and are presented here as an introduction to axiomatic set theory. Texts in set theory frequently develop the subject rapidly moving from key result to key result and suppressing many details. Advocates of the fast development claim at least two advantages. First, key results are high­ lighted, and second, the student who wishes to master the subject is com­ pelled to develop the detail on his own. However, an instructor using a “fast development” text must devote much class time to assisting his students in their efforts to bridge gaps in the text.

Model Theory

Model Theory: An Introduction, 2002nd Edition, David Marker

  • Readership: undergraduates
  • An inductory lecture notes on model theroy.

Quantum Computing Theory

Quantum computing is the use of quantum-mechanical phenomena such as superposition and entanglement to perform computation.

Quantum Computation and Quantum Information, 10th Anniversary Edition, Michael A. Nielsen, Isaac L. Chuang

  • Readership: advanced undergraduates and graduates, researchers
  • This comprehensive textbook describes such remarkable effects as fast quantum algorithms, quantum teleportation, quantum cryptography and quantum error-correction. Quantum mechanics and computer science are introduced before moving on to describe what a quantum computer is, how it can be used to solve problems faster than ‘classical’ computers and its real-world implementation. It concludes with an in-depth treatment of quantum information. Containing a wealth of figures and exercises, this well-known textbook is ideal for courses on the subject, and will interest beginning graduate students and researchers in physics, computer science, mathematics, and electrical engineering.

Coding Theory

Coding theory is the study of the properties of codes and their respective fitness for specific applications. Codes are used for data compression, cryptography, error detection and correction, data transmission and data storage.

Essential Coding Theory, Mar 15 2019, Venkatesan Guruswami, Atri Rudra, Madhu Sudan

  • Readership: advanced undergraduates and graduates
  • Free PDF Copy: https://cse.buffalo.edu/faculty/atri/courses/coding-theory/book/
  • Lecture Notes: http://madhu.seas.harvard.edu/courses/Spring2017/

Information Theory, Inference, and Learning Algorithms, 2003, David MacKay

  • Readership: advanced undergraduates and graduates
  • Information theory and inference, often taught separately, are here united in one entertaining textbook. These topics lie at the heart of many exciting areas of contemporary science and engineering - communication, signal processing, data mining, machine learning, pattern recognition, computational neuroscience, bioinformatics, and cryptography. This textbook introduces theory in tandem with applications. Information theory is taught alongside practical communication systems, such as arithmetic coding for data compression and sparse-graph codes for error-correction. A toolbox of inference techniques, including message-passing algorithms, Monte Carlo methods, and variational approximations, are developed alongside applications of these tools to clustering, convolutional codes, independent component analysis, and neural networks. The final part of the book describes the state of the art in error-correcting codes, including low-density parity-check codes, turbo codes, and digital fountain codes – the twenty-first century standards for satellite communications, disk drives, and data broadcast.

Abstract Algebra

Abstract Algebra, The Basic Graduate Year, 2002, Robert B. Ash

  • Readership: advanced undergraduates and graduates
  • This book covers fundamental algebraic structures, namely groups, rings, fields and modules, and maps between these structures.
  • Free PDF Copy: https://faculty.math.illinois.edu/~r-ash/Algebra.html

Programming Languages

Programming Language Pragmatics

Taxonomy of programming languages, their strength and weaknesses. Various programming paradigms, such as object-oriented programming.

Programming Language Pragmatics (PLP), 4th Edition, 2015, Michael L. Scott

  • Readership: undergraduates
  • Programming Language Pragmatics, Fourth Edition, is the most comprehensive programming language textbook available today. It is distinguished and acclaimed for its integrated treatment of language design and implementation, with an emphasis on the fundamental tradeoffs that continue to drive software development.
  • The book provides readers with a solid foundation in the syntax, semantics, and pragmatics of the full range of programming languages, from traditional languages like C to the latest in functional, scripting, and object-oriented programming. This fourth edition has been heavily revised throughout, with expanded coverage of type systems and functional programming, a unified treatment of polymorphism, highlights of the newest language standards, and examples featuring the ARM and x86 64-bit architectures.

Concepts, Techniques and Models of Computer Programming (CTMCP), 1st Edition, 2004, Peter Van Roy, Seif Haridi

  • Readership: undergraduates
  • This book discusses the science and the technology of programming as a unified discipline that shows the deep relationships between programming paradigms. The book focuses on techniques of lasting value and explains them precisely in terms of a simple abstract machine. The book presents all major programming paradigms in a uniform framework that shows their deep relationships and how and where to use them together. After an introduction to programming concepts, the book presents both well-known and lesser-known computation models (“programming paradigms”). Each model has its own set of techniques and each is included on the basis of its usefulness in practice. The general models include declarative programming, declarative concurrency, message-passing concurrency, explicit state, object-oriented programming, shared-state concurrency, and relational programming. Specialized models include graphical user interface programming, distributed programming, and constraint programming. Each model is based on its kernel language―a simple core language that consists of a small number of programmer-significant elements. The kernel languages are introduced progressively, adding concepts one by one, thus showing the deep relationships between different models. The kernel languages are defined precisely in terms of a simple abstract machine. Because a wide variety of languages and programming paradigms can be modeled by a small set of closely related kernel languages, this approach allows programmer and student to grasp the underlying unity of programming. The book has many program fragments and exercises, all of which can be run on the Mozart Programming System, an Open Source software package that features an interactive incremental development environment.

Theory of Programming Language

Design, implementation, analysis, characterization, and classification of programming languages and their individual features.

Essentials of Programming Languages (EoPL), 3rd Edition, Daniel P. Friedman, Mitchell Wand

  • Readership: beginners
  • This book provides students with a deep, working understanding of the essential concepts of programming languages. Most of these essentials relate to the semantics, or meaning, of program elements, and the text uses interpreters (short programs that directly analyze an abstract representation of the program text) to express the semantics of many essential language elements in a way that is both clear and executable. The approach is both analytical and hands-on. The book provides views of programming languages using widely varying levels of abstraction, maintaining a clear connection between the high-level and low-level views. Exercises are a vital part of the text and are scattered throughout; the text explains the key concepts, and the exercises explore alternative designs and other issues. The complete Scheme code for all the interpreters and analyzers in the book can be found online through The MIT Press web site. For this new edition, each chapter has been revised and many new exercises have been added. Significant additions have been made to the text, including completely new chapters on modules and continuation-passing style.

Concepts of Programming Languages (COPL), 11th Edition, 2015, Robert W. Sebesta

  • Readership: undergraduates
  • Concepts of Computer Programming Languages introduces students to the fundamental concepts of computer programming languages and provides them with the tools necessary to evaluate contemporary and future languages. An in-depth discussion of programming language structures, such as syntax and lexical and syntactic analysis, also prepares readers to study compiler design.

Theories of Programming Languages (TOPL), 1st Edition, 2009, John Reynolds

  • Readership: advanced undergraduates, researchers
  • Prerequisites: elementary programming
  • This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behavior. It encompasses imperative and functional programming, as well as the ways of integrating these aspects into more general languages. Basic concepts and their properties are described with mathematical rigor, but the mathematical development is balanced by numerous examples of applications, particularly of program specification and proof, concurrent programming, functional programming (including the use of continuations and lazy evaluation), and type systems (including subtyping, polymorphism, and modularization).

Practical Foundations for Programming Languages (PFPL), 2nd Edition, Robert Harper

  • Readership: advanced undergraduates
  • This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. The broad range of concepts includes fundamental data types such as sums and products, polymorphic and abstract types, dynamic typing, dynamic dispatch, subtyping and refinement types, symbols and dynamic classification, parallelism and cost semantics, and concurrency and distribution. The methods are directly applicable to language implementation, to the development of logics for reasoning about programs, and to the formal verification language properties such as type safety.

Compiling With Continuations, 2007, Andrew W. Appel

  • Readership: researchers
  • This book shows how continuation-passing style is used as an intermediate representation to perform optimizations and program transformations. Continuations can be used to compile most programming languages. The method is illustrated in a compiler for the programming language Standard ML. Prior knowledge of ML, however, is not necessary, as the author carefully explains each concept as it arises. This is the first book to show how concepts from the theory of programming languages can be applied to the production of practical optimizing compilers for modern languages like ML. All the details of compiling are covered, including the interface to a runtime system and garbage collector.

Compilers

Theory of compiler design, based on Automata theory.

See: Automata theory

Language Implementation Patterns: Create Your Own Domain-Specific and General Programming Languages (LIP), 1st Edition, 2010, Terence Parr

  • Readership: beginners, advanced graudates
  • Learn to build configuration file readers, data readers, model-driven code generators, source-to-source translators, source analyzers, and interpreters. You don’t need a background in computer science–ANTLR creator Terence Parr demystifies language implementation by breaking it down into the most common design patterns. Pattern by pattern, you’ll learn the key skills you need to implement your own computer languages. Language Design Patterns identifies and condenses the most common design patterns, providing sample implementations of each.The pattern implementations use Java, but the patterns themselves are completely general. Some of the implementations use the well-known ANTLR parser generator, so readers will find this book an excellent source of ANTLR examples as well. But this book will benefit anyone interested in implementing languages, regardless of their tool of choice. Other language implementation books focus on compilers, which you rarely need in your daily life. Instead, Language Design Patterns shows you patterns you can use for all kinds of language applications.

Modern Compiler Implementation in Java (Tiger Book), 2nd Edition, 2002, Andrew W. Appel, Jens Palsberg

  • Readership: undergraduates
  • This textbook describes all phases of a compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes thorough coverage of current techniques in code generation and register allocation, and the compilation of functional and object-oriented languages. The most accepted and successful techniques are described and illustrated with actual Java^TM® classes. This new edition includes more discussion of Java and object-oriented programming concepts such as visitor patterns plus a new Mini-Java programming project. A unique feature is the newly redesigned compiler project in Java for a subset of Java itself. The project includes both front-end and back-end phases.
  • Structrue:
    • Part I is suitable for a one-semester first course in compiler design.
    • Part II which includes the compilation of object-oriented and functional languages, garbage collection, loop optimization, SSA form, instruction scheduling, and optimization for cache-memory hierarchies, can be used for a second-semester or graduate course.

Compilers, Principles, Techniques, and Tools (Dragon Book), 2nd Edition, 2006, Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman

  • Readership: beginners, advanced graudates, researchers
  • Compilers: Principles, Techniques and Tools, known to professors, students, and developers worldwide as the “Dragon Book,” is available in a new edition. Every chapter has been completely revised to reflect developments in software engineering, programming languages, and computer architecture that have occurred since 1986, when the last edition published. The authors, recognizing that few readers will ever go on to construct a compiler, retain their focus on the broader set of problems faced in software design and software development.

Advanced Compiler Design and Implementation (Whale Book), 1st Edition, 1997, Steven Muchnick

  • Readership: graduates, researchers
  • This comprehensive, up-to-date work examines advanced issues in the design and implementation of compilers for modern processors. Written for researchers and graduate students, the book guides readers in designing and implementing efficient structures for highly optimizing compilers for real-world languages. Covering advanced issues in fundamental areas of compiler design, this book discusses a wide array of possible code optimizations, determining the relative importance of optimizations, and selecting the most effective methods of implementation.

Formal Semantics

Rigorous mathematical study of the meaning of programs.

Formal Semantics of Programming Languages: An Introduction (FSPL), Glynn Winskel

  • Readership: beginners, undergraduates
  • The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered are drawn from recent research, including the vital area of concurency.
  • Free PDF Copy: http://59.80.44.98/www.cin.ufpe.br/~if721/intranet/TheFormalSemanticsofProgrammingLanguages.pdf

Foundations for Programming Languages (FFPL), 1996, John.C..Mitchell

  • Readership: advanced undergraduates, researchers
  • Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems. Compared to other texts on the subject, Foundations for Programming Languages is distinguished primarily by its inclusion of material on universal algebra and algebraic data types, imperative languages and Floyd-Hoare logic, and advanced chapters on polymorphism and modules, subtyping and object-oriented concepts, and type inference. The book is mathematically oriented but includes discussion, motivation, and examples that make the material accessible to students specializing in software systems, theoretical computer science, or mathematical logic. Foundations for Programming Languages is suitable as a reference for researchers concerned with programming languages, software validation or verification, and programming, including those working with software modules or object-oriented programming.

Concrete Semantics: With Isabelle/HOL, 2014th Edition, Tobias Nipkow, Gerwin Klein

  • Readership: undergraduates
  • The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artifacts. In this sense it represents a formal approach to computer science, not just semantics. The Isabelle formalisation, including the proofs and accompanying slides, are freely available online, and the book is suitable for graduate students, advanced undergraduate students, and researchers in theoretical computer science and logic.
  • Stucture:
    • Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language.
    • Part II is an introduction to the semantics of imperative languages with an emphasis on applications like compilers and program analysers. The distinguishing feature is that all the mathematics has been formalised in Isabelle and much of it is executable.
  • Free PDF Copy: http://www.concrete-semantics.org/concrete-semantics.pdf

Software Engineering

Software engineering is the application of engineering to the development of software in a systematic method.

See: Algorithm Analysis and Design.

Introduction to Software Engineering, 2nd Edition, Ronald J. Leach

  • Readership: beginners, software engineers
  • Introduction to Software Engineering, Second Edition equips students with the fundamentals to prepare them for satisfying careers as software engineers regardless of future changes in the field, even if the changes are unpredictable or disruptive in nature.

Software Requirements, 3rd Edition, 2013, Karl Wiegers and Joy Beatty

  • Readership: beginners, software engineers
  • A classic guide to software requirements engineering

A Philosophy of Software Design, 2018, John Ousterhout

  • Readership: beginners, software engineers and practitioners
  • This book addresses the topic of software design: how to decompose complex software systems into modules (such as classes and methods) that can be implemented relatively independently. The book first introduces the fundamental problem in software design, which is managing complexity. It then discusses philosophical issues about how to approach the software design process, and it presents a collection of design principles to apply during software design. The book also introduces a set of red flags that identify design problems. You can apply the ideas in this book to minimize the complexity of large software systems, so that you can write software more quickly and cheaply.

Formal Methods

In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based technique for the specification, development and verification of software and hardware systems.

See: Logic in Computer Science: modelling and reasoning about systems, Principles of Model Checking, and Formal Verification Surveys

Formal Reasonning about Programs (FRAP), Adam Chlipala

  • Readership: advanced undergraduates and graduates
  • This book is about an approach to bringing software engineering up to speed with more traditional engineering disciplines, providing a mathematical foundation for rigorous analysis of realistic computer systems. As civil engineers apply their mathematical canon to reach high certainty that bridges will not fall down, the software engineer should apply a different canon to argue that programs behave properly. As other engineering disciplines have their computer-aided-design tools, computer science has proof assistants, IDEs for logical arguments.
  • Free PDF Copy and Resources: http://adam.chlipala.net/frap/
  • Courses: https://frap.csail.mit.edu/main

Program Analysis and Verification

The process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness.

Principles of Program Analysis, 2004, Flemming Nielson, Hanne R. Nielson, Chris Hankin

  • Readership: undergraduates new to program analysis
  • Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to program analysis: data flow analysis, constraint-based analysis, abstract interpretation, and type and effect systems. The presentation illustrates the extensive similarities between the approaches, helping readers to choose the best one to utilize.

Data Flow Analysis: Theory and Practice, 1st Edition, 2009, Uday Khedker, Amitabha Sanyal, Bageshri Sathe

  • Readership: researchers
  • This book offers comprehensive coverage of both classical and contemporary data flow analysis. It prepares foundations useful for both researchers and students in the field by standardizing and unifying various existing research, concepts, and notations. It also presents mathematical foundations of data flow analysis and includes study of data flow analysis implantation through use of the GNU Compiler Collection (GCC). Divided into three parts, this unique text combines discussions of inter- and intraprocedural analysis and then describes implementation of a generic data flow analyzer (gdfa) for bit vector frameworks in GCC.

Principle of Model Checking, 2008,Christel Baier, Joost-Pieter Katoen

  • Readership: undergraduates
  • This book is a comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software with extensive examples and both practical and theoretical exercises. The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs.

Programming Language Tutorial

Python

  • Python Crash Course: A Hands-On, Project-Based Introduction to Programming, Eric Matthes

Java

  • Core Java, 9th Edition, Cay S. Horstmann, Gary Cornell

Javascript

  • JavaScript Programmer’s Reference, Alexei White

Go

  • The Go Programming Language, Alan A. A. Donovan, Brian W. Kernighan

C/C++

  • The C Programming Language, Brian W. Kernighan

R

  • R for Data Science, Hadley Wickham

Matlab

  • MATLAB Primer, Timothy A. Davis

Scala

  • Programming in Scala: A comprehensive Step-by-Step Scala Programming Guide, Martin Odersky, Lex Spoon, Bill Venners

Kotlin

  • Fundamental Kotlin, Miloš Vasić

Rust

  • Rust Essentials, Ivo Balbaert

Haskell

  • Real World Haskell, Bryan O’Sullivan, John Goerzen, Don Stewart

Idris

  • Programming in IDRIS, A Tutorial, The IDRIS Community

  • Type-driven Development with Idris, Edwin Brady

Elixir

  • Programming Elixir 1.3, Dave Thomas

ML

  • ML for the Working Programmer, Lawrence C. Paulson

Scheme

  • How to Design Programs, 2nd Edition, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

Common Lisp

  • Practical Common Lisp, Peter Seibel
  • Let Over Lambda, Doug Hoyte, 2008 - Let Over Lambda is one of the most hardcore computer programming books out there. Starting with the fundamentals, it describes the most advanced features of the most advanced language: Common Lisp. Only the top percentile of programmers use lisp and if you can understand this book you are in the top percentile of lisp programmers. If you are looking for a dry coding manual that re-hashes common-sense techniques in whatever langue du jour, this book is not for you. This book is about pushing the boundaries of what we know about programming. While this book teaches useful skills that can help solve your programming problems today and now, it has also been designed to be entertaining and inspiring. If you have ever wondered what lisp or even programming itself is really about, this is the book you have been looking for.

Coq

Agda

  • Verified Functional Programming in Agda, Aaron

Comments

Content