מדעי המחשב

בינה מלאכותית היא ענף של מדעי המחשב העוסק ביכולתם של מחשבים לפעול באופן המציג יכולות השמורות עד כה לבינה האנושית בלבד. מכיוון שמחשב יכול לבצע פעילויות מוגדרות במהירות רבה ביותר, לעיתים נוצרת התחושה שהוא מדמה פעולה אינטליגנטית, כגון יכולת משחק שחמט או ניהול שיחה.

בשנת 1950 הוגדר הכלי שבעזרתו ניתן לקבוע האם מכונה הגיעה לרף האינטליגנציה האנושית, במבחן הקרוי מבחן טיורינג: "אם יינתן לאדם, היושב בחדר סגור, לנהל שיחה באמצעות ממשק מחשב (Console) עם ישות שנמצאת בחדר השני, כאשר אותה ישות תהיה או אדם או מכונה, והמשוחח לא יוכל לזהות האם מולו ניצב אדם או מכונה, או-אז המכונה תחשב לתבונית.

גאומטריה חישובית היא תחום במתמטיקה ובמדעי המחשב העוסק במבני נתונים ובאלגוריתמים לפתרון בעיות גאומטריות.

הבעיות הנדונות בתחום זה נוגעות לעצמים גאומטריים כמו נקודות, קטעים ומצולעים במישור, או לנקודות, לקטעים, למשטחים וכדומה במרחב מממד גבוה יותר.

המחקר העיוני בגאומטריה חישובית מיושם בתחומים אחרים במדעי המחשב, כגון: ראייה ממוחשבת, גרפיקה ממוחשבת, רובוטיקה ומערכות תיב"ם וכן בתחומים שאינם נמנים עם מדעי המחשב, כגון: הנדסה, סטטיסטיקה, מערכת מידע גאוגרפי וביולוגיה מולקולרית.

גרפיקה ממוחשבת היא תחום במדעי המחשב העוסק בשילוב של תמונות ובעיבוד תמונה באמצעות מחשב. גרפיקה ממוחשבת מתייחסת בדרך כלל לגרפיקת תלת־ממד אף כי היא כוללת גם גרפיקה דו-ממדית. התחום התיאורתי כולל מספר רב של אלגוריתמים שונים העושים שימוש בשיטות הלקוחות מאנליזה וקטורית, גאומטריה אנליטית ועיבוד אותות.

שימוש בגרפיקה ממוחשבת (ובפרט בגרפיקת תלת־ממד) לצורך יצירת אנימציה קרוי אנימציה ממוחשבת. לטכנולוגיה זו שימושים רבים בקולנוע, בטלוויזיה ובמשחקי מחשב. היכולת של הגרפיקה הממוחשבת (ובפרט גרפיקת תלת־ממד) לייצר תמונות ריאליסטיות משמשת גם באדריכלות, רפואה ובתחומי תעשייה אחרים.

תחום אחר בגרפיקה הממוחשבת, עיבוד תמונה, משמש בעיקר לעיבוד תמונות שצולמו במצלמה. בעזרת שיטות אלה אפשר לתקן פגמים שנפלו בצילום, לשנות את תכונות התמונה כולה או חלקים ממנה, וכן ליצור אפקטים מיוחדים כגון מורפינג.

[עריכה]

חישוב קוונטי הינו תחום במדעי המחשב בו מכונת החישוב פועלת על פי עקרונות הפיזיקה הקוונטית ומוגבלת אך ורק על ידי חוקים פיזיקליים אלו. להבדיל ממכונת החישוב ה"קלאסית" (מכונת טיורינג הפועלת לפי חוקי הפיזיקה הקלאסית), המחשב הקוונטי יודע לעבד ביטים-קוונטיים, קיוביטים, בעלי התכונה המוזרה שמצבם אינו בהכרח '0' או '1' אלא יכול להיות סופרפוזיציה שלהם. מודל חישובי זה מאפשר ביצוע אלגוריתמים קוונטיים בעלי מקביליות גבוהה, ויעילות טובה יותר מהאלגוריתם הקלאסי הרגיל.

כח החישוב של מחשב קוונטי אינו גדול יותר מאשר של מחשב רגיל, אך כאמור יעילותו גבוהה יותר. פעולות כמו מציאת גורם ראשוני של מספר גדול, או מציאת מפתח של צופן, ניתנות לביצוע במחשב קוונטי ביעילות פולינומית, לעומת היעילות האקספוננציאלית של מחשב קלאסי.

קריפטוגרפיה היא ענף במתמטיקה ובמדעי המחשב העוסק בהיבטים השונים של אבטחת מידע בכלל והצפנה בפרט. דוגמאות לנושאים שקשורים באבטחת מידע:

• הצפנה והסתרה של מידע חסוי ממי שלא הוסמך לראותו.
• בקרת זכויות גישה מרחוק של משתמשים ברשת מחשבים.
• אימות זהות (כמו באמצעות סיסמה).
• פרוטוקולים להוכחת ידיעה, כמו פרוטוקול אתגר מענה והוכחה באפס ידע.
• מנגנוני חתימה דיגיטלית.
• מחוללי מספרים אקראיים.
• אלגוריתמים להבטחת שלמות מידע.
• אימות מקורות מידע כמו MAC.
• אנונימיות, תיעוד, אישור ומניעת הכחשה.

השם "קריפטוגרפיה" מקורו במילה היוונית "קריפטו" שמשמעותה נסתר או אמנות ההסתרה. בתרגום חופשי פירוש השם הוא תורת ההצפנה, אם כי משמעותו מקיפה יותר.

תורת הקודים היא תחום במתמטיקה ובמדעי המחשב שעוסק בהעברה יעילה של מידע דרך מערכת מציאותית שיוצרת שגיאות ברצף. כאשר מעבירים מידע דרך מוליך טוב ככל שיהיה (גלי רדיו, קווי טלפון), נופלות טעויות במידע כתוצאה מרעשי רקע שנוצרים מסיבות טכניות בעיקר. שגיאה קטנה ככל שתהיה יכולה לעוות את המידע המתקבל ולהפוך אותו לחסר משמעות, או לבעל משמעות שונה מהרצוי. הבעיה קיימת מאז ומעולם גם בשפת הדיבור והכתיבה. ניתן לראות טעויות דפוס שנובעות מהחלפת אותיות כמעט בכל ספר שיוצא לשוק. בעיה זו נעשתה חריפה במיוחד בתקשורת בין מחשבים, בה שינוי של ביט אחד במסר יכול להרוס את החישוב כולו.

בתורת הקודים מפותח מושג הקוד וכן גם כלים שמאפשרים הבחנה ותיקון שגיאות במידע המתקבל.