d (New page: {{Course | name = Introduction to Mathematical Logic for Programmers | code = 1-AIN-625 | prerequisites = none | semester = Winter | year = 2 | credits = 6 | form = C - cours...)
 
Riadok 6: Riadok 6:
 
   | year = 2
 
   | year = 2
 
   | credits = 6
 
   | credits = 6
   | form = C - course (4)
+
   | form = L - lecture (2), P - practicals (2)  
 
   | evaluation = 40/60
 
   | evaluation = 40/60
   | webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-625-lpp/
+
   | webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-625-lpp/?lang=en
 
   | teacher = [[Jan Komara|Ing. Ján Komara]]
 
   | teacher = [[Jan Komara|Ing. Ján Komara]]
 
   | email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
 
   | email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
 
   | homepage = http://ii.fmph.uniba.sk/~komara/
 
   | 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.
+
   | description =   
 +
To give mathematical foundations of declarative programming languages. Programs are definitions of recursive functions. Computational model is based on the reduction of terms. Data structures are coded into the domain of natural numbers. The course has computer labs in the programming system CL.  
 
   | offered_in = Obligatory-optional in [[Bachelor program in Applied Informatics]]
 
   | offered_in = Obligatory-optional in [[Bachelor program in Applied Informatics]]
 
   | recommendations = none
 
   | recommendations = none
 
}}
 
}}

Verzia zo dňa a času 15:01, 8. september 2008

Introduction to Mathematical Logic for Programmers 1-AIN-625

go to list of all courses...

Course name and code: Introduction to Mathematical Logic for Programmers (1-AIN-625)
Prerequisite courses: none
Available in/recommended study year: Winter semester / 2
Form and # of hours/week: L - lecture (2), P - practicals (2)
Credits: 6
Evaluation (semester/exam): 40/60
Course webpage: http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-625-lpp/?lang=en
Information sheet: 1-AIN-625 information sheet
Teacher(s): Ing. Ján Komara
E-mail: komara@fmph.uniba.sk
Homepage(s): http://ii.fmph.uniba.sk/~komara/

Short description:

To give mathematical foundations of declarative programming languages. Programs are definitions of recursive functions. Computational model is based on the reduction of terms. Data structures are coded into the domain of natural numbers. The course has computer labs in the programming system CL.

Offered in these study programs: Obligatory-optional in Bachelor program in Applied Informatics

Recommendations: none