|
|
| Riadok 1: |
Riadok 1: |
| − | {{Course
| + | generic page |
| − | | name = Specification and Verification of Programs
| + | |
| − | | code = 1-AIN-470
| + | |
| − | | prerequisites = none
| + | |
| − | | semester = Summer
| + | |
| − | | year = 2
| + | |
| − | | credits = 6
| + | |
| − | | form = C - course (4)
| + | |
| − | | evaluation = 60/40
| + | |
| − | | webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-470-svp/
| + | |
| − | | teacher = [[Jan Komara|Ing. Ján Komara]]
| + | |
| − | | email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
| + | |
| − | | homepage = http://ii.fmph.uniba.sk/~komara/
| + | |
| − | | description = Formal system of first-order arithmetics (Peano arithmetics) used for specification, implementation and verification of programs. Problems solved in exercises using specification-verification system CL.
| + | |
| − | | offered_in = Obligatory-optional in [[Bachelor program in Applied Informatics]]
| + | |
| − | | recommendations = none
| + | |
| − | }}
| + | |
