Yechiel's Past Teaching Information

This page is always outdated

Summer 2005 Courses:

Introduction to Systems Programming (234122)

Spring 2005 Courses:

Introduction to Systems Programming (234122)
- Sun. 12:30 - 14:30 (T002)
Lecture Slides
MaTaM lectures on video.
Bad Books about C and C++: Please read a review of a specific book and a general comment.
Some records of Software Bugs.
Some examples of C Modules
Q+A about error handling in C.
Some examples of C++ Modules
How to template a Stack (pdf) -- tentative: mostely interface
Examples for UNIX® environment files
How to compile your code?.
Logic and Set Theory for Computer Sciences (234293)
- Wed. 10:30 - 12:30 and 14:30 - 15:30 (T001)
Read on The Effectiveness of Logic in Computer Science.
- This paper sumarizes the lectures of a workshop that was dedicated to the subject.
- The source of the paper
- The Bulletin of Symbolic Logic
The road to modern logic---An interpretation, by Jos\'e Ferreir\'os.
Arnold Miller's Logic-Pages, and proofs-suggestions
Mathematical Logic by Yiannis N. Moschovakis.
About Logic.
Mathematical logic and foundations
A Problem-Solving Math-Logic text by Stefan Bilaniuk
A Logic Course Material (by Josef Schicho)

Winter 2004 Courses: (to be updated soon)

Introduction to Computer Science (234111) (Coordinator)
Some examples of C Programs
Object Oriented Programming (236703) (Coordinator)
- Mon. 16:30 - 18:30 (T001)
On Understanding Types, Data Abstraction and Polymorphism
Why Extends is Evil (Local)
More Info

Summer 2004 Courses:

Introduction to Computer Sciences ( 234114) ( 234117) ( 234111)
Some examples of C Programs

Spring 2004 Courses:

Introduction to Systems Programming (234122)
- Mon. 12:30 - 14:30 (T001)
Lecture Slides (October 20, 2003)
MaTaM lectures on video.
Bad Books about C and C++: Please read a review of a specific book and a general comment.
Some records of Software Bugs.
Some examples of C Modules
Q+A about error handling in C.
Some examples of C++ Modules
How to template a Stack (tentative: mostely interface)
Examples for UNIX« environment files
How to compile your code?.

Winter 2003 Courses:

Updated information about the course Axiomatic Set Theory (106702)
Introduction to Computer Sciences (234114) ( 234117) ( 234111)
Some examples of C Programs
Object Oriented Programming (236703) (Coordinator)
- Mon. 16:30 - 18:30 (T001)
More Info
On Understanding Types, Data Abstraction and Polymorphism

Summer 2003 Courses: (being updated)

