Faculty of Computer Science logo הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل
02340293 - לוגיקה ותורת הקבוצות למדעי המחשב 02340293 - Logic and Set Theory 02340293 - Logic and Set Theory 02340293 - Logic and Set Theory
 כניסה לקורס 02340293 Winter2002-2003
כפתור זה מפנה לדף הכניסה, ומאפשר כניסה ישירה לקורס זה		 חורף 2002-2003Winter 2002-2003Зима 2002-2003شتاء 2002-2003  

קישורים Links Ссылки وصلات


Course notes by Prof. Makowsky - Winter 1997

http://www.cs.technion.ac.il/~janos/COURSES/LOGIC/1997/abstracts.html

Logic for Computer Science - Winter semester 1997 course web site

http://www.cs.technion.ac.il/~janos/COURSES/LOGIC/logic1.html

Emancipatory Aspects of Learning (and Teaching) Mathematics

http://www.cs.technion.ac.il/~janos/COURSES/CS/2001/emancipatory.html

The course's details in the Technion undergradute studies site

http://ug.technion.ac.il/rishum/mikdet.php?MK=234293

Logic in Israel

http://www.cs.technion.ac.il/~admlogic

Mathematical logic around the world

http://www.uni-bonn.de/logic/world.html

Introduction to mathematical logic

http://math.wisc.edu:80/~miller/old/m771-98/logintro.ps

Logic and philosophy links

http://www-ssp.unil.ch/Soc_suisse_de_logique/index.html