The PAMCET Learning Team is the institutional curriculum and content group behind course publishing on this platform. PAMCET (Professional and Academic Management Centre for Education and Training) is operated by Digitpen Hub Ltd, a company registered in Lagos, Nigeria. Courses credited to the PAMCET Learning Team are structured, organized, and published centrally by the platform rather than authored by a single named individual instructor — each course's syllabus, learning outcomes, and content are reviewed before publication under this institutional account. For questions about a specific course or to report a content issue, please use the platform's Help & Support or Contact Us pages.
B.Eng DegreeFaculty of Faculty of Engineering & TechnologyComputer Engineering
CPE 213: Discrete Mathematics for Computer Engineers
Propositional/predicate logic, mathematical induction, relations, graph theory, combinatorics, and algebraic structures.
Course Overview
Propositional/predicate logic, mathematical induction, relations, graph theory, combinatorics, and algebraic structures. Curriculum Structure & Core Modules: • 1. Propositional Logic, Logical Equivalences, Predicates, and Quantifiers • 2. Rules of Inference and Formal Proof...
What You'll Learn
- Construct formal logic proofs using truth tables, natural deduction, and resolution theorem proving.
- Prove mathematical conjectures using strong mathematical induction and structural induction.
- Model binary relations, equivalence relations, partial orders, and lattices for database theory.
- Apply graph theory algorithms (Eulerian, Hamiltonian, planar graphs, coloring) to network topologies.
- Solve linear recurrence relations for algorithm computational complexity analysis.
Requirements
- Completion of CPE 101.
Degree Programme Curriculum Context
This course is a curriculum unit of the Bachelor of Engineering (B.Eng.) in Computer Engineering degree framework in Nigeria.
Earn Your Certificate
Showcase your skills with a certificate! Complete the course, submit your project, and earn your certificate. Here's a sample of what you'll receive to show off your accomplishments.
Course Curriculum
Open-access academic curriculum. All foundational lectures available to read free.
8 Chapters
•16 Lecture
•24h
1. Propositional Logic, Logical Equivalences, Predicates, and Quantifiers: Theoretical Foundations, Mathematical Modeling & System Architecture
CPE 213 • 200 Level • Computer Engineering Chapter 1: Propositional Logic, Logical Equivalences, Predicates, and Quantifiers — Theoretical Foundations, Mathematical Modeling & System Architecture Course: CPE 213: Discrete Mathematics for Computer Engineers Curriculum: NUC-CCMAS-CPE Accreditation: COREN-CPE-OBE Standard: IEEE/ACM-CE2024 1. Pedagogical Scope & Behavioral Lear...
2. Propositional Logic, Logical Equivalences, Predicates, and Quantifiers: Worked Engineering Problems, Design Computations & Simulation Protocols
CPE 213 • 200 Level • Computer Engineering Chapter 1: Propositional Logic, Logical Equivalences, Predicates, and Quantifiers — Worked Engineering Problems, Design Computations & Simulation Protocols Course: CPE 213: Discrete Mathematics for Computer Engineers Curriculum: NUC-CCMAS-CPE Accreditation: COREN-CPE-OBE Practice: COREN ERM / IEEE Design Standards 1. Comprehensive Engi...
1 hour 30 minutes
3. Chapter 1 Formative Assessment: Propositional Logic, Logical Equivalences, Predicates, and Q
Academic Ecosystem & Connected Pathways
Deepen your studies across connected learning pathways in the PAMCET academic network:
Digital Research Library16,000+ open-access monographs & textbooks
Structured Learning PathsCurated multi-course career specializations
WAEC / SSCE Examination HubComplete secondary school syllabus & mock tests
JAMB / UTME PreparationComputer-based tests & scoring analytics
Tertiary & University Hub100L - 400L degree benchmark modules
Credential Verification PortalInstant cryptographic certificate authentication
Instructor
PAMCET Learning Team
Institutional Course Curation · PAMCET
Qualifications:
PAMCET Learning Team — Institutional Course Curation, Digitpen Hub LtdMy Skills:
- Curriculum Curation
- Course Content Review
- Learning Outcome Design
- Course Publishing & Quality Assurance
- Platform Content Operations
Reviews
No reviews available
Free
Course Includes
8 Chapters
16 Lectures
2 - 4 weeks
Skill Level beginner
Taught in English
Lifetime Access
Certification of Completion
Category: University - Computer Engineering
Share On
Download Syllabus & Study Guide
Receive the full lecture syllabus, reading list, and milestone schedule for CPE 213: Discrete Mathematics for Computer Engineers.
By submitting, you agree to receive educational updates. You can unsubscribe anytime. Read our Privacy Policy.