(New page: {{Course | name = Introduction to Computer Logic | code = 1-AIN-411 | prerequisites = none | semester = Summer | year = 2 | credits = 5 | form = L - lecture (2), P - practica...)
 
Riadok 1: Riadok 1:
{{Course
+
{{Predmet
 
   | name = Introduction to Computer Logic
 
   | name = Introduction to Computer Logic
 
   | code = 1-AIN-411
 
   | code = 1-AIN-411
   | prerequisites = none
+
   | prerequisites = žiadne
   | semester = Summer
+
   | semester = Letný
 
   | year = 2
 
   | year = 2
 
   | credits = 5
 
   | credits = 5
   | form = L - lecture (2), P - practicals (2)
+
   | form = P - prednáška (2), C - cvičenie (2)
 
   | evaluation = 50/50
 
   | evaluation = 50/50
   | webpage = not available
+
   | webpage = chýba
 
   | 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[[Image:zavinac.gif|@]]ii.fmph.uniba.sk, sefranek[[Image:zavinac.gif|@]]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.
   | offered_in = Obligatory-optional in [[Bachelor program in Applied Informatics]]
+
   | offered_in = Povinne-voliteľný v in [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]
   | recommendations = none
+
   | recommendations = žiadne
 
}}
 
}}

Verzia zo dňa a času 17:34, 20. august 2008

Introduction to Computer Logic 1-AIN-411

choď na zoznam všetkých predmetov...

Názov a kód predmetu: Introduction to Computer Logic (1-AIN-411)
Prerekvizity: žiadne
Vyučuje sa/odporúčaný ročník: Letný semester / 2
Forma a # hodín/týždeň: P - prednáška (2), C - cvičenie (2)
Kredity: 5
Hodnotenie (semester/skúška): 50/50
Webstránka predmetu: chýba
Informačný list: Informačný list 1-AIN-411 (fakultná služba)
Vyučujúci: RNDr. Martin Homola, doc. PhDr. Ján Šefránek, CSc.
E-mail: homola@ii.fmph.uniba.sk, sefranek@ii.fmph.uniba.sk
Domovská stránka: http://ii.fmph.uniba.sk/~homola/ http://ii.fmph.uniba.sk/~sefranek/

Popis predmetu:

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.

Je časťou študijného programu: Povinne-voliteľný v in Bakálarskom programe Aplikovaná informatika

Odporúčania: žiadne