הספר אוטומטים ושפות פורמליות עוסק בשאלה "מהן היכולת של מחשב"?
הקורס מגדיר מודלים מתמטייים של מכונות חישוב למיניהן: החל ממכונות מצבים מאד מאד פשוטות, וכלה במודל "חזק" שהינו שקול (מבחינת "כח החישוב" שלו) לכל מחשב "רגיל". תכונותיהן של המכונות השונות נחקרות עד להבנת "כח החישוב" שלהן.
ויקיספר הוא מיזם רב לשוני מאת ויקימדיה ליצירת ספרי לימוד ומדריכים חופשיים, שיתופיים ומהימנים שכל אחד/ת יכול/ה לתרום ליצירתם ופיתוחם. לפרוייקטים של ויקימדיה שני מאפיינים חיוניים ומובהקים, המייחדים אותם:
הם נכתבים בשיטת ויקי המאפשרת לכל אחד מהגולשים לערוך כמעט כל דף באתר.
הם מובלים על ידי אידיאולוגית התוכן הפתוח ומשתמשים ברשיון התיעוד החופשי של גנו (GFDL) וברישיון cc-by-sa.
הדפים משתדלים להציג עמדה ניטרלית.
ויקיספר העברי החלה דרכה ב-30 ביולי 2004, ומאז, מתנדבים כתבו בו 4,691 עמודים, במתכונת של ספרים ומדריכים.
נסו לקשקש בארגז החול, מקום בו אתם יכולים לעשות לעשות ניסיונות עריכה, וקבלו את ההרגשה איך ויקי עובד. על מנת לשאול שאלות כלליות על ויקיספר אפשר להשתמש במזנון, לשאלות יותר נקודתיות יש להשתמש בדלפק הייעוץ, או לשאול בתוך דף השיחה של העמוד.
כשאתם מרגישים מוכנים לערוך או ליצור את העמוד הראשון שלכם, הדף איך עורכים דף יעזור לכם להתחיל. אם ברצונכם להתחיל ספר חדש העזרו באיך ליצור ספר חדש.
