למדא
למדא היא האות ה-11 בכתב היווני. בספרות יוונית משווים אותה למספר 30. האות הגדולה היא Λ. האות הקטנה היא λ. היא נשמעת כמו האות ל. למדא נלקחה מכתב ישן שנקרא פיניקי. שם האות הפיניקי היה לָמֶד. הצורה הישנה דמוית מקל של רועה או חרמש. כשהיוונים לקחו את הכתב, הם שמרו את הצליל ל והעניקו לה את השם לַמְדַא. הצ...
בקטריופאג למדא
בקטריופאג' למדא הוא נגיף שמדביק חיידקים. (נגיף שמדביק חיידקים נקרא בקטריופאג'). הגנום שלו הוא DNA דו-גדילי. (זה אומר שני גדילים של DNA.) יש בו 48,502 בסיסים וקרוב ל-30 גנים. הוא התגלה בשנות ה-50 על ידי אסתר לדרברג. בשנות ה-90 ריצפו את כל הגנום. למדא יכול לבחור שתי דרכים אחרי שהוא נכנס לחיידק: - ...
תחשיב למדא
תחשיב למדא (Lambda calculus) הוא דרך לכתוב פונקציות בלי שם. פונקציה היא חוק שאומר מה קורה עם קלט. כותבים פונקציה כך: λx.M. הכוונה: קח x ועשה M. הסימן λ קורא לו "למדה". ביטוי למדא עשוי ממשפטים קטנים שמתחברים. משתנה שהוא לא תחת λ נקרא חופשי. ביטוי ללא משתנים חופשיים נקרא סגור. - אלפא: מותר לשנו...
L
L (אל) היא האות ה־12 באלפבית הלטיני. היא באה מהאות היוונית למדא. יוונית היא שפת יוון. המקור הרחוק שלה הוא באות פיניקית (שפה עתיקה). מהאות הפיניקית התפתחה גם האות העברית לָמֶ״ד. הצליל שלה הוא ל' רגיל. באנגלית אמריקאית לפעמים שומעים ל' עמום. באלפבית הפונטי קוראים לה 'לימה' (Lima). בקוד מורס היא · - ...
השמיניה (סדרת טלוויזיה)
השמיניה היא סדרת נוער ישראלית עם נגיעה של מדע בדיוני. היא שודרה בערוץ הילדים בשנות ה־2000 וכתבה גיורא חמיצר. קבוצה של ילדים מתקבלת לפרויקט סודי של המדען אבנר. הם מגלים שיש להם "גלי למדא", אנרגיה מיוחדת במוח. שני תאומים, מאיה ויונתן, עברו שינוי גיל במכונה שנקראת "טורבו טיים". המכשיר יכול לשנות גיל...
האוניברסיטה הפתוחה
האוניברסיטה הפתוחה היא אוניברסיטה שמאפשרת לכל אדם בוגר ללמוד לתואר ראשון. תואר ראשון הוא תעודה שמקבלים אחרי שסיימו לימודים אקדמיים. השיעורים מתבצעים בעיקר מהבית. יש ספרים וחומרי לימוד באינטרנט. מי שרוצה יכול לבוא לכיתות במרכזי הלימוד. יש גם שיעורים מקוונים שמוקלטים. האוניברסיטה נולדה בשנות ה-70. ה...
אלונזו צ'רץ'
אלונזו צ'רץ' (Alonzo Church; 14 ביוני 1903, 11 באוגוסט 1995) היה מתמטיקאי ולוגיקן. נולד בוושינגטון די.סי. והלך ללמוד בפרינסטון. הוא היה פרופסור שם, ואז לימד גם ב-UCLA. הוא פיתח את תחשיב למדא. תחשיב למדא הוא דרך להסביר מה מחשבים יכולים לחשב, בעזרת פונקציות (מה שהן חישובים קטנים). ב-1936 הראה צ'רץ...
חישוביות
תורת החישוביות עוסקת במה מחשבים ו"דגמים" דמיוניים יכולים לחשב. דגם חשוב נקרא מכונת טיורינג. זו דמות דמיונית של מחשב. השאלה הגדולה היא: מה אפשר לחשב ומה לא. יש בעיה שנקראת בעיית העצירה. משמעותה: אי אפשר תמיד לדעת אם תוכנית תעצור או תרוץ לנצח. בתחילת המאה ה-20 חוקרים רצו לדעת מהי דרך פשוטה לפתור בע...
תזת צ'רץ'-טיורינג
תזת צ'רץ'-טיורינג הוצעה על ידי אלן טיורינג ואלונזו צ'רץ' בשנות ה־30. היא אומרת: כל חישוב הגיוני אפשר לעשות עם מכונת טיורינג. מכונת טיורינג היא מכונה מדומיינת. היא קוראת וכותבת סימנים על סרט, בצעדים פשוטים. יש גרסאות שונות של התזה. גרסה חזקה מדברת על זמן ומשאבים. גרסה פיזיקלית אומרת שכל דבר שמערכת פ...
Scheme
Scheme היא שפת תכנות ממשפחת Lisp. ניב זה אומר גרסה של שפה. יש לה ספריית ליבה קטנה והיא קלה להרחבה. השפה נוצרה בשנות ה־70 במעבדת MIT. היוצרים הם גיא סטיל וג\'רלד סאסמן. הם פרסמו את רעיונותיהם במאמרים שנקראו "מאמרי הלמדא". Scheme קיבלה השראה מ־ALGOL. תחום הכרה לקסיקלי פירושו: אילו משתנים פונקציה רוא...