ALGOL
ALGOL פירושו ALGOrithmic Language. זו משפחה של שפות תכנות מהשנים הראשונות, משנות ה‑50. "שפת תכנות" היא שפה שאיתה כותבים הוראות למחשב. ALGOL היתה חשובה כי המציאה רעיונות רבים לראשונה. היא שימשה גם כדרך פשוטה לכתוב אלגוריתמים. "אלגוריתם" זה סדרת צעדים לפתור בעיה. לפעמים כותבים אלגוריתם בפסאודו‑קוד. פ...
ברירת מחדל
ברירת מחדל היא הבחירה שהמחשב או המכשיר יעשה אם אתה לא בוחר דבר. זה מקל על השימוש. לדוגמה, יצרן מכונות גילוח יקובע מתח של 220 וולט לאירופה ו-110 וולט לארה"ב. בוויקיפדיה יש ברירת מחדל של התוכנה, ברירת מחדל לשפה, וכל משתמש יכול לשנות את ההעדפות שלו. במסכי קלט (מסכים שבהם כותבים מידע) יש שדות חובה. ...
פקודת תנאי
פקודת if היא פקודה שמחליטה מה להריץ בתוכנית. היא בודקת תנאי. תנאי הוא בדיקה אם משהו נכון. אם התנאי נכון, התוכנית מריצה קטע קוד. אם הוא לא נכון, אפשר להשתמש ב־else כדי להריץ קטע אחר. כך התוכנית יכולה לבחור מה לעשות. תנאי מקונן הוא תנאי בתוך תנאי. זה עוזר לטפל בהרבה בדיקות אחת אחרי השנייה. תנאי מורח...
כתיב פולני
כתיב פולני הוא דרך מיוחדת לכתוב חישובים וביטויים לוגיים. הלוגיקן יאן לוקשביץ' מצא אותה ב־1920. הרעיון פשוט: שמים את הסימן שעושה את הפעולה לפני מה שעושים עליו. אופרטור זה סימן שעושה פעולה, כמו חיבור. זה מקל על מחשבים לקרוא את הביטוי. לא משתמשים בו בלוגיקה היום הרבה, אבל יש שפות תכנות שמשתמשות בו. ...
תורת הטיפוסים
תורת הטיפוסים עוסקת בסוגים של ערכים. טיפוס פירושו סוג של ערך. כל ערך שייך לסוג כזה. רק פעולות מתאימות לסוג יכולות להתבצע. ברטרנד ראסל הציע את הרעיון ב-1908. הוא רצה למנוע בעיה שבה ההגדרות יוצרות סתירה. אלונזו צ'רץ' ארגן את הרעיון בצורה מדעית ב-1933. הרעיון נולד כדי למנוע סתירות בלוגיקה ובמתמטיקה. ...
נקודה ופסיק
נקודה ופסיק (;) הוא סימן פיסוק. הוא חזק יותר מפסיק אבל חלש מהנקודה. הסימן התחיל אצל המדפיס האיטלקי אלדוס מנוטיוס. באנגלית הוא הופיע במאה ה‑16. גם שייקספיר השתמש בו. את הסימן הביא לעברית רבי אברהם הרופא פורטלאונה. בטעמי המקרא (טעמים הם סימני קריאה בתורה) יש לעתים טעם דומה לנקודה ופסיק במשפטים ארוכי...
תבנית:תוכנה
זוהי רשימה של שדות שמספרת על תוכנה. שם הוא השם שלה. שם בשפת המקור הוא השם המקורי שלה. סמל הוא תמונה שמייצגת את התוכנה. תמונה כאן היא צילום מסך. כיתוב הוא הטקסט שמופיע מתחת לתמונה. פיתוח הוא שם החברה שעשתה את התוכנה. תאריך השקה אומר מתי יצאה. גרסה אחרונה היא העדכון האחרון. תאריך הפסקת תמיכה אומר...
וגם (לוגיקה)
חיתוך לוגי (וגם) הוא קשר בין שתי טענות. טענה = משפט שאפשר לומר אם הוא אמת או שקר. התוצאה תהיה אמת רק אם שתי הטענות אמת. סימן שמייצג את זה הוא \land. באלגברה בוליאנית קוראים לזה AND. גם שם התשובה היא אמת רק כשכל הצדדים אמת. בתכנות יש סימן שעושה את אותו דבר בבדיקה של IF ובמשימות השמה....
COBOL
קובול (COBOL) היא שפת תכנות ישנה. שמה המלא באנגלית הוא Common Business Oriented Language. היא נוצרה ב-1959 כדי לטפל בנתונים בעסקים. קובול פותחה על ידי ועדה שקשורה לממשל האמריקאי. גרייס הופר הייתה בין המשפיעות עליה. בתוך הזמן הקצר אחרי ההגדרה נוצר מהדר, תוכנה שמתרגמת את הקוד למחשב. קובול נראית כמו...