BCS303 Discrete Structures & Theory of Logic Syllabus
AKTU B.Tech · 3rd Semester · Unit-wise syllabus (effective 2023-24)
BCS303 Discrete Structures & Theory of Logic (also written as KCS303) is a subject in Semester 3 of the AKTU B.Tech programme, prescribed by Dr. A.P.J. Abdul Kalam Technical University. It carries 3 credits with an L-T-P of 3-1-0. The syllabus is divided into 5 units: Set Theory& Relations and Relations, POSET & Lattices and Functions, Boolean Algebra and Theory of Logics and Predicate Logic, Algebraic Structures, Graphs and Combinatorics. The complete unit-wise topic list, course outcomes and reference books are given below, taken from the official AKTU syllabus effective from 2023-24.
BCS303 Subject Details
| Subject Code | BCS303 / KCS303 |
|---|---|
| Subject Name | Discrete Structures & Theory of Logic |
| University | Dr. A.P.J. Abdul Kalam Technical University (AKTU) |
| Course | B.Tech (Bachelor of Technology) |
| Year / Semester | 2nd Year · 3rd Semester |
| Credits | 3 |
| L-T-P | 3-1-0 |
| Total Units | 5 |
| Scheme Effective From | 2023-24 |
| Last Verified | 2026-08-15 |
BCS303 Discrete Structures & Theory of Logic Unit-Wise Syllabus
Official AKTU syllabus (effective 2023-24) — 5 units.
Unit 1: Set Theory& Relations · Relations
Set Theory& Relations: Introduction, Combination of sets. Relations: Definition, Operations on relations, Properties of relations, Composite Relations, Equality of relations, Recursive definition of relation, Order of relations.
Unit 2: POSET & Lattices · Functions
POSET & Lattices: Hasse Diagram, POSET, Definition & Properties of lattices – Bounded, Complemented, Distributed, Modular and Complete lattice. Functions: Definition, Classification of functions, Operations on functions. Growth of Functions.
Unit 3: Boolean Algebra · Theory of Logics · Predicate Logic
Boolean Algebra: Introduction, Axioms and Theorems of Boolean algebra, Algebraic manipulation of Boolean expressions. Simplification of Boolean Functions, Karnaugh maps. Theory of Logics: Proposition, Truth tables, Tautology, Satisfiability, Contradiction, Algebra of proposition, Theory of Inference. Predicate Logic: First order predicate, well- formed formula of predicate, quantifiers, Inference theory of predicate logic.
Unit 4: Algebraic Structures
Algebraic Structures: Definition, Groups, Subgroups and order, Cyclic Groups, Cosets, Lagrange's theorem, Normal Subgroups, Permutation and Symmetric groups, Group Homomorphisms, Definition and elementary properties of Rings and Fields.
Unit 5: Graphs · Combinatorics
Graphs: Definition and terminology, Representation of graphs, Multigraphs, Bipartite graphs, Planar graphs, Isomorphism and Homeomorphism of graphs, Euler and Hamiltonian paths, Graph coloring. Combinatorics: Introduction, Counting Techniques, Pigeonhole Principle
BCS303 Course Outcomes
- At the end of course , the student will be able to understand
- CO 1 Acquire Knowledge of sets and relations for solving the problems of POSET and lattices. K3, K4
- CO 2 Apply fundamental concepts of functions and Boolean algebra for solving the problems of logical K1, K2
- abilities.
- CO 3 Employ the rules of propositions and predicate logic to solve the complex and logical problems. K3
- CO 4 Explore the concepts of group theory and their applications for solving the advance technological K1, K4
- problems.
- CO 5 Illustrate the principles and concepts of graph theory for solving problems related to computer science. K2, K6
BCS303 Reference Books
- Koshy, Discrete Structures, Elsevier Pub. 2008 Kenneth H. Rosen, Discrete Mathematics and Its Applications, 6/e, McGraw-Hill,
- B. Kolman, R.C. Busby, and S.C. Ross, Discrete Mathematical Structures, 5/e, Prentice Hall, 2004.
- E.R. Scheinerman, Mathematics: A Discrete Introduction, Brooks/Cole, 2000.
- R.P. Grimaldi, Discrete and Combinatorial Mathematics, 5/e, Addison Wesley, 2004
- Liptschutz, Seymour, “ Discrete Mathematics”, McGraw Hill.
- Trembley, J.P & R. Manohar, “Discrete Mathematical Structure with Application to Computer Science”, McGraw Hill. 4. Deo,
- Narsingh, “Graph Theory With application to Engineering and Computer.Science.”, PHI.
- Krishnamurthy, V., “Combinatorics Theory & Application”, East-West Press Pvt. Ltd., New Delhi
Frequently Asked Questions about BCS303
What is the syllabus of BCS303 Discrete Structures & Theory of Logic?
The AKTU BCS303 Discrete Structures & Theory of Logic syllabus is divided into 5 units: Set Theory& Relations and Relations; POSET & Lattices and Functions; Boolean Algebra and Theory of Logics and Predicate Logic; Algebraic Structures; Graphs and Combinatorics. The complete topic list for each unit is published on this page, taken from the official Dr. A.P.J. Abdul Kalam Technical University syllabus effective from 2023-24.
How many units are there in BCS303?
BCS303 Discrete Structures & Theory of Logic has 5 units in the AKTU syllabus, with an L-T-P (Lecture-Tutorial-Practical) structure of 3-1-0 and 3 credits.
Is BCS303 the same subject as KCS303?
Yes. AKTU renumbered its B.Tech subject codes from the 2022-23 session onwards, so the same subject appears as BCS303 and KCS303 depending on the scheme year. The syllabus content is the same.
Which semester is BCS303 taught in?
BCS303 Discrete Structures & Theory of Logic is taught in Semester 3 of the 2nd year of the AKTU B.Tech programme.
How many credits is BCS303 worth?
BCS303 Discrete Structures & Theory of Logic carries 3 credits in the AKTU evaluation scheme, with an L-T-P of 3-1-0.
Where can I download BCS303 previous year question papers?
All AKTU BCS303 Discrete Structures & Theory of Logic previous year question papers are available to download free on Ryzenstudy, with no login or registration required.
Is this the official AKTU syllabus for BCS303?
Yes. Every topic on this page is taken from the official Dr. A.P.J. Abdul Kalam Technical University syllabus document (AKTU B.Tech 2nd Year CSE Syllabus), effective from 2023-24. A direct link to the original AKTU PDF is provided at the top of this page. Last verified on 2026-08-15.
Related AKTU Syllabus
Source: Dr. A.P.J. Abdul Kalam Technical University official syllabus — AKTU B.Tech 2nd Year CSE Syllabus, effective from 2023-24. Ryzenstudy is not affiliated with AKTU. Content last verified on 2026-08-15.