Moed C time and place | |
| 9/11/2006, 13:00, Taub 201 |
| פורסם ב-7/11/2006, 09:46:02 Created on 7/11/2006, 09:46:02 Создано7/11/2006, 09:46:02 تم النشر ب-7/11/2006, 09:46:02 |
The Moed B exam has been checked | |
| Regarding the grades, please contact the lecturer. |
| פורסם ב-31/10/2006, 09:35:29 Created on 31/10/2006, 09:35:29 Создано31/10/2006, 09:35:29 تم النشر ب-31/10/2006, 09:35:29 |
Exam Moed B – time and place changed | |
|
The new time and place: 26/10/2006, 13.00, Taub 6 |
| פורסם ב-15/10/2006, 12:53:48 Created on 15/10/2006, 12:53:48 Создано15/10/2006, 12:53:48 تم النشر ب-15/10/2006, 12:53:48 |
Yulia's reception hour today is cancelled. | |
| Instead, it will be held next week on Monday at the usual hour. |
| פורסם ב-12/10/2006, 06:11:29 Created on 12/10/2006, 06:11:29 Создано12/10/2006, 06:11:29 تم النشر ب-12/10/2006, 06:11:29 |
Bonus assignments | |
|
The deadline for submitting solutions to the bonus questions given during the classes is Sunday, 14/09/2006, 12:00. To remind you, two of the questions can be found in your tutorial notes, the one about Carnap rule and FA+ logic. Others were given during lectures; for reminder, you may try and approach the lecturer. |
| פורסם ב-7/9/2006, 11:16:24 Created on 7/9/2006, 11:16:24 Создано7/9/2006, 11:16:24 تم النشر ب-7/9/2006, 11:16:24 |
Please note | |
| Yulia's office hour has changed to Thursday, 9:00-10:00. |
| פורסם ב-30/8/2006, 08:32:09 Created on 30/8/2006, 08:32:09 Создано30/8/2006, 08:32:09 تم النشر ب-30/8/2006, 08:32:09 |
A special lecture | |
| To refresh your memory before the exam, a special lecture will be held on Wednesday, 13/09/2006 at 11:00 in Taub 6. |
| פורסם ב-29/8/2006, 08:39:35 Created on 29/8/2006, 08:39:35 Создано29/8/2006, 08:39:35 تم النشر ب-29/8/2006, 08:39:35 |
New due date for Assignment 3 | |
|
is 3/9/2006 |
| פורסם ב-20/8/2006, 12:22:19 Created on 20/8/2006, 12:22:19 Создано20/8/2006, 12:22:19 تم النشر ب-20/8/2006, 12:22:19 |
Reception hours | |
|
The reception hours for the exam posted previously are canceled. |
| פורסם ב-26/7/2006, 14:52:52 Created on 26/7/2006, 14:52:52 Создано26/7/2006, 14:52:52 تم النشر ب-26/7/2006, 14:52:52 |
Reception hours for the exam | |
|
will be held by Michael Tiomkin - you can find some information about him here: http://www.cs.technion.ac.il/people/tiomkin/ Time and place: Taub 642 July 27, 14:00-15:00 July 30, 13:00-15:00 |
| פורסם ב-24/7/2006, 19:20:46 Created on 24/7/2006, 19:20:46 Создано24/7/2006, 19:20:46 تم النشر ب-24/7/2006, 19:20:46 |
The next tutorial | |
| The next tutorial (3.07, 9:30) will take place in room 201 (Seminar Room). The lecture (10:30) will take place as usual. |
| פורסם ב-28/6/2006, 13:12:45 Created on 28/6/2006, 13:12:45 Создано28/6/2006, 13:12:45 تم النشر ب-28/6/2006, 13:12:45 |
A note to Assignment 2 | |
| Note, that the solution of question 2b depends on your solution of question 1. Keep it in mind to choose an appropriate course of action in question 1. |
| פורסם ב-20/6/2006, 10:36:19 Created on 20/6/2006, 10:36:19 Создано20/6/2006, 10:36:19 تم النشر ب-20/6/2006, 10:36:19 |
Exercise submission problems | |
| Due to the problems with the mail box (which are now fixed, its number is 123), the works will be accepted today until 16:00. Apologies for the trouble. |
| פורסם ב-16/5/2006, 11:02:30 Created on 16/5/2006, 11:02:30 Создано16/5/2006, 11:02:30 تم النشر ب-16/5/2006, 11:02:30 |
Some corrections and remarks to HW1. | |
|
1. In question 2, in the definition of isomorphic interpretations, the mapping certainly must also be "onto". 2. In questions 4 and 5, 'hasrat stira' is a different Hebrew term for 'consistent' ('ikvit'), and 'baalat stira', accordingly, means 'not consistent'. |
| פורסם ב-11/5/2006, 14:59:23 Created on 11/5/2006, 14:59:23 Создано11/5/2006, 14:59:23 تم النشر ب-11/5/2006, 14:59:23 |
Lectures and tutorials times | |
| From now on, tutorials once again move to 9:30, and lectures will be held at 10:30. |
| פורסם ב-10/5/2006, 09:21:57 Created on 10/5/2006, 09:21:57 Создано10/5/2006, 09:21:57 تم النشر ب-10/5/2006, 09:21:57 |
Slides of the previous lecture | |
|
Handouts are added to Material section (presburger.pdf). |
| עדכון אחרון ב-10/5/2006, 09:18:51 Last updated on 10/5/2006, 09:18:51 Последняя модификация10/5/2006, 09:18:51 تمت الحتلنة الأخيرة ب-10/5/2006, 09:18:51 |
Additional slides for the next lecture | |
| Handouts are added to Material section (Chinese Remainder Theorem.pdf). |
| פורסם ב-24/4/2006, 13:44:18 Created on 24/4/2006, 13:44:18 Создано24/4/2006, 13:44:18 تم النشر ب-24/4/2006, 13:44:18 |
Assignment 1 is published | |
| Due date: 15/5/2006 |
| פורסם ב-6/4/2006, 15:21:52 Created on 6/4/2006, 15:21:52 Создано6/4/2006, 15:21:52 تم النشر ب-6/4/2006, 15:21:52 |
Lectures and tutorials times | |
| Starting 3/04/06, lectures will take place at 9:30 and tutorials – at 11:30. |
| פורסם ב-30/3/2006, 12:15:03 Created on 30/3/2006, 12:15:03 Создано30/3/2006, 12:15:03 تم النشر ب-30/3/2006, 12:15:03 |
Second week tutorial | |
| There will be no tutorial on 27.03.06. |
| פורסם ב-23/3/2006, 13:57:19 Created on 23/3/2006, 13:57:19 Создано23/3/2006, 13:57:19 تم النشر ب-23/3/2006, 13:57:19 |