Семантика на езиците за програмиране 2005/06 - упражнения

Оценяването по СЕП ще бъде базирано на точковата система по следния начин:

• 2 домашни по 50 т. Задачи за домашно се дават по време на упражненията и в предварително уговорен ден по време на семинара за 1 учебен час се решават от студентите.
• Контролно за 200 т. Контролното ще бъде в края на семестъра и ще има тежестта и сложността на писмен изпит.
• Писмен изпит за 200 т. Решават се задачи върху целия материал. От писмения изпит и контролното се взема максимума.
• Устен изпит за 250 т., минимумът за вземане на изпита е 100 т. Състои се от няколко малки теоретични задачи - дефиниции, твърдения, теореми.

Скалата за оценяване е следната:

• 450+ - Отличен (6)
• 350 - 449 - Много добър (5)
• 300 - 349 - Добър (4)
• 250 - 299 - Среден (3)

За подготовка по СЕП можете да използвате следната литература:

• И. Сосков, А. Дичев, "Теория на програмите", ІІ част.
• А. Соскова, С. Николова, "Ръководство по Теория на програмите".