1 / 8

Theoretical informatics II

Theoretical informatics II. Aim of the course and its syllabus Recommended literature Coursework Examination Your questions. Theoretical informatics II. Lecturer: Josef Hynek Josef.Hynek@uhk.cz Aim of the course:

dannyallen
Download Presentation

Theoretical informatics II

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Theoretical informatics II • Aim of the course and its syllabus • Recommended literature • Coursework • Examination • Your questions

  2. Theoretical informatics II • Lecturer: Josef Hynek Josef.Hynek@uhk.cz • Aim of the course: • To make the students familiar with selected aspects of theoretical informatics in order to be prepared for their independent research activities in the area of applied informatics. The scope of the course reflects the fact, that some students did not acquire sufficient level of preliminary knowledge in this area during their previous studies and so it is necessary to bring them into line with students who already passed some courses in theoretical informatics.

  3. Syllabus: • Theory of formal languages (languages, Chomsky hierarchy, grammars and their utilization). • Theory of automata (finite automata, pushdown automata, Turing machines, relationships between various types of automata and grammar, Church-Turing thesis) • Theory of computability (decidable problems, universal Turing machine, the halting problem, undecidable problems and their implications, Gödel theorem, Turing machines with oracle) • Theory of complexity (time and space complexity, algorithm analysis, classes of complexity, NP-complexity, approximate solutions to hard problems)

  4. Reading list: • Sipser, M.: Introduction to the Theory of Computation Course Technology, 2nd Ed., Thomson, Boston, MA, 2006. • Linz, P., An Introduction to Formal Languages and Automata, Fifth Edition. Jones & Bartlett Learning, 2001. • Jančar, P., Kot, M., Sawa, Z.: Teoretickáinformatika. VŠB – Technickáuniverzita Ostrava, 2007. (in Czech only) • Wayne Goddard: Introducing the Theory of Computation. Jones & Bartlett Learning, 2008. • Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation (2nd Ed.), Addison Wesley, 2000. • Garey, M.R.: Johnson, D.S.: Computers and Intractability : A Guide to the Theory of NP-Completeness (Series of Books in the Mathematical Sciences), W.H. Freeman 1979. • Cormen, T. H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, (2nd Edition), MIT Press 2001.

  5. Organization of the course • Introductory meeting • Reading & independent work of students • Consultations – if needed • Josef.Hynek@uhk.cz • in person (prior arrangement is needed) • Preparation of your coursework (paper) • Examination

  6. Coursework (paper) • Topic: focused on specific aspects of theoretical informatics related to the subject of your dissertation (or related to some area of your interest if you are unable to find any relationship to your dissertation) • Length: 3000 words approximately • Format: “common” conference/journal paper (Word, PDF) • Submission: by e-mail (Josef.Hynek@uhk.cz ) • Deadline: 4. 1. 2019 • Thereafter: I will need approximately two weeks to read it and then (if it is ok) you will be invited for oral exam

  7. Examination Examination comprises of two parts: • First of all, we will discuss your paper • Secondly, your knowledge of theoretical informatics will be assessed in the areas  of • theory of automata and formal languages • theory of computability • and theory of complexity • The scope is given by the recommended textbook

  8. Theoretical informatics II Your questions?

More Related