Course detail
Algorithms
FIT-IAL Acad. year: 2022/2023 Winter semester
Overview of fundamental data structures and their exploitation. Introduction to time complexity of algorithms. Specification of abstract data types (ADT). Specification and implementation of ADT's: lists, stack and its exploitation, queue, searching table. Algorithms upon the binary trees. Searching: sequential, in the ordered and in not ordered array, searching with the guard (sentinel), binary search, search tree, balanced trees (AVL), balanced multiway serach trees. Searching in hash-tables. Ordering (sorting), principles, sorting without the moving of items, sorting with multiple keys. Most common methods of sorting: Select-sort, Bubble-sort, Heap-sort, Insert-sort and its variants, Shell-sort, recursive and non-recursive notation of the Quick sort, Merge-sort, List-merge-sort, Radix-sort. Recursion and dynamic programming. Searching the patterns in the text. Graph algorithms. Proving of the correctness of programs.
5 ECTS credits represent approximately 125-150 hours of study workload:
- 39 hours of lectures
- 26 hours for two home assignments
- 35 hours of project work
- 20 hours of continual study
- 30 hours of study for the midterm and final examination
Language of instruction
Czech
Number of ECTS credits
5
Supervisor
Department
Learning outcomes of the course unit
- The student will learn the fundamentals of algorithm complexity and their intention.
- He/she acquaints with basic abstract data types and to commands its implementation and exploitation.
- He/she learns and commands recursive and non recursive notation of basic algorithms.
- Student will become familiar with different variants of search tables and understand their properties.
- Student overrules the implementation and analysis of most used algorithms for searching and sorting.
- The student learns terminology in Czech and English language.
- The student learns to participate on the small project as a member of a small team.
- Student learns to present and defend the results of the small project.
- The student will acquaint with the methods of proving of the correctness of programs and with the construction of proved programs and learn their significance.
Prerequisites
- Basic knowledge of the programming in a procedural programming language
- Knowledge of secondary school level mathematics
Assesment methods and criteria linked to learning outcomes
- Home assignments – 20 points
- Mid-term written examination – 14 point
- Evaluated project with the defence – 15 points
- Final written examination – 51 points; The minimal number of points which can be obtained from the final written examination is 24. Otherwise, no points will be assigned to a student.
Aims
The student will learn the fundamentals of algorithm complexity and will be able to use gained knowledge in the design of programs. Student acquaints with basic abstract data types and learn how to implement nad use them. The student learns and commands recursive and non-recursive notation of basic algorithms and will be able to use gained knowledge in the design of programmes. Student understands the implementation and analysis of most of the used algorithms for searching and sorting. The student will understand basic text search algorithms and basic graph algorithms. The student will learn about recursive problem solving and the basics of dynamic programming. The student will learn the principles of methods of proving of the correctness of programs and will be able to use gained knowledge in the design of programmes.
Specification of controlled education, way of implementation and compensation for absences
In case of illness or another serious obstacle, the student should inform the faculty about that and subsequently provide the evidence of such an obstacle. Then, it can be taken into account within evaluation:
- The student can ask the responsible teacher to extend the time for the home assignment.
- If a student cannot attend the mid-term exam, (s)he can ask to derive points from the evaluation of his/her first attempt of the final exam. To enter the final exam in this case, at least 14 points from home assignments and project are required.
- If a student cannot attend the defense of the project and the other team members agree with that (s)he can earn the same points from the project defence as for present members.
The study programmes with the given course
Programme B-MAI-P: Mathematical Engineering, Bachelor's, elective
Programme BPC-TLI: Telecommunication and Information Systems, Bachelor's, elective
Programme BPC-EKT: Electronics and Communication Technologies, Bachelor's, elective
Programme BPC-IBE: Information Security, Bachelor's, elective
Programme BPC-MET: Microelectronics and Technology, Bachelor's, elective
Programme BPC-AMT: Automation and Measurement, Bachelor's, elective
Programme BPC-SEE: Power Electrical and Electronic Engineering, Bachelor's, elective
Programme BPC-AUD: Audio Engineering, Bachelor's
specialization AUDB-TECH: Audio Technology, elective
Programme BPC-AUD: Audio Engineering, Bachelor's
specialization AUDB-ZVUK: Audio Production and Recording, elective
Programme IT-BC-3: Information Technology, Bachelor's
branch BIT: Information Technology, compulsory
Programme BIT: Information Technology, Bachelor's
specialization BITP: Information Technology, compulsory
Type of course unit
Lecture
39 hours, optionally
Teacher / Lecturer
Syllabus
- Overview of data structures. Time complexity of algorithms.
- Abstract data type and its specification. Specification, implementation and exploitation of the ADT list.
- Specification, implementation and exploitation of ADT stack, queue. Numeration of expressions with the use of the stack.
- Algorithms upon the binary tree.
- Searching, sequential, in the array, binary search, binary search trees, AVL tree.
- Balanced multiway search trees. Hashing-tables.
- Sorting, principles, without movement, multiple key.
- Most common methods of sorting of arrays – beginning.
- Most common methods of sorting of arrays – continuation.
- Recursion and the dynamic programming.
- String-searching algorithms.
- Graph algorithms.
- Proving the correctness of algorithms.
Project
13 hours, compulsory
Syllabus
- Two home assignments
- Project with a mini-defence for a team of students.