CM1025 Fundamentals of Computer Science

Topics

• Logic
• Proofs
• Combinatorics
• Finite automata
• Regular languages
• Context-free grammar
• Turing machines
• Pseudocode
• Algorithms
• Computational complexity

Key people

• Dr Golnaz Badkobeh

References

• Rosen, K. (2011). Discrete Mathematics and Its Applications. 7th ed. McGraw-Hill.
• Koshy, T. (2004). Discrete Mathematics with Applications. 1st ed. Elsevier Inc.
• Sipser, M. (2012). Introduction to the theory of computation. 3rd ed. Cengage Learning.
• Hopcroft, J et al. (2013). Introduction to Automata Theory, Languages and Computation. Pearson.