תכן לוגי ומבוא להנדסת מחשבים - הפקולטה להנדסה - אוניברסיטת בר-אילן