Kuczynski, John-Michael (2025) Applied Set Theory and Logic. [Preprint]
![[img]](https://philsci-archive.pitt.edu/style/images/fileicons/text.png) |
Text
EXTENDED SET THEORY AND LOGIC WITH APPLICATIONS.pdf Download (1MB) |
Abstract
This volume presents a comprehensive introduction to set theory and mathematical logic with a distinctive emphasis on practical application across disciplines such as computer science, electrical engineering, and database systems. Core logical operations—conjunction, disjunction, negation, implication—are defined and explored through real-world examples and truth-table analysis. Foundational theorems like the Law of the Excluded Middle, Non-Contradiction, and Modus Ponens are rigorously examined with formal proofs and applied exercises. The text extends into predicate calculus and advanced set-theoretic constructs, including the Von Neumann ordinal framework and modal logic, illuminating their significance in formal verification, algorithm design, and hardware analysis. Each chapter blends theoretical rigor with accessible explanations and problem-based learning to develop both conceptual understanding and practical reasoning skills. This makes the book an ideal resource for students and professionals seeking to bridge formal logic with computational and engineering domains.
| Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
| Social Networking: |
| Item Type: | Preprint | ||||||
|---|---|---|---|---|---|---|---|
| Creators: |
|
||||||
| Keywords: | Set Theory Mathematical Logic Predicate Calculus Truth Tables Modus Ponens Boolean Algebra Modal Logic Von Neumann Ordinals | ||||||
| Subjects: | Specific Sciences > Computation/Information > Classical Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > Logic Specific Sciences > Computer Science |
||||||
| Depositing User: | Dr. John-Michael Kuczynski | ||||||
| Date Deposited: | 26 May 2025 17:38 | ||||||
| Last Modified: | 26 May 2025 17:38 | ||||||
| Item ID: | 25447 | ||||||
| Official URL: | https://www.analyticphilosophy.ai/applies-set-theo... | ||||||
| Subjects: | Specific Sciences > Computation/Information > Classical Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > Logic Specific Sciences > Computer Science |
||||||
| Date: | 23 May 2025 | ||||||
| URI: | https://philsci-archive.pitt.edu/id/eprint/25447 |
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
 |
View Item |
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}