# Logic and Computability - Practicals (Out-Dated)

## IMPORTANT INFORMATION

### This website is out-dated!

**You can find the current course information and materials at our teaching wiki.**

## Out-Dated Information:

The administrative introduction and overview of the course will be given
on Tuesday, October 07, 2014, between 08:15am and 10:00am in lecture
hall i2. *Attendance at this event is mandatory!*

Participants will be divided into six groups:

- Monday 10:00am - 11:00am (Thaller 1)
- Monday 11:00am - 12:00 noon (Thaller 2)
- Monday 10:00am - 11:00am (Schadler 1)
- Monday 11:00am - 12:00 noon (Schadler 2)

- Monday 10:00am - 11:00am (Hofferek 1)
- Monday 11:00am - 12:00 noon (Hofferek 2)

Groups will start exactly at the times indicated above. (No 15 minutes delay!)

## Assignments

Due Date | Tasks |
---|---|

2014-10-13 | |

2014-10-20 | |

2014-10-27 | |

2014-11-03 | |

2014-11-10 | |

2014-11-17 | |

2014-11-24 | |

2014-12-01 | |

2014-12-15 | |

2015-01-12 | |

2015-01-19 (Bonus Assignment) |

## Course Procedure

Assignments will be posted on this page, at least one week before their due date.

Students are required to tick the tasks they have solved on the *Student Tick System*.
The deadline for ticking is one hour before the first group(s) start, i.e., 09:00am on the due date.
In the groups, for each of the tasks, one of the students who ticked the respective task will be selected to present his/her
solution to the group. Up to three points will be awarded for a presentation. If someone cannot explain his/her solution (e.g., because it was just copied
from a colleague), all ticks for the date in question will be voided and no points will be awarded on this day. The same happens if someone
has ticked some tasks, but is not present in the group. It should be noted that attendance in the groups is mandatory, even if no tasks
have been ticked for a particular date. In excusable cases, exceptions have to be arranged with the respective tutor *in advance!* In this case
the solutions have to uploaded into STiCS, and an individual meeting with the tutor must be arranged. (Note:
We reserve the right to stop granting such exceptions if too many students make us of it.)
If a student cannot explain his/her solution more than once, or misses an excercise without prior excuse all points for the date in question will be deleted. If this
happens more than once, the student fails the course.

The primary language of the course is English. Assignments will be posted in English. Questions and presentations by students should be done in English. (In exceptional cases, German might be an acceptable alternative.) We encourage all students to take up this opportunity to practice their language skills, and do presentations in English. It should be noted that language mistakes, as long as they do not hamper basic understanding, will not have any negative consequences on grading.

## Grading

The grading is based on the ratio of total points achieved (through ticks and presentations) versus the maximum number of points
that would have been achievable for any particular student. (Note that the maximum number of points depends on the number of times a
student has presented a task; thus this number can be different for every student.)

Some tasks will be marked with the tag *Bonus*. These tasks do not count towards the maximum number of points achievable.

The percentage of points achieved will be computed seperately for tick points and presentation points. If the percentage of tick points is less than 35% for more than one single assignment, the course is failed.
Otherwise, the (overall) tick percentage will be multiplied by 3, the presentation percentage will be added, and this result will be divided by 4 to
obtain the final percentage.

The following scale will be used to compute grades:

- >= 87.5%: (1) Sehr Gut / Excellent
- >= 75.0%: (2) Gut / Good
- >= 62.5%: (3) Befriedigend / Satisfactory
- >= 50.0%: (4) Genügend / Sufficient
- >= 00.0%: (5) Nicht Genügend / Insufficient

## Student Tick System

Use the Student Tick System to tick the tasks you solved before each class.

**Title:** Logic and Computability KU

**Course-Number:** 705.034

**Tutor:** Christoph Thaller

**E-Mail:** christoph.thaller@student.tugraz.at

**Tutor:** Georg Schadler

**E-Mail:** georg.schadler@student.tugraz.at

**Tutor:** Georg Hofferek

**E-Mail:** georg.hofferek@iaik.tugraz.at

**Newsgroup:** tu-graz.lv.logik

**TUGRAZonline:** TUGRAZonline
**Student Tick System:** STicS