Informačný list ECTS Sylabus
Sylabus předmětu B-TZI - Theoretical foundations of computer science (FEEIT - SS 2019/2020)
|University:||Slovak University of Technology in Bratislava|
|Faculty of Electrical Engineering and Information Technology|
|Course unit title:||Theoretical foundations of computer science|
Course unit code:
Mode of completion and Number of ECTS credits:
|Exam (6 credits)|
|Name of lecturer:||prof. RNDr. Otokar Grošek, PhD. (examiner, instructor, lecturer, person responsible for course) - slovak, english|
Learning outcomes of the course unit:
To achieve knowledge from Information Theory, Turing Machines and computability, different kinds of automathon. Notion of a Random sequence and Turing Machine. To extend knowledge of students in the field of theoretical informatics. To accomplish that students will be able read scientific papers in the field of theoretical informatics indepently.
|Prerequisites and co-requisites:||none|
|• Information obtained in a single outcam of experiment• Entrópia a jej využitie
• Communication relations, automathon and semigroups
• Algorithms, Turing Machines and halt problem
• Stochastics automathons
• Linear automathons
• Notion of a Random sequence and distinguishability in informatics
• Calsses of assymptotics complexity
• Problem of a „one-way funkcie“
Recommended or required reading:
Planned learning activities and teaching methods:
Lecture 2h/week (in the classroom)
Seminar 2h/week (in the classroom)
|Assesment methods and criteria:|
There will be two written exams worth 20 points each, one premium assignment 10 points and a final Exam worth 50 points. The student needs to have at least 92 points for grade A, for grade B at least 83 points, for grade C at least 74 points, for grade D at least 65 points and for grade E at least 56 points. Student with less than 20 points after the two written exams will not be given the credit.
Language of instruction:
There is no compulsory work placement in the course unit.
Last modification made by RNDr. Marian Puškár on 02/03/2020.