Formal Methods - Hírek

First midterm delayed

Submitted by Ákos Hajdu on Thu, 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

Submitted by István Majzik on Fri, 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

Submitted by Ákos Hajdu on Mon, 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

Submitted by Ákos Hajdu on Mon, 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

Submitted by Vince Molnár on Thu, 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). Read more »

Results of the Second Midterm Exam

Submitted by Vince Molnár on Thu, 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

Submitted by Vince Molnár on Tue, 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

Submitted by Vince Molnár on Mon, 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

Submitted by Vince Molnár on Fri, 2018-03-02 19:22

The assignment of homework tasks to studens can be found below (removed). Read more »

Syndicate content

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login