WikiDer > Роджер Мэддакс

Roger Maddux

Роджер Мэддакс (1948 г.р.) Американец математик специализируясь на алгебраическая логика.

Он получил степень бакалавра искусств. в Помона Колледж в 1969 г. и его докторская степень. по математике на Калифорнийский университет в Беркли в 1978 году, когда он был одним из Альфред Тарскийпоследние ученики. Его карьера была в Государственный университет Айовы, где он заполняет совместную встречу в Информатика и математика.

Маддукс прежде всего известен своей работой в алгебры отношений и цилиндрические алгебры, и как изобретатель реляционные базы.[1][2]

Книги Маддукса

  • 1990: (с Клиффордом Х. Бергманом и Доном Л. Пигоцци, редакторами) Алгебраическая логика и универсальная алгебра в компьютерных науках, Конспект лекций по информатике #425, Книги Springer
  • 2006: Алгебры отношений, т. 150 дюйм Исследования по логике и основам математики. Elsevier Science

Примечания

  1. ^ Ходкинсон, Ян. «Реляционные основы, алгебра отношений - связи цилиндрической алгебры». Получено 2007-03-03.
  2. ^ Мэддакс, Роджер (1983). «Исчисление секвенций для алгебр отношений». Анналы чистой и прикладной логики. 25: 73–101. Дои:10.1016/0168-0072(83)90055-6.

внешняя ссылка