מדעי המחשב

עיינו גם בפורטל

P Computer-science.png

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


מדְעי המחשב הוא ענף מדעי העוסק בלימוד הבסיס התאורטי והמעשי של השימוש במערכות מחשב[1], ובמידה מסוימת, גם בשאלה של תכנון ובנייה של מערכות מחשב. ענפי המִשנה שלו רבים; חלקם מדגישים שימוש במחשב בתחום מסוים (כגון גרפיקה ממוחשבת או בניית מהדרים), אחרים עוסקים בחקר התכונות של בעיות חישוביות כלליות (לדוגמה, סיבוכיות), וענפי משנה אחרים מתמקדים בפתרון הבעיות הכרוכות ביישום מעשי של חישובים ואלגוריתמים. ענף בולט במדְעי המחשב הוא חקר ויישום שפות פורמליות לפתרון בעיות חישוביות מסוימות (לדוגמה, באמצעות שפת תכנות).

להדגשת ההיבט התאורטי של תחום זה, אמר אחד מהעוסקים הבולטים בו:

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

מדעי מחשב כוללים מספר בעיות פתוחות (כגון שאלת P=NP) שמתנהל מחקר רב לפותרן, והן בעלות השלכות משמעותיות להתפתחות המדע בכלל ומדעי מחשב בפרט.

הנושאים העיקריים

אלה הנושאים העיקריים הנחקרים ונלמדים במסגרת מדְעי המחשב:

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

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