Роджер Мэддакс (родился в 1948 г.) - американский математик, специализирующийся на алгебраической логике .
Он получил степень бакалавра в колледже Помона в 1969 году и степень доктора философии. защитил математику в Калифорнийском университете в Беркли в 1978 году, где он был одним из последних учеников Альфреда Тарски . Его карьера была связана с университетом штата Айова , где он работал по совместительству в области компьютерных наук и математики.
Маддукс известен прежде всего своей работой в области алгебр отношений и цилиндрических алгебр , а также изобретателем реляционных базисов . [1] [2]
Книги Маддукса
- 1990: (с Клиффордом Х. Бергманом и Доном Л. Пигоцци, редакторами) Алгебраическая логика и универсальная алгебра в информатике , конспект лекций по информатике № 425, книги Springer
- 2006: Алгебры отношений , т. 150 в исследованиях по логике и основам математики . Elsevier Science
Заметки
- ^ Ходкинсон, Ян. «Реляционные базы, алгебра отношений - связи цилиндрической алгебры» . Проверено 3 марта 2007 .
- ^ Мэддакс, Роджер (1983). «Исчисление секвенций для алгебр отношений» . Летопись чистой и прикладной логики . 25 : 73–101. DOI : 10.1016 / 0168-0072 (83) 90055-6 .
Внешние ссылки
- Домашняя страница Maddux в Университете штата Айова .
- Роджер Мэддакс в проекте « Математическая генеалогия»