Formal Methods - Hírek

First midterm delayed

Hajdu Ákos, cs, 2020-03-12 10:41

The first midterm exam is delayed until further notice. When a new date will be scheduled you will be notified using Neptun messages. Please also follow the central information page of the university.

Homework assignment published

Majzik István, p, 2020-03-06 17:00

The homework assignments are now published and can be downloaded. For more information and deadlines, please check the homework page. If you have trouble finding or downloading your task, contact us.

Midterm exam 1

Hajdu Ákos, h, 2019-03-04 17:20

The midterm exam takes place on 12th March, 2019. (Tuesday), 18:15-19:45. We will announce the room before the exam. On the next lecture (11th of March) there will be a practice session. Some sample exams were uploaded to the materials. Note, that statecharts are not part of the first midterm this year.

Home assignment published

Hajdu Ákos, h, 2019-03-04 17:14

The home assignments are now published and can be downloaded. For more information and deadlines, please check the homework page. If you have trouble finding or downloading your task, contact us.

The lecture on the 25th of March will have some modeling examples related to the home assignment.

Results of the Repeated Second Midterm Exam

Molnár Vince, cs, 2018-05-24 16:16

The results of the retake of the second midterm exam can be seen in the attached PDF file (removed).

The minimum score for each grade is as follows: 1 - [0,22); 2 - [22,28); 3 - [28,34); 4 - [34,40); 5 - [40,50]. Remember that the final grade of the whole course is calculated from the grade of the exam, not the score. Also note that the result of the retake automatically overwrites the result of the first exam (nobody had a worse grade this time). Tovább »

Results of the Second Midterm Exam

Molnár Vince, cs, 2018-05-17 16:10

The results of the second midterm exam can be seen in the attached PDF file (removed).

The minimum score for each grade is as follows: 1 - [0,22); 2 - [22,28); 3 - [28,34); 4 - [34,40); 5 - [40,50]. Remember that the final grade of the whole course is calculated from the grade of the exam, not the score.

Those with grade 1 have to repeat the exam on 23. May, 2018. (Wednesday), 10:15-11:45, room I.B.026. It is also possible to repeat the exam to get a better grade, but the new grade will overwrite the previous one even if it is worse.

Results of the Repeated First Midterm Exam

Molnár Vince, k, 2018-04-03 13:48

The results of the first midterm exam can be seen in the attached PDF file (removed).

The minimum score for each grade is as follows: 1 - [0,22); 2 - [22,28); 3 - [28,34); 4 - [34,40); 5 - [40,50]. Remember that the final grade of the whole course is calculated from the grade of the exam, not the score. Also note that the result of the retake automatically overwrites the result of the first exam (nobody had a worse grade this time).

There will be no more retake opportunities for the first exam, so grade 1 implies the failure of the course.

Results of the First Midterm Exam

Molnár Vince, h, 2018-03-19 19:13

The results of the first midterm exam can be seen in the attached PDF file (removed).

The minimum score for each grade is as follows: 1 - [0,22); 2 - [22,28); 3 - [28,34); 4 - [34,40); 5 - [40,50]. Remember that the final grade of the whole course is calculated from the grade of the exam, not the score.

Those with grade 1 have to repeat the exam on 29. March, 2018. (Thursday), 18:15-19:45, room I.B.027. It is also possible to repeat the exam to get a better grade, but the new grade will overwrite the previous one even if it is worse.

Formal Methods homework assignment

Molnár Vince, p, 2018-03-02 19:22

The assignment of homework tasks to studens can be found below (removed). Tovább »

Tartalom átvétel

Nyelvek

  • English
  • Magyar

Belépés

Navigáció