m (Replacing page with 'generic page')
 
Line 1: Line 1:
{{Course
+
generic page
  | name = Introduction to Mathematical Logic for Programmers
+
  | code = 1-AIN-625
+
  | prerequisites = none
+
  | semester = Winter
+
  | year = 2
+
  | credits = 6
+
  | form = C - course (4)
+
  | evaluation = 40/60
+
  | webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-625-lpp/
+
  | teacher = [[Jan Komara|Ing. Ján Komara]]
+
  | email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
+
  | homepage = http://ii.fmph.uniba.sk/~komara/
+
  | description =  To introduce the first-order logic and the most basic formal theory: Peano arithmetic. The course has computer labs in the programming and verification system CL.
+
  | offered_in = Obligatory-optional in [[Bachelor program in Applied Informatics]]
+
  | recommendations = none
+
}}
+

Latest revision as of 16:44, 24 August 2008

generic page