Moed B solution was published | |
The solution to Moed B was published in our site. Please sumbit appeals to Ofir's mail box in the fifth floor until Tuesday, 28/10. |
פורסם ב-21/10/2003, 09:49:41 Created on 21/10/2003, 09:49:41 Создано21/10/2003, 09:49:41 تم النشر ب-21/10/2003, 09:49:41 |
Solution to MOED A was published | |
You can find it under the material section, under "previous exams". |
פורסם ב-30/7/2003, 23:33:54 Created on 30/7/2003, 23:33:54 Создано30/7/2003, 23:33:54 تم النشر ب-30/7/2003, 23:33:54 |
Exam A and Final A grades are published | |
Appeals should be submitted to Ofir's mailbox in the fifth floor until 14/8. |
פורסם ב-30/7/2003, 09:21:47 Created on 30/7/2003, 09:21:47 Создано30/7/2003, 09:21:47 تم النشر ب-30/7/2003, 09:21:47 |
Clarification regarding the exam | |
References in ML is not part of the material for the exam. |
פורסם ב-20/7/2003, 13:59:32 Created on 20/7/2003, 13:59:32 Создано20/7/2003, 13:59:32 تم النشر ب-20/7/2003, 13:59:32 |
Info about the exam and Ofir's reception hours | |
As you probably know, the exam will take place on Monday, 21 Jul, 9:00-12:00. The room numbers are Taub 3,5,6,7 and 9. The exam is with open material. Ofir will give special reception hours before the exam: Thursday (17 Jul): 11:00 - 13:00 Sunday (20 Jul): 14:00 - 17:00 We wish you all good luck ! The course staff. |
עדכון אחרון ב-14/7/2003, 11:50:50 Last updated on 14/7/2003, 11:50:50 Последняя модификация14/7/2003, 11:50:50 تمت الحتلنة الأخيرة ب-14/7/2003, 11:50:50 |
Yoav's reception hours: 15.7, Tuesday 13:30-14:30 | |
Yoav's reception hours: 15.7, Tuesday 13:30-14:30 (You can also catch me on 14.7, Monday) I will be in Germany between 18.7 - 27.7. Ofir will be in the exam, and he will publish recpetion hours closer to the exam date. Remember to submit Hw#6 until 14.7. |
פורסם ב-13/7/2003, 13:52:11 Created on 13/7/2003, 13:52:11 Создано13/7/2003, 13:52:11 تم النشر ب-13/7/2003, 13:52:11 |
Hw#6 | |
1) You can submit Hw#6 until 14/7, Monday, 17:00, but you might get the Hw back after the exam grades are given. 2) Prolog: If you get the warning: Warning: In.... Singelton variables: X Singleton means that the variable appears a single time. Fix this by replacing X with _ |
פורסם ב-28/6/2003, 21:38:25 Created on 28/6/2003, 21:38:25 Создано28/6/2003, 21:38:25 تم النشر ب-28/6/2003, 21:38:25 |
Ofir's reception hours | |
Hi, I will not give reception hours tomorrow, sunday 29/6. Sorry for the late notice. You can always schedule a meeting using email. Ofir |
פורסם ב-28/6/2003, 16:59:05 Created on 28/6/2003, 16:59:05 Создано28/6/2003, 16:59:05 تم النشر ب-28/6/2003, 16:59:05 |
Common Prolog Errors | |
Write all the rules and facts in a file, e.g., hw6.txt Leave an empty line in the end of the file. This file should be in the same directory as the interpeter: "prolog\bin" Load this file using the command consult('hw6.txt'). Note that prolog uses ' instead of " If you wish to add rules or facts in the interpeter you can write assert( haschild(X):-parent(X,_) ). |
פורסם ב-18/6/2003, 19:04:23 Created on 18/6/2003, 19:04:23 Создано18/6/2003, 19:04:23 تم النشر ب-18/6/2003, 19:04:23 |
Assignment 6 was publish | |
Assignment 6 (the last one) was published. Due date is Monday, 30/6 at 17:00. |
פורסם ב-16/6/2003, 10:06:17 Created on 16/6/2003, 10:06:17 Создано16/6/2003, 10:06:17 تم النشر ب-16/6/2003, 10:06:17 |
Hw#5 Corrections | |
In question #1: Change the following fn(a) => let val b = " we have " ^ (case 3*a - a of 0 => ... to: fn(a,x) => let val b = " we have " ^ (case 3*a - x of 0 => ... In question 2: You can assume that all the trees contain elements of type real. The arithmetic type of real is denoted R. Hint for question 5: You can use the function real: int -> real to convert the integer "n" to a real value. |
פורסם ב-9/6/2003, 10:52:15 Created on 9/6/2003, 10:52:15 Создано9/6/2003, 10:52:15 تم النشر ب-9/6/2003, 10:52:15 |
Complementary lecture (A reminder) | |
This is a reminder that Prof. Pinter will give a complementary lecture (HASHLAMA) on Sunday, 8 June, 16:30 in Taub 3. The relevant slides were added to the site. |
עדכון אחרון ב-4/6/2003, 16:35:46 Last updated on 4/6/2003, 16:35:46 Последняя модификация4/6/2003, 16:35:46 تمت الحتلنة الأخيرة ب-4/6/2003, 16:35:46 |
Assignment 5 is published | |
Due date is Sunday, 15/6 at 17:00. |
פורסם ב-28/5/2003, 17:37:08 Created on 28/5/2003, 17:37:08 Создано28/5/2003, 17:37:08 تم النشر ب-28/5/2003, 17:37:08 |
Complementary lecture (HASHLAMA) | |
Prof. Pinter will give a complementary lecture (HASHLAMA) on Sunday, 8 June, 16:30 in Taub 3. |
פורסם ב-22/5/2003, 14:03:33 Created on 22/5/2003, 14:03:33 Создано22/5/2003, 14:03:33 تم النشر ب-22/5/2003, 14:03:33 |
Examples regarding polymorphic-types (may help Hw#4 question 3) | |
Examples regarding polymorphic-types have been added to the material section |
עדכון אחרון ב-21/5/2003, 17:37:36 Last updated on 21/5/2003, 17:37:36 Последняя модификация21/5/2003, 17:37:36 تمت الحتلنة الأخيرة ب-21/5/2003, 17:37:36 |
HW4 postponement | |
The due date of assignment 4 is postponed to Wednesday, 28/5 at 17:00. |
פורסם ב-20/5/2003, 09:55:30 Created on 20/5/2003, 09:55:30 Создано20/5/2003, 09:55:30 تم النشر ب-20/5/2003, 09:55:30 |
Change of place to the Tutorial on Wednesday 28/5/2003 | |
The Tutorial on Wednesday 28/5/2003, 15:30-16:30, will take place in Ulman 204 (Due to Research Day) |
פורסם ב-19/5/2003, 11:32:06 Created on 19/5/2003, 11:32:06 Создано19/5/2003, 11:32:06 تم النشر ب-19/5/2003, 11:32:06 |
HW2 is returned |
פורסם ב-18/5/2003, 09:53:37 Created on 18/5/2003, 09:53:37 Создано18/5/2003, 09:53:37 تم النشر ب-18/5/2003, 09:53:37 |
Explanation regarding the pound sign (#). | |
When ML prints datatype/list/string it prints it to a certain depth/length and from this length it prints #. To control the depth to which ML prints datatypes change the ML compiler value Compiler.Control.Print.printDepth. To change the length of a list or string change Compiler.Control.Print.printLength or Compiler.Control.Print.stringDepth respectively. For example: - Compiler.Control.Print.printDepth := 15; val it = () : unit |
פורסם ב-15/5/2003, 19:44:38 Created on 15/5/2003, 19:44:38 Создано15/5/2003, 19:44:38 تم النشر ب-15/5/2003, 19:44:38 |
Mistakes in the Arithmetic-Types slides | |
In the last slide there are mistakes in the Arithmetic types of the function Calculation and the array Arr. Instead of AT(Calculation) = AT(Arr) = 4 <sup>Color</sup> it should be AT(Calculation) = AT(Arr) = Color <sup>4</sup> |
פורסם ב-5/5/2003, 11:09:02 Created on 5/5/2003, 11:09:02 Создано5/5/2003, 11:09:02 تم النشر ب-5/5/2003, 11:09:02 |
Assignment 4 is published | |
Hi, We've published assignment 4 early for the sake of those who already finished assignment 3. Due date is Sunday, 25/5/03 at 17:00. |
פורסם ב-5/5/2003, 10:22:44 Created on 5/5/2003, 10:22:44 Создано5/5/2003, 10:22:44 تم النشر ب-5/5/2003, 10:22:44 |
SML on the PC farm | |
It seems that there are bugs in the SML implementation in the PC farm. You are discouraged to use it. Please use SML on stud1 instead by typing /usr/local/sml/bin/sml (if you can't use it at home). |
פורסם ב-4/5/2003, 23:41:54 Created on 4/5/2003, 23:41:54 Создано4/5/2003, 23:41:54 تم النشر ب-4/5/2003, 23:41:54 |
HW1 grades and more | |
Hi, HW1 is returned. Those who wished to transfer their hw grades from previous semester, please wait one more day before checking that your grade was submitted. The number of students who submitted this hw alone was larger then previous years. Please find partners and submit the next assignments in pairs. You can use the matching service in the course site. Clarification regarding Q4 in HW3: If the OUTPUT list is of length n, then the time complexity of building the output list should be O(n). Note the the output list is compounded from n lists, each one of size k. Each of the small lists should be constructed in time complexity of O(k). |
פורסם ב-4/5/2003, 12:42:16 Created on 4/5/2003, 12:42:16 Создано4/5/2003, 12:42:16 تم النشر ب-4/5/2003, 12:42:16 |
HW3 postponement | |
HW3 is postponed to 11/4 at 17:00 due to some "moed B" exams. I know there are also "moed B" exams close to the new submission date but we will not give additional postponement. It should be enough time. One other thing: the FAQ of this assignment regarding dummy types refered to the corrections slides, to slide 5. This is a typo, it was corrected to slide 4. |
עדכון אחרון ב-29/4/2003, 09:50:37 Last updated on 29/4/2003, 09:50:37 Последняя модификация29/4/2003, 09:50:37 تمت الحتلنة الأخيرة ب-29/4/2003, 09:50:37 |
Question 4 in Hw#3 | |
Your "choose" function must be as efficient as possible, i.e., let "n" denote the output, then the running time of the function must be "O(n)". Therefore, a solution which generates all the subsets and then removes all the subsets of incorrect size will not get all the points. Again, look at the FAQ for HW#3. |
פורסם ב-28/4/2003, 10:11:25 Created on 28/4/2003, 10:11:25 Создано28/4/2003, 10:11:25 تم النشر ب-28/4/2003, 10:11:25 |
Next toturial | |
Hi, Hope you all had a great vacation but it's studying time again... The next tutorial will be about arithmetical types and not about patterns and exceptions as the site says. See you, Ofir |
פורסם ב-23/4/2003, 20:19:36 Created on 23/4/2003, 20:19:36 Создано23/4/2003, 20:19:36 تم النشر ب-23/4/2003, 20:19:36 |
Part 6 of Q7 in HW3 is canceled | |
This part includes a feature we didn't learn yet. |
פורסם ב-20/4/2003, 17:01:19 Created on 20/4/2003, 17:01:19 Создано20/4/2003, 17:01:19 تم النشر ب-20/4/2003, 17:01:19 |
FAQ for HW3 | |
Don't forget to check the FAQ section of HW3 from time to time. |
פורסם ב-20/4/2003, 10:12:07 Created on 20/4/2003, 10:12:07 Создано20/4/2003, 10:12:07 تم النشر ب-20/4/2003, 10:12:07 |
Assignment 3 is published | |
Submission is due to 4 May. |
פורסם ב-13/4/2003, 17:06:24 Created on 13/4/2003, 17:06:24 Создано13/4/2003, 17:06:24 تم النشر ب-13/4/2003, 17:06:24 |
Clarification regarding ex2 | |
Regarding Q5: The functions in parts 2 and 3 should have lower complexity then the function in part 1. Note that improving the execution time by a constant is not enough. You should improve the order of execution time. Also note that in the answer to part 2 you should NOT write a tail recursion function. |
עדכון אחרון ב-9/4/2003, 16:55:51 Last updated on 9/4/2003, 16:55:51 Последняя модификация9/4/2003, 16:55:51 تمت الحتلنة الأخيرة ب-9/4/2003, 16:55:51 |
No class on Thursday, April 10 | |
There will be NO CLASS on Thursday, April 10, 8:30-10:30am. A replacement lecture (shi'ur hashlama) will be scheduled separately. The lecture on Monday, April 14 (which is a Monday in a Thursday format) will be held as planned. Sorry for the short notice and see you on Monday, Ron |
פורסם ב-8/4/2003, 17:29:03 Created on 8/4/2003, 17:29:03 Создано8/4/2003, 17:29:03 تم النشر ب-8/4/2003, 17:29:03 |
Ex2 postponement | |
Submittion date for assignment 2 is postponed to Sunday, 13/4 at 17:00 |
עדכון אחרון ב-12/4/2003, 17:39:13 Last updated on 12/4/2003, 17:39:13 Последняя модификация12/4/2003, 17:39:13 تمت الحتلنة الأخيرة ب-12/4/2003, 17:39:13 |
sml on the PC farm and on Unix | |
Hi, As was stated in earlier message sml in installed in the PC farm under w:\sml. Since the installation in the farm uses a batch file, I didn't find an easy way for redirecting the input and output to and from sml. If someone found a way to redirect input/output in the PC farm, please let us know. Anyway you can still use the traditional ways: the function "use" and copying the output to some file. You can also use sml on Unix on the stud1 server. Sml is installed there under /usr/local/sml/bin/sml. |
פורסם ב-6/4/2003, 16:06:55 Created on 6/4/2003, 16:06:55 Создано6/4/2003, 16:06:55 تم النشر ب-6/4/2003, 16:06:55 |
Corrections to slides | |
Look for the corrections presentation in the material section. There are some corrections about how to use strings, characters and for the datatype presentation. You may need some of the stuff for HW2. |
פורסם ב-2/4/2003, 13:42:00 Created on 2/4/2003, 13:42:00 Создано2/4/2003, 13:42:00 تم النشر ب-2/4/2003, 13:42:00 |
A mistake in assignment 2 | |
In question 5 the result of the example should be 30 and not 28. - sumf(fn x => 2*x,3); val it = fn : int -> int - it(2); val it = 30 : int Thanks for the students who found it. |
פורסם ב-2/4/2003, 12:45:18 Created on 2/4/2003, 12:45:18 Создано2/4/2003, 12:45:18 تم النشر ب-2/4/2003, 12:45:18 |
Assignment 2 is published |
פורסם ב-30/3/2003, 17:20:07 Created on 30/3/2003, 17:20:07 Создано30/3/2003, 17:20:07 تم النشر ب-30/3/2003, 17:20:07 |
Ofir reception hours - 30/1 | |
Hi, I was late coming back from MILUIM today so I didn't make it to my reception hours. I apologize for all the students who came and didn't find me. I'll have instead reception hours today between 13:30 and 14:20 and you can also come to me after my class, at 15:30-16:00. Ofir |
פורסם ב-30/3/2003, 12:29:53 Created on 30/3/2003, 12:29:53 Создано30/3/2003, 12:29:53 تم النشر ب-30/3/2003, 12:29:53 |
Reception hours | |
The reception hours of Ofir are changed permanently to Sunday, 11:30-12:30. |
פורסם ב-23/3/2003, 10:02:05 Created on 23/3/2003, 10:02:05 Создано23/3/2003, 10:02:05 تم النشر ب-23/3/2003, 10:02:05 |
Homework 1 additional postponement | |
Some more students complained about MOED B near the submission data. We therefore decided to postpone the submission date to 27/03/03. Assignment 2 will be published at 30/03. |
פורסם ב-19/3/2003, 17:36:44 Created on 19/3/2003, 17:36:44 Создано19/3/2003, 17:36:44 تم النشر ب-19/3/2003, 17:36:44 |
FAQ for homeworks | |
Watch the FAQ section, in the current HW sub-section, before and after asking questions regarding a specific homework. We will usualy publish the answers in the FAQ section and we will not send the answer to the one who asked the question. |
פורסם ב-13/3/2003, 09:46:20 Created on 13/3/2003, 09:46:20 Создано13/3/2003, 09:46:20 تم النشر ب-13/3/2003, 09:46:20 |
Mailing list registration - correction | |
To all the students who are not registered to the course yet: Unlike what was written in one of the previous messages, you don't need to register to the cs234319s-l list. All messages will be announced in the site. If you wish to receive emails with this announcements you need to set the gr++ system through the settings tab. If you don't know how to set gr++, send email to Ofir (avni@cs). |
עדכון אחרון ב-12/3/2003, 16:57:14 Last updated on 12/3/2003, 16:57:14 Последняя модификация12/3/2003, 16:57:14 تمت الحتلنة الأخيرة ب-12/3/2003, 16:57:14 |
Homework 1 postponement | |
Due to students' requests and "MOED B" exams we postpone the submission date of homework 1 to 25/03/03. Note that homework 2 will still be published at 23/03/03. |
פורסם ב-12/3/2003, 16:20:03 Created on 12/3/2003, 16:20:03 Создано12/3/2003, 16:20:03 تم النشر ب-12/3/2003, 16:20:03 |
Changes in the material section | |
Hi, Some changes to the material section: we've added folders for lectures and tutorials, and deleted the link to the old tutorials page. We've added the first tutorials about ML. You now may download and print them. Note that we've decided not to create handouts of 4 slides per page but only of 2 slides per page. Since in most of the drivers today there is an option to print two pages per sheet you should be able to produce a 4 slides per sheet version quite easy. We've also added one slide to the pascal tutorial about the structure of pascal program. And last one: We've added a link to download the borland turbo pascal 5.5 for PC. |
פורסם ב-6/3/2003, 17:12:01 Created on 6/3/2003, 17:12:01 Создано6/3/2003, 17:12:01 تم النشر ب-6/3/2003, 17:12:01 |
ML Tutorials going to be changed | |
The tutorials about ML are going to be slightly changed. Do not print them yet. |
פורסם ב-2/3/2003, 13:29:43 Created on 2/3/2003, 13:29:43 Создано2/3/2003, 13:29:43 تم النشر ب-2/3/2003, 13:29:43 |
Tutorial times | |
All in Taub 3 Sunday 14:30-15:20 Monday 8:30-9:20 Wednesday 15:30-16:20 |
פורסם ב-27/2/2003, 14:18:43 Created on 27/2/2003, 14:18:43 Создано27/2/2003, 14:18:43 تم النشر ب-27/2/2003, 14:18:43 |