(New page: {{Course | name = Introduction to Computer Logic | code = 1-AIN-411 | prerequisites = none | semester = Summer | year = 2 | credits = 5 | form = L - lab exercise (2), P - lec...) |
|||
Riadok 10: | Riadok 10: | ||
| webpage = not available | | webpage = not available | ||
| teacher = [[Martin Homola|RNDr. Martin Homola]], [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]] | | teacher = [[Martin Homola|RNDr. Martin Homola]], [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]] | ||
− | | email = homola@ii.fmph.uniba.sk, sefranek@ii.fmph.uniba.sk | + | | 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/ | | 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. | | 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. |
Verzia zo dňa a času 14:59, 17. august 2008
Introduction to Computer Logic 1-AIN-411
Course name and code: | Introduction to Computer Logic (1-AIN-411) |
Prerequisite courses: | none |
Available in/recommended study year: | Summer semester / 2 |
Form and # of hours/week: | L - lab exercise (2), P - lecture (2) |
Credits: | 5 |
Evaluation (semester/exam): | 50/50 |
Course webpage: | not available |
Information sheet: | 1-AIN-411 information sheet |
Teacher(s): | RNDr. Martin Homola, doc. PhDr. Ján Šefránek, CSc. |
E-mail: | homola![]() ![]() |
Homepage(s): | http://ii.fmph.uniba.sk/~homola/ http://ii.fmph.uniba.sk/~sefranek/ |
Short 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 these study programs: Obligatory-optional in Bachelor program in Applied Informatics
Recommendations: none