WikiDer > Samuel Buss
 | Ushbu maqola umumiy ro'yxatini o'z ichiga oladi ma'lumotnomalar, lekin bu asosan tasdiqlanmagan bo'lib qolmoqda, chunki unga mos keladigan etishmayapti satrda keltirilgan. (2011 yil avgust) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling) |
Samuel R. Buss | |
|---|---|
| Olma mater | Princeton universiteti Emori universiteti |
| Ma'lum | Chegaralangan arifmetik Mantiqiy formulani baholash |
| Ilmiy martaba | |
| Maydonlar | Kompyuter fanlari, Matematika |
| Institutlar | Berkli Kaliforniya universiteti, Kaliforniya universiteti, San-Diego |
| Doktor doktori | Simon Kochen |
Samuel R. (Sem) Buss amerikalik kompyutershunos va matematik sohalariga katta hissa qo'shgan matematik mantiq, murakkablik nazariyasi va isboti murakkabligi. U hozirda Professor da Kaliforniya universiteti, San-Diego, Informatika kafedrasi va matematika bo'limi.
Biografiya
Buss uni qabul qildi bakalavr diplomi 1979 yilda Emori universitetiva uning Magistrlik darajasi va Ph.D. dan Princeton universitetinavbati bilan 1983 va 1985 yillarda. U qo'shildi Berkli Kaliforniya universiteti, 1986 yilda matematika kafedrasida o'qituvchi sifatida ishlagan va 1988 yilgacha shu erda bo'lgan. Buss fakultetga qo'shilgan Kaliforniya universiteti, San-Diego, Kompyuter fanlari va Matematika 1988 yilda kafedralar assistent professor bo'lib, u erda 1993 yilda professor lavozimiga ko'tarildi.
Tadqiqot
Buss ota-bobolaridan biri hisoblanadi chegaralangan arifmetik va isboti murakkabligi.[1]
Doktorlik dissertatsiyasi davrida Buss cheklangan arifmetikada ishlagan. 1985 yilda doktorlik dissertatsiyasini oldi. U tezisida chegaralangan arifmetikani kiritdi va ko'p polinomli vaqtni hisoblashning teoretik tavsifini berdi. Uning dissertatsiyasi cheklangan arifmetik sohadagi asosiy ma'lumotlardan biridir.[iqtibos kerak] Shuningdek, u matematik mantiq va informatika bo'yicha bir nechta kitoblarning muallifi / muharriri.[2]
Buss 1983 yilda mantiqiy formulani baholash muammosi ALogTime-da ekanligini isbotladi, bu katta natijadir murakkablik nazariyasi.
Uning asosiy tadqiqot yo'nalishlari matematik mantiq, murakkablik nazariyasi va isboti murakkabligi. U qo'shgan boshqa sohalar chegaralangan arifmetik, chegaralangan teskari matematikava taklif doirasidagi pastki chegaralar isbotlovchi tizimlar.
Adabiyotlar
- ^ "Birinchi darajali mantiqning chegarasi« Gödelning yo'qolgan xati va P = NP ". Rjlipton.wordpress.com. Olingan 2012-07-09.
- ^ http://math.ucsd.edu/~sbuss/ResearchWeb/index.html
