Nemáte oprávnenie upravovať túto stránku z nasledovných dôvodov: Činnosť, ktorú požadujete, môže vykonať iba člen skupiny: Používatelia. Činnosť, ktorú požadujete, môže vykonať iba člen skupiny: Používatelia. Môžete si zobraziť a kopírovať zdroj tejto stránky: {{Course | name = Introduction to Mathematical Logic for Programmers | code = 1-AIN-625 | prerequisites = none | semester = Winter | year = 2 | credits = 6 | form = C - exercise (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 }} Späť na Introduction to Mathematical Logic for Programmers. ← Introduction to Mathematical Logic for Programmers