|Hour/sem||Lectures||Sem. Exercises||Lab. exercises||Comp. exercises||Other|
|Guarantee:||Honzík Jan M., prof. Ing., CSc., DIFS|
|Lecturer:||Burgetová Ivana, Ing., Ph.D., DIFS|
Křena Bohuslav, Ing., Ph.D., DITS
|Instructor:||Burgetová Ivana, Ing., Ph.D., DIFS|
Hranický Radek, Ing., DIFS
Jeřábek Kamil, Ing., DIFS
Křena Bohuslav, Ing., Ph.D., DITS
Křivka Zbyněk, Ing., Ph.D., DIFS
|Faculty:||Faculty of Information Technology BUT|
|Department:||Department of Information Systems FIT BUT|
| || ||Student will learn the principles of methods of proving of correctness of programs (Wirth) and with basic concepts of construction of proved programs (Dijkstra) and will be able to use gained knowledge in design of programmes.. Student will learn the fundamentals of algorithm complexity and will be able to use gained knowledge in design of programmes. Student learns the principles of dynamic memory allocation and he will exercise them on the model system. Student acquaints with basic abstract data types and to command its implementation and exploitation. Student learns and commands recursive and non recursive notation of basic algorithms and will be able to use gained knowledge in design of programmes.. Student overrules the implementation and analysis of most of used algorithms for searching and sorting.|
| || ||Overview of fundamental data structures and their exploitation. Principles of dynamic memory allocation. Specification of abstract data types (ADT). Specification and implementation of ADT's: lists, stack and its exploitation, queue, set, array, searching table, graph, binary tree. 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). 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 variants, Shell-sort, recursive and non-recursive notation of the Quick sort, Merge-sort,List-merge-sort, Radix-sort. Recursion and backtrack algorithms. Searching the patterns in the text. Proving of correctness of programs, construction of proved programs.|
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 midterm and final examination
|Knowledge and skills required for the course:|
| || |
- Basic knowledge of the programming in procedural programming language
- Knowledge of secondary school level mathematics
|Subject specific learning outcomes and competences:|
| || |
- Student will acquaint with the methods of proving of correctness of programs and with construction of proved programs and learn their significance.
- 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.
- Student will learn the principles of dynamic memory allocation and will be use them on the model system.
- He/she learns and commands recursive and non recursive notation of basic algorithms.
- Student overrules the implementation and analysis of most used algorithms for searching and sorting.
|Generic learning outcomes and competences:|
| || |
Student learns terminology in Czech and English language
Student learns to participate on the small project as a member of small team
Student learns to present and defend the results of the small project
|Syllabus of lectures:|
- Overview of data structures. Abstract data type and its specification.
- Specification, implementation and exploitation of ADT list.
- Specification, implementation and exploitation of ADT stack, queue. Numeration of expressions with the use of stack.
- ADT array, set, graph, binary tree.
- Algorithms upon the binary tree.
- Searching, sequential, in the array, binary search.
- Binary search trees, AVL tree.
- Ordering (sorting), principles, without movement, multiple key.
- Most common methods of sorting of arrays - beginning.
- Most common methods of sorting of arrays - continuation, sorting of files.
- Recursion, backtracking algorithms.
- Proving the programs, construction of proved programs.
|Syllabus - others, projects and individual work of students:|
- Two home assignments
- Project with a mini-defense for a team of students.
- Knuth, D.: The Art of Computer programming, Vol.1,2,3. Addison Wesley, 1968
- Wirth, N.: Alorithms+Data Structures=Programs, Prentice Hall, 1976
- Horovitz, Sahni: Fundamentals of Data Structures.
- Amsbury, W: Data Structures: From Arrays to Priority Cormen, T. H., Leiserson, Ch.E., Rivest, R.L.: Introduction to Algorithms.
- Aho A.V., Hoppcroft J.E., Ullman J.D.: Data Structures and Algorithms.
- Kruse, R.L.: Data Structures and Program Design. Prentice- Hall,Inc. 1984
- Baase, S.: Computer Algorithms - Introduction to Design and Analysis. Addison Wesley, 1998
- Honzík, J., Hruška, T., Máčel, M.: Vybrané kapitoly z programovacích technik, Ed.stř.VUT Brno,1991.
| || ||In case of illness or other serious obstacle, student should inform the faculty about that and subsequently provide the evidence of such obstacle. Then, it can be taken into account within evaluation:|
- The student can ask responsible teacher to extend the time for home assignment.
- If student cannot attend the mid-term exam, (s)he can ask to derive points from the evaluation of his/her first attempt of final exam. To enter the final exam in this case, at least 14 points from home assignments and project are required.
- If 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 defense as present members.
| || |
- Evaluated home assignments - 20 points
- Mid-term written examination - 14 point
- Evaluated project with the defense - 15 points
- Final written examination - 51 points; The minimal number of points which can be obtained from the final written examination is 20. Otherwise, no points will be assigned to a student.
| || |