Питер Б. Эндрюс - Peter B. Andrews

Питер Эндрюс деген басқа адамдар үшін қараңыз Питер Эндрюс (дисбригуация).
Питер Эндрюс 2012 ж

Питер Брюс Эндрюс (1937 жылы туған) - бұл Американдық математик және математика профессоры, эмеритус ат Карнеги Меллон университеті жылы Питтсбург, Пенсильвания,[1] және жаратушы математикалық логика Q0. Ол кандидаттық диссертациясын қорғады. бастап Принстон университеті қамқорлығымен 1964 ж Алонзо шіркеуі.[2] Ол алды Herbrand сыйлығы 2003 жылы.[3] Оның зерттеу тобы TPS автоматтандырылған теоремалық провер. TPS-тің ETPS (Білім беру Теоремасын Дәлелдеу Жүйесі) ішкі жүйесі студенттерге табиғи дедукциялардың дәлелдерін интерактивті түрде құру арқылы логиканы үйренуге көмектесу үшін қолданылады.

Жарияланымдар

  • Эндрюс, Питер Б. (1965). Айнымалылары бар трансфинитті тип теориясы. North Holland Publishing Company, Амстердам.
  • Эндрюс, Питер Б. (1971). «Түр теориясындағы шешім». Символикалық логика журналы 36, 414–432.
  • Эндрюс, Питер Б. (1981). «Жалпы сәйкестендіру арқылы дәлелдеу теоремасы». Дж. Доц. Есептеу. Наурыз. 28, жоқ. 2, 193–214.
  • Эндрюс, Питер Б. (1986). Математикалық логика мен тип теориясына кіріспе: дәлелдеу арқылы шындыққа. Информатика және қолданбалы математика. ISBN  978-0-1205-8535-9. Academic Press, Inc., Орландо, Флорида.
  • Эндрюс, Питер Б. (1989). «Байланыстар және жоғары ретті логика туралы». J. Automat. Себеп. 5, жоқ. 3, 257–291.
  • Эндрюс, Питер Б. Епископ, Матай; Иссар, Сунил; Несмит, Дэн; Пфеннинг, Франк; Си, Хунвэй (1996). «TPS: классикалық типтің теориясын дәлелдейтін жүйе». J. Automat. Себеп. 16, жоқ. 3, 321-353.
  • Эндрюс, Питер Б. (2002). Математикалық логика мен тип теориясына кіріспе: дәлелдеу арқылы шындыққа. Екінші басылым. Қолданбалы логикалық серия, 27. ISBN  978-1-4020-0763-7. Kluwer Academic Publishers, Дордрехт.

Әдебиеттер тізімі

  1. ^ «Питер Б. Эндрюс». gtps.math.cmu.edu. Алынған 2018-03-10.
  2. ^ «Алонзо шіркеуі - математикалық шежіре жобасы». www.genealogy.math.ndsu.nodak.edu. Алынған 2018-03-10.
  3. ^ Эндрюс, Питер Б. (2003-10-01). «Herbrand сыйлығын қабылдау туралы сөз». Автоматтандырылған ойлау журналы. 31 (2): 169–187. CiteSeerX  10.1.1.69.5121. дои:10.1023 / b: банкалар.0000009552.54063.f3. ISSN  0168-7433.

Сыртқы сілтемелер