לוגיקה פורמלית

By: גיל שגיא
Published in: 107.1620
SDGs : SDG 11  |  Units: Humanities  | Time: 2021/2022 First Semester |  Link
Description: קורס חובה לתלמידי שנה א’ ולתלמידי השלמות למ.א..מבוא ללוגיקה פורמלית- שפה פורמלית, דגמים והוכחות.במהלך הקורס יינתנו עבודו ת בית, יתקיימו שתי בחינות במשך הססמטר ומבחןבסוף הסמסטר. חובה להירשם לתרגיל בלוגיקה, קיימות 2 אופציות יש לבחור אתאחת מהן.