المرفقات
المحاضرات
الخطة الدراسية
عال 2401  -  النظرية الحسابية
عدد الوحدات عدد الساعات
نظري عملي
1 3 2
وصف المقرر

This course is an introduction to the theory of computational complexity and standard complexity classes. Topics include languages, finite and nondeterministic finite automata, Context-free grammar, Turing machines, computability, computational complexity, formal logic, and computational logic.

المتطلبات
  • Pre-requisite: CS 1111 (Discrete Mathematics)
  • Credit Hours: 3 CHs
  • Contact Hours: (3 hours lecture, 2 hours tutorial)

الكتاب

Title: "Introduction to the Theory of Computation"

            Author: Michael Sipser

            Publisher: Thomson Course Technology

            Year/Edition: 2012/3rd

المؤلفين
المحاضرين
احتساب الدرجات
الأهداف
الموضوعات