WIW34180 – Models of Computation

Module
Models of Computation
Models of Computation
Module number
WIW34180
Version: 1
Faculty
Business Administration
Level
Master
Duration
1 Semester
Semester
Summer and Winter semester
Module supervisor

Prof. Dr. Matthias Richter
M.Richter(at)fh-zwickau.de

Lecturer(s)

Lecturer of the International Black Sea University (IBSU)

Course language(s)

English
in "Models of Computation"

ECTS credits

5.00 credits

Workload

150 hours

Courses

4.00 SCH (2.00 SCH Vorlesung | 1.00 SCH Seminar | 1.00 SCH Seminar)

Self-study time

90.00 hours
36.00 hours Self-study - Models of Computation
27.00 hours Projektarbeit(en) - Models of Computation
27.00 hours Seminar/Übung - Models of Computation

Pre-examination(s)

Seminarvortrag
in "Models of Computation"

Hausaufgaben
in "Models of Computation"

Examination(s)

schriftliche Prüfungsleistung
Module examination | Examination time: 120 min | Weighting: 100% | wird in englischer Sprache abgenommen
in "Models of Computation"

Media type
No information
Instruction content/structure
  • Mathematical modeling concepts and computer science history
  • Linear Programming, ILP and other models
  • Regular expressions, lambda calculus and functional programming
  • Logic circuits and Boolean functions
  • Machines with memory,deterministic and nondeterministic machines
  • Computability and Complexity, complexity of algorithms
Qualification objectives

The goal of this module is to introduce the students different (mathematical) models of computations. Mathematical models are useful to understand the fundamental principles of computation, such as limitation and efficiency of computation. This module covers mathematical models of computations: linear programming, logic circuits, automata theory, lambda calculus, finite state machines, random access machines, Turing machines. Moreover, the students will learn basics of computational complexity with theoretical and practical approaches.

Special admission requirements

discrete mathematics, algorithms and data structures, programming

Recommended prerequisites
No information
Continuation options
No information
Literature
  • John E. Savage, Models of Computation (Exploring the Power of Computing), BrownUniversity, Addison-Wesley, 1998
  • Computational Complexity: A Modern Approach, Sanjeev Arora and Boaz Barak, 2007
Notes

This subject can be studied at IBSU, Georgia Tbilissi as an elective one in the 2nd or 3rd semester.

Lecturer: Prof. Michal Malafiejski

Prerequisite(s) for examination admission:

  • Seminar presentation and homework exercises solved
Assignment to curriculum
No information