No products
Author: | Ondrej Krídlo |
Year of publication: | 2020 |
Available from: | 20.10.2020 |
Edition: | 1st edition |
Document type: | Academic textbook - scripts |
Publication language: | Slovak |
Number of pages: | 63 |
Faculty: | Faculty of Science |
Note: | Tento projekt sa realizuje vďaka podpore z Európskeho sociálneho fondu v rámci Operačného programu Ľudské zdroje. Spracované s finančnou podporou národného projektu IT Akadémia – vzdelávanie pre 21. storočie |
Licencia: | Creative Commons BY (Uveďte autora) |
University textbooks present the basics of knowledge systems, which are divided into two parts. The first part of the publication is devoted to the basis of Formal Concept Analysis, ie the method of data analysis, knowledge representation and information processing, which is based on the formalization of the concept. In the second part we deal with the basics of logic programming, procedural semantics of logic programming, ie programs - theories, questions, SLD-derivation, SLD-tree, search strategies. University textbooks are intended for students of master's degree programs in computer science.