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
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
No comments:
Post a Comment