קבוצה 01 |
|
|
|
|
|
|
|
סמ' א' | 1100-1400 | 'ג | 003 | כיתות דן-דוד | שיעור | ד"ר שוהם בוכבינדר שרון |
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2018\0368\0368217001_desc.txt סילבוס מקוצר תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים כשפת ספציפיות, שפת שאילתות ולצורך אימות של תכניות, משפט הרברנד ויסודות התכנות בלוגיקה, לוגיקה מודלית, לוגיקה אינטואיציונליסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.
|
קבוצה 02 |
|
|
|
|
|
|
|
סמ' א' | 0900-1000 | 'ד | 006 | שרייבר - מתמטיקה | תרגיל | מר לוי ניסן |
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2018\0368\0368217002_desc.txt סילבוס מקוצר תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים כשפת ספציפיות, שפת שאילתות ולצורך אימות של תכניות, משפט הרברנד ויסודות התכנות בלוגיקה, לוגיקה מודלית, לוגיקה אינטואיציונליסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.
|
קבוצה 03 |
|
|
|
|
|
|
|
סמ' א' | 1000-1100 | 'ד | 006 | שרייבר - מתמטיקה | תרגיל | מר לוי ניסן |
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2018\0368\0368217003_desc.txt סילבוס מקוצר תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים כשפת ספציפיות, שפת שאילתות ולצורך אימות של תכניות, משפט הרברנד ויסודות התכנות בלוגיקה, לוגיקה מודלית, לוגיקה אינטואיציונליסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.
|
קבוצה 04 |
|
|
|
|
|
|
|
סמ' א' | 1300-1400 | 'א | 204 | שנקר - פיזיקה | תרגיל | מר לוי ניסן |
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2018\0368\0368217004_desc.txt סילבוס מקוצר תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים כשפת ספציפיות, שפת שאילתות ולצורך אימות של תכניות, משפט הרברנד ויסודות התכנות בלוגיקה, לוגיקה מודלית, לוגיקה אינטואיציונליסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.
|
קבוצה 05 |
|
|
|
|
|
|
|
סמ' א' | 1400-1500 | 'א | 204 | שנקר - פיזיקה | תרגיל | מר לוי ניסן |
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2018\0368\0368217005_desc.txt סילבוס מקוצר תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים, משפט הרברנד ושימושיו, לוגיקה אינטואיציוניסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.
|
קבוצה 06 |
|
|
|
|
|
|
|
סמ' ב' | 0900-1200 | 'א | 006 | | שיעור | פרופ אברון ארנון |
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2018\0368\0368217006_desc.txt סילבוס מקוצר תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים כשפת ספציפיות, שפת שאילתות ולצורך אימות של תכניות, משפט הרברנד ויסודות התכנות בלוגיקה, לוגיקה מודלית, לוגיקה אינטואיציונליסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.
|
קבוצה 07 |
|
|
|
|
|
|
|
סמ' ב' | 1000-1100 | 'ד | 118 | קפלון - פיזיקה | תרגיל | מר דביר יותם |
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2018\0368\0368217007_desc.txt סילבוס מקוצר תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים כשפת ספציפיות, שפת שאילתות ולצורך אימות של תכניות, משפט הרברנד ויסודות התכנות בלוגיקה, לוגיקה מודלית, לוגיקה אינטואיציונליסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.
|
קבוצה 08 |
|
|
|
|
|
|
|
סמ' ב' | 1500-1600 | 'ד | 001 | לימודי הנדסה - כיתות | תרגיל | מר דביר יותם |
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2018\0368\0368217008_desc.txt סילבוס מקוצר תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, כח הביטוי, שימושים כמו שפת שאילתות ולצורך אימות של תכניות, משפט הרברנד ויסודות התכנות בלוגיקה, לוגיקה אינטואיציוניסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.
|
קבוצה 09 |
|
|
|
|
|
|
|
סמ' ב' | 1200-1300 | 'ה | 111 | אורנשטיין - כימיה | תרגיל | מר דביר יותם |
הצג סילבוס
הסתר סילבוס
|
D:\Inetpub\shared\yedion\syllabus\03\2018\0368\0368217009_desc.txt סילבוס מקוצר תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, שימושים כשפת ספציפיות, שפת שאילתות ולצורך אימות של תכניות, משפט הרברנד ויסודות התכנות בלוגיקה, לוגיקה מודלית, לוגיקה אינטואיציונליסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.
|