סוג האירוע

בחר הכל

הרצאות פומביות

קולוקוויום

סמינרים

כנסים וימי עיון

מועדון IAP

מבחן/תחרות

צהרי יום א'

הרצאות לקהל הרחב

ימים פתוחים וייעוץ

טקסים ואירועים מיוחדים

תחום האירוע

בחר הכל

הפקולטה למדעים מדויקים

ביה"ס למדעי המתמטיקה

ביה"ס לפיזיקה ולאסטרונומיה

המועדון האסטרונומי

ביה"ס לכימיה

מרכז לחקר אינטראקציות אור חומר

פרס סאקלר במדעים הפיזיקליים - כימיה

סימפוזיונים והרצאות מיוחדות

החוג למדעי כדור הארץ

ביה"ס למדעי המחשב

ביה"ס למדעי כדור הארץ

החוג ללימודי הסביבה

קולוקוויום בביה"ס למדעי המחשב - DESCRIPTIVE COMPLEXITY: USING LOGIC TO UNDERSTAND COMPUTATION

מרצה המכון ללימודים מתקדמים ע"ש מורטימר וריימונד סאקלר Neil Immerman

14 במאי 2017, 11:00 
בניין שרייבר, חדר 006 
קולוקוויום במדעי המחשב

Abstract

 

Most computational problems can be understood as computing a function from n-bit inputs to m-bit outputs. The bits of the output are properties of the input. It is striking that the computational complexity of computing the function in terms of time, space, number of processors, etc., can be completely understood via the expressive power of the logical language needed to describe these properties. This will be an accessible talk explaining descriptive complexity and the resulting insights gained. I will end by describing some of the progress achieved by many researchers over the last 5 years.

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