Riadok 12: Riadok 12:
 
   | 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 = Kurz slúži ako úvod do matematickej logiky a výpočtovnej logiky pre študentov so zájmom o ďalšie šúdium umelej inteligencie, reprezentácie znalostí a kognitívnej vedy.
 
   | offered_in = Povinne-voliteľný v in [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]
 
   | offered_in = Povinne-voliteľný v in [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]
 
   | recommendations = žiadne
 
   | recommendations = žiadne
 
}}
 
}}

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

Úvod do výpočtovej logiky 1-AIN-411

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

Názov a kód predmetu: Úvod do výpočtovej logiky (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:

Kurz slúži ako úvod do matematickej logiky a výpočtovnej logiky pre študentov so zájmom o ďalšie šúdium umelej inteligencie, reprezentácie znalostí a kognitívnej vedy.

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

Odporúčania: žiadne