CSCD 419 — Formal Methods and Models
Computer Science · University of Ghana
This course is an introduction to two kinds of formal systems—languages and logics that are crucial to large numbers of areas in computer science. The study of formal languages underlies important aspects of compilers and other language processing systems, software engineering, agents and multiagent systems, game development, robotics, and networking. Formal logics and automatic reasoning are put to use in artificial intelligence, database theory, and software engineering. The course gives students practice in precise thinking and proof methods that play a role in the analysis of algorithms. Topics include: Propositional Logic and Proofs; Predicate Logic and Proofs; Program Verification; Prolog; Finite Automata, Regular Expressions; Context-Free Grammars; Turing Machines and Solvability.
- Credits
- 3
- Level
- Level 400
Other courses on this programme
- CSCD 400 — Project
- CSCD 409 — Data Mining & Warehousing
- CSCD 415 — Compilers
- CSCD 416 — System Programming
- CSCD 417 — Theory and Survey of Programming Languages
- CSCD 418 — Computer Systems Security
- CSCD 421 — Accounting Principles in Computing
- CSCD 422 — Human Computer Interaction
- CSCD 423 — Software Modeling and Simulation
- CSCD 424 — Management Principles in Computing
- CSCD 426 — Multimedia Applications
- CSCD 427 — Data Communication & Networking II
Practising CSCD 419 with Questora
Upload your own slides, notes and past papers for CSCD 419 and Questora builds mock exams, practice questions and a revision plan from them.
Start freeCourse details from University of Ghana Volume 3 Handbook for the Bachelor's Degree: Course Descriptions for Programmes in the Sciences (2017).