להלן סיכומים להרצאות בקורס 'מבוא ללוגיקה', שהועבר לסטודנטים מ'אתגר' בפקולטה למדעי המחשב. להלן הסילבוס: