Hlavné menu
  1. KAI
  2. Výučba
  3. Bakalársky program Aplikovaná informatika
  1. KAI
  2. Výučba
  3. Predmety
  4. Predmety 1-AIN

Introduction to Computational Logic/sk: Rozdiel medzi revíziami

(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...)
 
(zmena vyucujuceho, webstranky)
 
(5 medziľahlých úprav od 2 ďalších používateľov nie je zobrazených)
Riadok 1: Riadok 1:
−
{{Course
+
{{Predmet
−
   | name = Introduction to Computer Logic
+
   | name = Úvod do výpočtovej logiky
 
   | 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 = http://dai.fmph.uniba.sk/~siska/udvl/
−
   | teacher = [[Martin Homola|RNDr. Martin Homola]], [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]]
+
   | teacher = [[Jozef Siska|RNDr. Jozef Šiška]], [[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 = siska[[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://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 = 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 = Obligatory-optional in [[Bachelor program in Applied Informatics]]
+
   | offered_in = Povinne-voliteľný v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]
−
   | recommendations = none
+
   | recommendations = žiadne
 
}}
 
}}

Aktuálna revízia z 17:35, 12. február 2014

Ú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: http://dai.fmph.uniba.sk/~siska/udvl/
Informačný list: Informačný list 1-AIN-411 (fakultná služba)
Vyučujúci: RNDr. Jozef Šiška, doc. PhDr. Ján Šefránek, CSc.
E-mail: siska@ii.fmph.uniba.sk, sefranek@ii.fmph.uniba.sk
Domovská stránka: http://dai.fmph.uniba.sk/~siska/ 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 Bakálarskom programe Aplikovaná informatika

Odporúčania: žiadne

Zdroj: „http://dev.dai.fmph.uniba.sk/w?title=Introduction_to_Computational_Logic/sk&oldid=11915“