Introduction to Systems Programming (234122)
- Mon. 08:30 - 10:30 (U213)
- Wed. 08:30 - 10:30 (U213)
New Lecture Slides (October 20, 2003)
The lectures are now being taped on video (it's a version).
Bad Books about C and C++: Please read a review of a specific book and a general comment.
Some records of Software Bugs.

See more stuff related to MaTaM

C++ examples of Array Implementations (by Amit Schreiber) (August 13, 2003)

Spring 2003 Courses:

Digital Systems (234145) June 02, 2003
- Mon. 10:30 - 12:30 (U309)
Introduction to Systems Programming (234122)
- Mon. 12:30 - 14:30 (U310)
Is it fair to to modify HW#2 a week before deadline?

An interesting (multi-part) introduction to OOP
(despite the fact that the author is anti-C++)

Debugging your code? A few suggestions ( the original),
that appeared on C/C++ Users Journal.
Fagan's paper, 1976, is mentioned in (and can be linked from) the above,
since it deals with Code Inspection

Some examples of C Modules
Q+A about error handling in C.
Some examples of C++ Modules
How to template a Stack (tentative: mostely interface)
Examples for UNIX« environment files
How to compile your code?.

The 2002 version of Lecture Slides (in English)
by C. Gotsman and Y. Kimchi

Winter 2002 Courses:

Introduction to Computer Sciences (234114) 16/10/02
- Wed. 14:30 - 16:30 (T002)
Some examples of C Programs
Look at Summary of C slides from the faculty CD-ROM.
Introduction to Systems Programming (234122)
- Mon. 12:30 - 14:30 (T002)
Is it fair to to modify HW#2 a week before deadline?

An interesting (multi-part) introduction to OOP
(despite the fact that the author is anti-C++)

Debugging your code? A few suggestions,
that appeared on C/C++ Users Journal.
Fagan's paper, 1976, is mentioned in (and can be linked from) the above,
since it deals with Code Inspection

Some examples of C Modules
Q+A about error handling in C.
Some examples of C++ Modules
How to template a Stack (tentative: mostely interface)
Examples for UNIX® environment files

The 2002 version of Lecture Slides (in English)
by C. Gotsman and Y. Kimchi
Object Oriented Programming (236703) (Coordinator)
- Mon. 16:30 - 18:30 (T001)
More Info
On Understanding Types, Data Abstraction and Polymorphism

Spring 2002 Courses:

Introduction to Computer Sciences (234111)
- Mon. 14:30 - 16:30 (U202)
Some examples of C Programs
Look at Summary of C slides from the faculty CD-ROM.
Introduction to Systems Programming (234122) (Coordinator)
- Sun. 12:30 - 14:30 (T003)
- Mon. 12:30 - 14:30 (T001)
If someone makes unnecessary comments, what is the appropriate punishment ?

An interesting (multi-part) introduction to OOP
(despite the fact that the author is anti-C++) (Aug. 21, 2002)

Debugging your code? A few suggestions,
that appeared on C/C++ Users Journal.
Fagan's paper, 1976, is mentioned in (and can be linked from) the above,
since it deals with Code Inspection

Some examples of C Modules
Q+A about error handling in C.
About Intel C++ Compiler for Linux 6.0 Beta.
Some examples of C++ Modules
How to template a Stack (tentative: mostely interface)
Examples for UNIX® environment files

The 2002 version of Lecture Slides (in English)
by C. Gotsman and Y. Kimchi TEMPORARY
Read The buggy-software epidemic page.

Winter 2001 Courses:

Introduction to Systems Programming (234122)
- Mon. 12:30 - 14:30 (T002)
- Mon. 14:30 - 16:30 (Sego)
Some examples of C modules
Q+A about error handling in C.
About Intel C++ Compiler for Linux 6.0 Beta.
Some examples of C++ Modules
How to template a Stack (tentative: mostely interface)
Examples for UNIX environment files
The 2000 version of Lecture Slides (in English)
by C. Gotsman and Y. Kimchi
The 2002 version of Lecture Slides (in English)
by C. Gotsman and Y. Kimchi TEMPORARY
Logic in Computer Sciences (234292)
- Mon. 10:30 - 12:30 (T003)
Read on The Effectiveness of Logic in Computer Science.
- This paper sumarizes the lectures of a workshop that was dedicated to the subject.
- The source of the paper
- The Bulletin of Symbolic Logic
The road to modern logic---An interpretation, by Jos\'e Ferreir\'os.
Logic Slides by Prof. J. Makowski.
Arnold Miller's Logic-Pages, and proofs-suggestions
Mathematical Logic by Yiannis N. Moschovakis.
About Logic.
Mathematical logic and foundations
A Problem-Solving Math-Logic text by Stefan Bilaniuk

Spring 2001 Courses:

Introduction to Computer Sciences (234111) (Coordinator) 16/3/01
- Mon. 14:30 - 16:30 (U309)
- Wed. 14:30 - 16:30 (U204)
Syllabus: PostScript or PDF.
Some examples of C Programs
Look at Summary of C slides from the faculty CD-ROM.
Introduction to Systems Programming (234122)
- Mon. 12:30 - 14:30 (T002)
- Wed. 16:30 - 18:30 (T002)
Some examples of C modules
Some examples of C++ Modules
How to template a Stack (tentative: mostely interface)
Examples for UNIX environment files
The latest version of Lecture Slides (in English)
by C. Gotsman and Y. Kimchi

Winter 2000 Courses:

Introduction to Computer Sciences (234111) (Coordinator)
- Mon. 12:30 - 14:30 (T001)
- Thr. 12:30 - 14:30 (U309)
Syllabus: PostScript or PDF.
Some examples of C Programs
Look at Summary of C slides from the faculty CD-ROM.
Introduction to Systems Programming (234122)
- Mon. 14:30 - 16:30 (T001)
Some examples of C modules
Some examples of C++ Modules
How to template a Stack (tentative: mostely interface)
Examples for UNIX environment files
The latest version of Lecture Slides (in English)
by C. Gotsman and Y. Kimchi
Object Oriented Programming (236703) (Coordinator)
- Thr. 10:30 - 12:30 (T001)
More Info

Winter 99 Courses:

Introduction to Computer Sciences (234111) (Coordinator)
- Wed. 12:30 - 14:30 ()
- Thr. 12:30 - 14:30 ()
Syllabus: PostScript or PDF.
Some examples of C Programs
Look at Summary of C slides from the faculty CD-ROM.
Introduction to Systems Programming (234122)
- Wed. 14:30 - 16:30 (F343)
Some examples of C modules
Some examples of C++ Modules
Examples for UNIX environment files
The latest version of Lecture Slides (in English)
by C. Gotsman and Y. Kimchi
How the Lecture Slides Chapters are arranged for the weekly lectures.
Logic in Computer Sciences (234292)
- Mon. 10:30 - 12:30 (F343)
Object Oriented Programming (236703) (Coordinator)
- Wed. 12:30 - 14:30 (F507)
More Info
Introduction to Computers - C (234112) (Coordinator only)
Introduction to Computer Sciences (234111) Last semester's HomePage.