| Title: | Algorithms and Data Structures |
|---|
| Code: | ADS |
|---|
| Ac.Year: | ukončen 2004/2005 |
|---|
| Term: | Summer |
|---|
| Study plans: | |
|---|
| Language: | Czech |
|---|
| Public info: | http://www.fit.vutbr.cz/study/courses/ADS/public/ |
|---|
| Private info: | http://www.fit.vutbr.cz/study/courses/ADS/private/ |
|---|
| Credits: | 7 |
|---|
| Completion: | examination (written) |
|---|
Type of instruction: | | Hour/sem | Lectures | Sem. Exercises | Lab. exercises | Comp. exercises | Other |
|---|
| Hours: | 39 | 0 | 0 | 0 | 39 |
|---|
| | Examination | Tests | Exercises | Laboratories | Other |
|---|
| Points: | 0 | 0 | 0 | 0 | 0 |
|---|
|
|---|
| Guarantee: | Honzík Jan M., prof. Ing., CSc., DIFS |
|---|
| Lecturer: | Honzík Jan M., prof. Ing., CSc., DIFS |
| Instructor: | Křena Bohuslav, Ing., Ph.D., DITS |
|---|
| Faculty: | Faculty of Information Technology BUT |
|---|
| Department: | Department of Information Systems FIT BUT |
|---|
| | | Learning objectives: |
|---|
To command the design, specification and implementation of abstract data types. To acquaint and command the most important searching algorithms. To acquaint the most inportant sorting. algorithms.To acquaint with the fundamentals of proving of the correnctness of algorithms. | | Description: |
|---|
Introduction to algorithms. Fundamentals of the program complexity. Abstract data structures. Principles of dynamic memory allocation. Abstract data types, specification and implementation. Searching algorithms. Sorting algorithms.
Text processing algorithms. Recursive and non recursive notation of algorithms. Verification and proving correctness of algorithms. | | Syllabus of lectures: |
|---|
- Introduction
- Abstract data structures
- Principles of memory allocation
- Abstract data types, specification and implementation
- Searching algorithms
- Sorting algorithms
- Text processing algorithms
- Recursive and non recursive notation of algorithms
- Verification and proving correctness of algorithms
| | Syllabus of laboratory exercises: |
|---|
- 4 home assignments
- 1 project with short presentation and defence
| | Fundamental literature: |
|---|
- Honzík,J. a kolektiv: Programovací techniky. Skriptum VUT v Brně
- Honzík,J.,Hruška,T.,Máčel,M.: Vybrané kapitoly z rogamovacích technik
| | Study literature: |
|---|
- Complete set of texts on the internet address of departmental courses available to students enroled to the course.
| | Progress assessment: |
|---|
- Mid-term examination
- 4 home assignment (project in Pascal) sent electronically
| | |
|