Recommended Books

(Please order via these links to support this site and keep it free. Thank you.)

• Olson, R., MEANING AND ARGUMENT
• Nijssen, S., CONCEPTUAL SCHEMA AND RELATIONAL DATABASE DESIGN 
• Kent, W., DATA AND REALITY 
• Stoll, R. R., SET THEORY AND LOGIC
• Hodges, W., LOGIC 
• Pospesel, H., PROPOSITIONAL LOGIC 
• Pospesel, H., PREDICATE LOGIC 
• DeHaan, L., and Koppelaars, T., APPLIED MATHEMATICS FOR DATABASE PROFESSIONALS
• Smith, P., INTRODUCTION TO FORMAL LOGIC

 

Relational Model

• What a Database Really Is: Predicates and Propositions
• Extending the relational algebra to capture less meaning (h/t Erwin Smout)
• Relational Algebra (Lecture Notes)
• Simple Guide to Five Normal Forms  
• Synthesizing 3NF Relations from FDs
• On making Relational Division Comprehensible
• Why Are There No Relational DBMSs
• Why even the most intelligent software architects don't understand the RDM

 

Conceptual Modeling 

• The Entity-Relationship DataModel Considered Harmful
• Object-Role Modeling: An Overview

 

Distributed DBMS

• C. J. Date's 12 Rules for Distributed DBMS
• Consistency Tradeoffs in Modern Distributed Database System Design

 

Logic and Math

• 08/17/23  What is the difference between intensional and extensional logic
• 08/13/23 Good explanation of 'class' and 'type'
  The story of mathematical proof 
• FOL Modeling of Integrity Constraints (Dependencies) book
• FOL Modeling of Integrity Constraints (Dependencies) (article)
• Russell's Paradox
• Finitary relation
• Let's make set theory great again! 
• What do Formal Methods actually Guarantee
• Incompleteness and Computability
• Logical validity
• Formal Semantics and Logic
• forall x - An Introduction to Formal Logic
• Introduction to Axioms with Set Theory for an Imaginary 10 years old
• Set Theory and Axiomatic Systems explained with pics and gifs
• LOGIC: DEDUCTIVE AND INDUCTIVE
• Set Theory and Foundations of Mathematics
• The Emergence of First Order Logic (Stanford)
• The Logical Fallacies
• A Brief History of Logic
• Kurt Gödel & the Limits of Mathematics 
• A History of Computation, Logic and Algebra 
• Logic of propositions and predicates (video course)
• Axioms of set Theory (video course)
• Introduction to Logic (video course) 
• Introduction to Symbolic/Propositional Logic (video course)
• Symbolic Logic (video course) 
• Symbolic Logic (course)
• Symbolic Logic 1 (The basics, letters, operators, connectives) (video course)
• Symbolic Logic 2 (WFFs & calculating truth functional statements)

 

General Computing

• Bertrand Meyer: Soundness and completeness with precision
• E. W. Dijkstra Archive
• A Bridge too Far: E.W. Dijkstra and Logic - A Programmers Place

 

 

 

 

 

 

 

 

 

 

 

 

 

 Last updated 9/17/23