|
|
| Riadok 1: |
Riadok 1: |
| − | {{Course
| + | generic page |
| − | | name = Introduction to Computer Logic
| + | |
| − | | code = 1-AIN-411
| + | |
| − | | prerequisites = none
| + | |
| − | | semester = Summer
| + | |
| − | | year = 2
| + | |
| − | | credits = 5
| + | |
| − | | form = L - lecture (2), P - practicals (2)
| + | |
| − | | evaluation = 50/50
| + | |
| − | | webpage = not available
| + | |
| − | | teacher = [[Martin Homola|RNDr. Martin Homola]], [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]]
| + | |
| − | | email = homola[[Image:zavinac.gif|@]]ii.fmph.uniba.sk, sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk
| + | |
| − | | homepage = http://ii.fmph.uniba.sk/~homola/ http://ii.fmph.uniba.sk/~sefranek/
| + | |
| − | | description = The course provides introduction to mathematical logic and to computational aspects of logic and is especially recommended to students who intend to undertake further courses on artificial intelligence, knowledge representation and cognitive science.
| + | |
| − | | offered_in = Obligatory-optional in [[Bachelor program in Applied Informatics]]
| + | |
| − | | recommendations = none
| + | |
| − | }}
| + | |
