F. Courses selected for project-based learning: Give students a basic awareness and asked to do
self-study. At the end of the term, they must submit a project report based on the selected topic.
1. MATH509 - Symbolic Logic:
1. Study algebraic structures associated with logical systems, such as Boolean algebras, Heyting
algebras, and lattice theory. Investigate the connections between algebraic structures and
logical semantics.
2. Study the theory of computation and its connections to logic. Investigate Turing machines,
recursive functions, and the Church-Turing thesis.
3. Explore the logic used in quantum mechanics, including the development of quantum logics
and the study of quantum computation.
2. CSCI656 - Special Topics in Computing:
Cruntor
3. Da
.dlr...dcy
alysis
4. Natural Language Processing (NLP) for Text Generation.
(The above-mentioned topics are just suggestions; you can select any topics related to subject area
that you think beneficial for students)