Logic in Computer Science – 2015

Contact information

Seminar leader:
Kádek Tamás
assistant lecturer
kadek(dot)tamas(at)inf(dot)unideb(dot)hu

Syllabus

In PDF format.

Important dates / exams / deadlines

October November Mid-term test I.
Sample questions with answers
2.
friday		 20.
friday
October November Mid-term test II.
Sample questions with answers
30.
friday		 20.
friday
November December Mid-term test III.
Sample questions with answers
13.
friday		 4.
friday
November November Mid-term test IV.
Sample questions with answers
27.
friday		 27.
friday
December Retake tests
18.
friday
January Retake tests
YOU HAVE TO REGISTERE HERE
5,6

Logic in Computer Science – 2014

Samples tests

Mid-term test I and II. (pdf)
Mid-term test III and IV. (pdf)

Contact information

Seminar leader:
Kádek Tamás
assistant lecturer
kadek(dot)tamas(at)inf(dot)unideb(dot)hu

About the last retake

The last retake is on 7th January 18:00 in room IK-205.

This complex retake contains questions from all of the midterms.

Syllabus

In PDF format.

Important dates / exams / deadlines

October Mid-term test I.
Sample questions with answers
31.
friday
November Mid-term test II.
Sample questions with answers
14.
friday
November Mid-term test III.
Sample questions with answers
28.
friday
December Mid-term test IV.
Sample questions with answers
12.
friday
December Retake tests
19.
friday
January Retake tests
IK-205, 18:00-20:00
7.
Wednesday

Logic in Computer Science – 2013

Frequently asked questions

How can I register to the practical test (8. January)?

You do not need to register to the practical test. But you have to register to the final exam, using the NEPTUN system.

When can I repeat the tests on 8th January (8:00 or 10:00 or 14:00)?

It depends on You. But don't forget,

  • the midterm I. takes 100 minutes,
  • the midterm II. takes 50 minutes, and
  • the definition test takes 100 minutes.

I'm unable to register to the final exam, why?

First you have to pass the requirements of the seminar part. You are unable to register without signature.

Materials

Midterm test I. (pdf) (sample!)
Midterm test II. (pdf) (sample!)

Important dates / exams / deadlines

January
6.
monday		 7.
tuesday		 8.
wednesday		 9.
thursday		 10.
friday
IK-231
Consultation
18:00		   IK-201
Tests
8/10/14		    

Syllabus - Seminars (practical part)

The signature prove that you successfully pass all of the 3 requirements of the seminar.
  1. ATTENDANCE. You have to participate on the seminars, that is why we use an attendance register on the seminars.
  2. WEEKLY TEST. You have to get at least 60% from the weekly test. For this purpose, we organize short tests it the first 10-15 minutes in 10 seminar. Each test contains questions about definitions for 6 points. It is permitted to rewrite a test in the beginning of the examination period (if it is necessary).
  3. PRACTICAL TEST. You have to pass two practical test in the middle (midterm test I.) and in last week (midterm test II.) of the seminar period. The test contains practical exercises. The successful test must be at least 60%. It is permitted to repeat the tests (if it is necessary) in the beginning of the examination period. In this case, the repeat test must be at least 60%. The test results can follow in the NEPTUN system.

Important changes:

  • at least 21 points (from 36) required to pass the weekly tests,
  • at least 10 points (from 18) required to pass the midterm test I,
  • at least 10 points (from 18) required to pass the midterm test II.
OR
  • in total more than 70% (at teast 51 from 72) is enough to pass.
 

Logic in Computer Science – 2012 – ARCHIVED

Contact information

Farshad Badie Seminar leader:
Farshad Badie
Computer Science M.Sc. (II. year)
farshadbadie(at)gmail(dot)com		 Lecturer:
Kádek Tamás
assistant lecturer
kadek(dot)tamas(at)inf(dot)unideb(dot)hu

Frequently asked questions

How can I register to the practical test (8. January)?

You do not need to register to the practical test. But you have to register to the final exam, using the NEPTUN system.

I'm unable to register to the final exam, why?

First you have to pass the requirements of the seminar part. You are unable to register without signature.

I did not get enough (36) point from the definitions, so I did not get the signature. What should I do?

You have one more chance, I allow you to rewrite the retake test at 10th of January.

I did not get enough (12) points on the practical test, so I did not get the signature. What should I do?

You have one more chance, I allow you to rewrite the test at 8th of January.

Syllabus

Original syllabus (pdf) (2012 september)

Important changes:

WEEKLY TEST

It is permitted to write a test in the beginning of the examination period for additional 18 point (if it is necessary). This test contains questions for 24 points, but your first 6 point can not increase your result.

It is permitted to write a test in the end of the seminar period (20th december at 8 o'clock) for additional 30 point (if it is necessary). This test contains questions for 30 points.

Materials

  • Lecture slides
    1. Basic concepts of set theory (pdf)
    2. Propositional logic (pdf)
    3. Predicate logic (pdf)
    4. Sequent calculus (pdf)
  • Question lists
    1. Questions for the final exam (pdf),
    2. Questions for the practical test(pdf).

Important dates / exams / deadlines

December
17.
monday		 18.
tuesday		 19.
wednesday		 20.
thursday		 21.
friday
IK-230
Consultation
18:00		 IK-230
Consultation
13:00		   IK-F0
Definitions
8:00		  
      IK-F0
Practical test
14:00		  
January
7.
monday		 8.
tuesday		 9.
wednesday		 10.
thursday		 11.
friday
IK-230
Consultation
17:00		 IK-201
Final exam
17:00		 IK-202
Final exam
17:00		 IK-202
Final exam
17:00		  
  IK-201
Practical test
17:00		   IK-202
Definitions
17:00		  
14.
monday		 15.
tuesday		 16.
wednesday		 17.
thursday		 18.
friday
IK-230
Consultation
17:00		        
21.
monday		 22.
tuesday		 23.
wednesday		 24.
thursday		 25.
friday
IK-230
Consultation
17:00		 IK-202
Final exam
17:00		 IK-201
Final exam
17:00		 IK-201
Final exam
17:00		  

Checklist

  1. Attendance
  2. Weekly tests - definitions (36 points required)
    • 10 test weekly for 60 points,
    • 20th december 8:00 (last chance) for additional 30 points
    • 10th january 17:00 (last chance) for 30 points
  3. Practical test - (60% required)
    • 20th december 14:00
    • 8th january 17:00 (last chance)
  4. Final exam
    • 8th january 17:00
    • 9th january 17:00
    • 10th january 17:00
    • 22th january 17:00
    • 23th january 17:00
    • 24th january 17:00 (last chance)
 
 
 
 
Debrecen, 2 January 2013.