Algoritmide ja andmestruktuuride erikursus: erinevus redaktsioonide vahel
Resümee puudub |
|||
| 8. rida: | 8. rida: | ||
Course name: Advanced Algorithms and Data Structures | Course name: Advanced Algorithms and Data Structures | ||
<td> | <td> | ||
Course code: | Course code: ITI8590<br> | ||
Semester: fall 2019<br> | Semester: fall 2019<br> | ||
<!-- | <!-- | ||
| 44. rida: | 44. rida: | ||
The latter part will be extended to algorithms and data structures for extending standard FOL reasoners to the tasks of commonsense reasoning. | The latter part will be extended to algorithms and data structures for extending standard FOL reasoners to the tasks of commonsense reasoning. | ||
<!-- | |||
We will also use the algorithms and data structures automated reasoners for looking into the issues (in Estonian): | We will also use the algorithms and data structures automated reasoners for looking into the issues (in Estonian): | ||
| 53. rida: | 53. rida: | ||
* juhuslikustatud algoritmid | * juhuslikustatud algoritmid | ||
* paisksalvestus | * paisksalvestus | ||
--> | |||
== Course materials == | == Course materials == | ||
Redaktsioon: 9. september 2019, kell 13:47
|
Course code: ITI8590 |
Learning outcomes
In Estonian:
- teab mitmete erialgoritmide tööpõhimõtteid
- on suuteline rakendama neid algoritme erinevate ülesannete lahendamiseks
- teab mitmete andmestruktuuride tööpõhimõtteid ja on suuteline neid rakendama
- suudab analüüsida järjestikuste ja rekursiivsete algoritmide keerukust
Brief description of the course
The course focuses on the internals of the methods of automated reasoning.
We will first have a brief look at the algorithms for
- solving propositonal formulae
- SMT methods
The main bulk of the course is devoted to algorithms and data structures used for full first order (FOL) reasoners.
The latter part will be extended to algorithms and data structures for extending standard FOL reasoners to the tasks of commonsense reasoning.
Course materials
Will be given during the course. Materials are either presentations for specific methods or scientific papers covering such methods.
An introductory material to field is the set of course notes from Geoff Sutcliffe