A Computational Logic (1979)Robert S. Boyer, J Strother Moore
PDF
Mathematics
138 resources in 3 subcategories
Mathematics for programming usually starts with discrete math, linear algebra and probability. Open textbooks such as Discrete Mathematics: An Open Introduction, Book of Proof and Linear Algebra Done Right cover these at university level. Pick one book per topic and work through the exercises rather than reading passively; the understanding comes from the problems.
If proofs are new to you, read Book of Proof before abstract algebra or real analysis. Calculus Made Easy and the OpenStax Calculus volumes cover calculus from scratch, while Mathematics for Computer Science from MIT ties logic, counting and probability directly to computing. Think Stats and Think Bayes approach statistics through Python code.
Subcategories
Algebra25A Computational Introduction to Number Theory and Algebra, A First Course in Linear Algebra, A Quick Steep Climb Up Linear Algebra, Abstract Algebra: Theory and Applications, Advanced Algebra, Algebra: Abstract and ConcreteCalculus19Active Calculus, APEX Calculus, Basics of Algebra, Topology, and Differential Calculus, Calculus, Calculus I, Calculus in ContextMathematics For Computer Science8A Mathematical Theory of Communication, Combinatorial Problems And Exercises (1979), Discrete Structures for Computer Science: Counting, Recursion, and Probability, Exploring Math for Programmers and Data Scientists, Graph Theory Exercises, Isomorphism -- Mathematics of Programming
More Mathematics
A Cool Brisk Walk Through Discrete MathematicsStephen Davies
PDF
A First Course in Complex AnalysisMatthias Beck, Gerald Marchesi, Dennis Pixton, Lucas Sabalka
PDF
A Friendly Introduction to Mathematical LogicChristopher C. Leary, Lars Kristiansen
A Gentle Introduction to the Art of MathematicsJoseph E. Fields
An Infinite Descent into Pure MathematicsClive Newstead
PDF
PDF
Analytic Geometry (1922)Lewis Parker Siceloff, George Wentworth, David Eugene Smith
PDF
Applied CombinatoricsMitchel T. Keller, William T. Trotter
Applied Discrete StructuresAlan Doerr, Kenneth Levasseur
Applied Quantitative Finance: Theory and Computational ToolsWolfgang K. Hardle, Nikolaus Hautsch, Ludger Overbeck
PDF
Bayesian Methods for HackersCameron Davidson-Pilon
Book of ProofRichard Hammack
PDF
Category Theory for the SciencesDavid I. Spivak
PDF
College TrigonometryCarl Stitz, Jeff Zeager
PDF
Combinatorics Through Guided DiscoveryKenneth Bogart
Complex AnalysisGeorge Cain
Computational and Inferential Thinking. The Foundations of Data ScienceAni Adhikari, John DeNero, David Wagner
Computational Mathematics with SageMathPaul Zimmermann, Alexandre Casamayou, Nathann Cohen, Guillaume Connan, et al.
PDF
Convex OptimizationStephen Boyd, Lieven Vandenberghe
Coordinate Geometry (1911)Henry Buchard Fine, Henry Dallas Thompson
PDF
Differential EquationsPaul Dawkins
PDFuse download menu to download
Differential Equations (1922)H. B. Phillips
PDF
Discrete Mathematics: An Open IntroductionOscar Levin
Discrete Mathematics: First and Second CourseEdward A. Bender, S. Gill Williamson
Elementary Differential EquationsWilliam F. Trench
PDF
Elementary Differential Equations (with Boundary Value Problems)William F. Trench
Elementary Real AnalysisBrian S. Thomson, Judith B. Bruckner, Andrew M. Bruckner
Essentials of MetaheuristicsSean Luke
Foundations of Combinatorics with ApplicationsEdward A. Bender, S. Gill Williamson
Foundations of Constructive Probability TheoryYuen-Kwok Chan
PDF
Fundamentals of Quantitative AnalysisDanielle Zhu
GitHubCC BY-SA
Geometry with an Introduction to Cosmic TopologyMichael P. Hitchman
Guide to Discrete MathematicsDavid Gries, Fred B. Schneider
PDF
How We Got from There to Here: A Story of Real AnalysisRobert Rogers, Eugene Boman
Introduction to Modern StatisticsMine Çetinkaya-Rundel, Johanna Hardin
HTMLPDFemail address required for PDF
Introduction to ProbabilityCharles M. Grinstead, J. Laurie Snell
PDF
Introduction to ProofsJim Hefferon
Introduction to Real AnalysisWilliam F. Trench
Introduction to Statistical ThoughtMichael Lavine
Introductory Statistics for the Life and Biomedical SciencesJulie Vu, David Harrington
Knapsack Problems - Algorithms and Computer ImplementationsSilvano Martello, Paolo Toth
Lies, Damned Lies, or Statistics: How to Tell the Truth with StatisticsJonathan A. Poritz
PDF
Linear Methods of Applied MathematicsEvans M. Harrell II, James V. Herod
Magic Squares and Cubes (1917)W. S. Anderson
PDF
Math in SocietyDavid Lippman
Mathematical Analysis IElias Zakon
Mathematical DiscoveryAndrew M. Bruckner, Brian S. Thomson, Judith B. Bruckner
PDF
Mathematical Reasoning: Writing and ProofTed Sundstrom
Mathematics, MTH101AP. Shunmugaraj, IIT Kanpur
Non-Uniform Random Variate GenerationLuc Devroye
PDF
Notes on Diffy QsJiří Lebl
Number TheoryHolden Lee MIT
Number Theory: In Context and InteractiveKarl-Dieter Crisman
HTMLPDF
Online Statistics EducationDavid Lane
OpenIntro StatisticsDavid M. Diez, Christopher D. Barr, Mine Çetinkaya-Rundel
Ordinary Differential EquationsWikibooks
Plane Geometry (1913)George Wentworth, David Eugene Smith
PDF
Planes and Spherical Trigonometry (1915)George Wentworth, David Eugene Smith
PDF
Probability: Lectures and LabsMark Huber
Proofs and TypesJean-Yves Girard, Yves Lafont, Paul Taylor
Recreations in MathH. E. Licks
PDF
Sage for UndergraduatesGregory Bard
Seven Sketches in Compositionality: An Invitation to Applied Category TheoryBrendan Fong, David I. Spivak
PDF
Statistical Thinking for the 21st CenturyRussell A. Poldrack
Statistics Done WrongAlex Reinhart
SticiGuiPhilip Stark
Tea Time Numerical AnalysisLeon Q. Brin
The Open Logic TextOpen Logic Project
PDF
Think Bayes: Bayesian Statistics Made SimpleAllen B. Downey
CC BY-NC-SA
Think Stats: Probability and Statistics for ProgrammersAllen B. Downey
using PythonCC BY-NC-SA
Yet Another Introductory Number Theory TextbookJonathan A. Poritz
PDF