Department: Computer Science and Engineering Subject Code/Name: CS – Theory of Computation Document Type: Question Bank Website: niceindia. Theory of Computation Anna university Question paper Month/year Subject Download link May / June QP: TOC. Anna University B E /B Tech Examination May/June Department of CSE Fifth Semester CS Theory of Computation Question paper.

Author: Dushicage Faugrel
Country: Niger
Language: English (Spanish)
Genre: History
Published (Last): 1 March 2014
Pages: 449
PDF File Size: 8.22 Mb
ePub File Size: 18.58 Mb
ISBN: 257-2-31700-672-2
Downloads: 57408
Price: Free* [*Free Regsitration Required]
Uploader: Nizil

Program design with emphasis on pragmatic and mathematical aspects cs1303t-heory program efficiency. Search for Question Papers: Fundamental proof techniques with an emphasis on induction. Theory of Computation Finite Automata, regular expressions and languages; properties of regular languages; context-free grammars and languages; pushdown automata; properties of context-free languages.

CSI Discrete Structures 3,1. CMPT Design and Analysis of Computing Algorithms Models of computation, methods of algorithm design; complexity of algorithms; algorithms on graphs, NP-completeness, approximation algorithms, selected topics Choice: B-trees, heaps and graphs.

UBC Notes – tons of math! Design, implementation, and comparison of data structures.

CS Theory of Computation April/May

The basics of counting: Regular languages, finite automata, transition graphs Kleene’s theorem. Views Read View source View history. P and NP classes. Analysis of recursive programs using recurrence relations.

Properties of the integers. Noorul Islam College of Engineering University: Introduction to Turing machines; recursive functions; undecidability.

Simple methods of complexity analysis. Strassen’s methodNP-completeness. An introduction to lower bounds and intractability. CPSC Basic Algorithms and Data Structures Design and analysis of basic algorithms and data structures; algorithm analysis methods, searching and sorting algorithms, basic data structures, graphs and concurrency.


Topics include propositional logic, first order logic, proof techniques, mathematical induction, sets, operations on sets, relations, operations on relations, functions, countable an uncountable sets, graph-theoretic concepts, such as graph connectivity, graph isomorphism, trees, Euler graphs.

Course details at http: The regular expression R is given as: Introduction to numerical computation. Choice of one of three: Rudiments of the analysis of algorithms and order analysis. NP- hardness and NP- completeness. Intermediate Data Structures and Algorithms Formal abstract data types; tree representations and searching: Strings and pattern matching. Topics include abstract data types, lists, stacks, queues, trees and graphs.

CR: Survey of theory requirements in other Canadian Honours programs

Finite automata with output. CS Algorithm Analysis A formal algorithmic language. S Theory of Computation Models of sequential and parallel computation, automata theory, formal languages, the Chomsky hierarchy, decidability and computability, sequential and parallel complexity theory.

Topics which will be studied include: VICTORIA MATH Logic and Foundations Logic and quantifiers, basic set theory, mathematical induction and recursive definitions, divide and conquer recurrence relations, properties of integers, counting, functions and relations, countable and uncountable sets, asymptotic notation.

CS1303 Theory of Computation Syllabus

Leave a Reply Cancel reply How to add comment: Boolean algebra and combinations logic circuits; proof techniques; functions and sequential circuits; sets and relations; finite state machines; sequential instruction execution.

External storage and input-output complexity. Introduction to soundness, completeness and decidability. Info here is from BSc.

These expressions are used by many text editors and utilities to search bodies of text for certain patterns etc. CS Discrete Computational Structures Finite and discrete algebraic structures relating to computers; sets, functions, relations. Undecidability of problems in computation, including the halting problem.


Considers randomized algorithms and introduces complexity cs1303-theor, including NP-completeness. CS Algorithms The study of efficient algorithms and effective algorithm design techniques.

Representation of floating point numbers and introduction to numerical computation. Students will be expected to show good design principles and adequate skills at reasoning about the correctness and complexity of algorithms. A “theory” course is any course, taught by any department, that is mainly: Deterministic Finite Automaton is a FA in which there is computaton one path for a specific input from current state to next state.

Understanding, using and developing precise expressions of mathematical ideas, including definitions and theorems.

That is a G string is in L G if: The existence of intractable problems, heuristics. Average case and worst case analysis. Context-free languages, derivation trees, normal form grammars, pumping lemma, pushdown automata, determinism. Data Structures and Algorithms An introduction to the programming and time-complexity analysis of internal main store and external data structures.

CMPT Data Structures and Algorithms A nalysis and design of data structures for lists, sets, trees, dictionaries, and priority queues.