Introduction to Computational Logic/en: Rozdiel medzi revíziami
d (moved Introduction to Computer Logic/en to Introduction to Computational Logic/en: Incorrect English translation) |
(change teacher, webpage) |
||
| Riadok 8: | Riadok 8: | ||
| form = L - lecture (2), P - practicals (2) | | form = L - lecture (2), P - practicals (2) | ||
| evaluation = 50/50 | | evaluation = 50/50 | ||
| − | | webpage = | + | | webpage = http://dai.fmph.uniba.sk/~siska/udvl/ |
| − | | teacher = [[ | + | | teacher = [[Jozef Siska|RNDr. Jozef Šiška]], [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]] |
| − | | email = | + | | email = siska[[Image:zavinac.gif|@]]ii.fmph.uniba.sk, sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk |
| − | | homepage = http:// | + | | homepage = http://dai.fmph.uniba.sk/~siska/ 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. | ||
| offered_in = Obligatory-optional in [[Bachelor program in Applied Informatics]] | | offered_in = Obligatory-optional in [[Bachelor program in Applied Informatics]] | ||
| recommendations = none | | recommendations = none | ||
}} | }} | ||
Aktuálna revízia z 17:34, 12. február 2014
Introduction to Computational Logic 1-AIN-411
| Course name and code: | Introduction to Computational Logic (1-AIN-411) |
| Prerequisite courses: | none |
| Available in/recommended study year: | Summer semester / 2 |
| Form and # of hours/week: | L - lecture (2), P - practicals (2) |
| Credits: | 5 |
| Evaluation (semester/exam): | 50/50 |
| Course webpage: | http://dai.fmph.uniba.sk/~siska/udvl/ |
| Information sheet: | 1-AIN-411 information sheet |
| Teacher(s): | RNDr. Jozef Šiška, doc. PhDr. Ján Šefránek, CSc. |
| E-mail: | siska ii.fmph.uniba.sk, sefranekii.fmph.uniba.sk
|
| Homepage(s): | http://dai.fmph.uniba.sk/~siska/ 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