אוטומטים ושפות פורמליות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
מ ←תוכן העניינים: תיקון קישור |
←תוכן העניינים: רקע נדרש |
||
שורה 21:
** [[אוטומטים ושפות פורמליות/תכונות של שפות חסרות הקשר/צורות נורמליות לדקדוקים חסרי הקשר|צורות נורמליות לדקדוקים חסרי הקשר]]
** [[אוטומטים ושפות פורמליות/תכונות של שפות חסרות הקשר/דו-משמעות|דו משמעות]]
== רקע נדרש==
אמנם הקורס מיועד לקהל ללא ידע רב במדעי המחשב, עם זאת, נדרשת הבנה מתמטית של הנושאים הבאים:
* [[תורת הקבוצות]] ומושגים בסיסיים בתורת הקבוצות.
* קבוצות אינסופיות, מושג האינסוף.
* [[מבוא למתמטיקה אוניברסיטאית|"בגרות מתמטית"]], למשל, שליטה ב[[מתמטיקה תיכונית/אלגברה תיכונית/אינדוקציה מתמטית|אינדוקציה מתמטית]] ושיטות הוכחה (הוכחה בשלילה, וגו).
==לקריאה נוספת ==
| |||