 שנה"ל תש"ף | |||||||||||||||||||||||||
 |
 |
||||||||||||||||||||||||
|
לוגיקה למדעי המחשב
Logic for Computer Science |
0368-2170-08 | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| מדעים מדויקים | |||||||||||||||||||||||||
| |||||||||||||||||||||||||
סילבוס מקוצר
תחשיב פסוקים, תחשיב הפרדיקטים והכללותיו, כח הביטוי, שימושים כמו שפת שאילתות ולצורך אימות של תכניות, משפט הרברנד ויסודות התכנות בלוגיקה, לוגיקה אינטואיציוניסטית ולוגיקות לא קלאסיות אחרות, תורות כריעות ואי כריעות, משפט אי השלמות.
מדעים מדויקים
0368-2170-08 לוגיקה למדעי המחשב
Logic for Computer Science
שנה"ל תש"ף | סמ' ב' | מר פת-אל דניאל
666סילבוס מפורט/דף מידע
לצפייה בסילבוס נא ללחוץ כאן