|
|
| Riadok 1: |
Riadok 1: |
| − | {{Course
| + | generic page |
| − | | name = Answer Set Programming
| + | |
| − | | code = 1-AIN-617
| + | |
| − | | prerequisites = none
| + | |
| − | | semester = Winter
| + | |
| − | | year = 3
| + | |
| − | | credits = 6
| + | |
| − | | form = L - lecture (2), P - practicals (2)
| + | |
| − | | evaluation = 25/75
| + | |
| − | | webpage = not available
| + | |
| − | | teacher = [[Martin Baláž|RNDr. Martin Baláž]], [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]]
| + | |
| − | | email = balaz[[Image:zavinac.gif|@]]ii.fmph.uniba.sk, sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk
| + | |
| − | | homepage = http://ii.fmph.uniba.sk/~balaz/ http://ii.fmph.uniba.sk/~sefranek/
| + | |
| − | | description = To introduce the paradigm of answer set programming and to acquaint students with its application in various areas of knowledge representation.
| + | |
| − | | offered_in = Elective in [[Bachelor program in Applied Informatics]]
| + | |
| − | | recommendations = none
| + | |
| − | }}
| + | |
