Pavel Naumov - Pavel Naumov

Pavel Naumov
Pavel Naumov
Tug'ilgan (1970-01-26) 1970 yil 26 yanvar (50 yosh)
Ma'lumnou-xau mantiqlari, aybdorlik mantiqlari
Ilmiy ma'lumot
Olma mater1998 y Kornell universiteti,
Diplom 1992 yil Moskva davlat universiteti
Ilmiy maslahatchilarRobert Li Konstabl,
Sergey N. Artemov
O'quv ishlari
IntizomMantiq
Kompyuter fanlari
Matematika
Falsafa
InstitutlarTulane universiteti, Klaremont MakKenna kolleji, Vassar kolleji
Veb-saytpavelnaumov.com

Pavel Naumov (Ruscha: Pavel Naumov) - bu ko'p agentli tizimlardagi bilim va strategiyalar haqida fikr yuritishga ixtisoslashgan rus-amerikalik mantiqchi. Naumov bitirgan Moskva davlat universiteti uning maslahatchisi bo'lgan matematika bo'yicha diplom bilan Sergey N. Artemov[1]. U doktorlik dissertatsiyasini oldi. yilda Kompyuter fanlari dan Kornell universiteti ostida Robert Li Konstabl[1].

Biografiya

Pavel Naumov tug'ilgan Moskva, SSSR 1970 yilda Taisiya Naumova va Gennadi Naumov[2].U 1985 yilda Moskva matematika olimpiadasining g'olibi bo'lgan[3]va 1986 yil[4], va 1985 yilda Sovet Ittifoqi matematika olimpiadasi. Naumov bitirgan Matematika kafedrasi ning Moskva davlat universiteti ixtisosligi bilan Mantiq[2].

Naumov o'zining sobiq ish beruvchisi McDaniel kollejiga qarshi sud da'vosida qatnashgan.[5]

Tanlangan nashrlar

  • P. Naumov, J. Tao, aybdorlikning epistemik mantiqi, sun'iy intellekt, 283-jild, 2020 yil iyun, 103269
  • P. Naumov, J. Tao, birgalikda qanday erishishni bilamiz: nou-xau epistemik mantiqi, sun'iy intellekt, 262-jild, sentyabr, 2018, 279-300-betlar.
  • J. Keyn, P. Naumov, Giperograflar bo'yicha umumiy bilim uchun Ryoan-ji aksiomasi, Synthese, 191-jild, 14-son, 3407-3426-betlar, 2014.

Adabiyotlar

  1. ^ a b "Pavel Naumov - Matematikaning nasabnomasi loyihasi". www.genealogy.ams.org. Arxivlandi asl nusxasi 2018 yil 1-noyabr kuni. Olingan 20 iyun 2020.
  2. ^ a b Naumov, Pavel (1998 yil 20 sentyabr). "NuPRL-da ma'lumotnoma turlarini rasmiylashtirish, doktorlik dissertatsiyasi" - ecommons.cornell.edu orqali. Iqtibos jurnali talab qiladi | jurnal = (Yordam bering)
  3. ^ "XLVIII Moskovskaja gorodskaja matematicheskaja olimpiada: spisok nagrazhdennyh". olympiads.mccme.ru.
  4. ^ "XLIX Moskovskaja gorodskaja matematicheskaja olimpiada: spisok nagrazhdennyh". olympiads.mccme.ru.
  5. ^ https://www.courtlistener.com/docket/4512632/naumov-v-mcdaniel-college-inc/

Tashqi havolalar