Roger Maddux

Roger Maddux (född 1948) är en amerikansk matematiker som specialiserat sig på algebraisk logik .

Han avslutade sin BA vid Pomona College 1969 och sin doktorsexamen. i matematik vid University of California, Berkeley 1978, där han var en av Alfred Tarskis sista studenter. Hans karriär har varit vid Iowa State University , där han fyller ett gemensamt uppdrag inom datavetenskap och matematik.

Maddux är främst känd för sitt arbete med relationsalgebror och cylindriska algebror , och som uppfinnaren av relationsbaser.

Böcker av Maddux

  • 1990: (med Clifford H. Bergman & Don L. Pigozzi, redaktörer) Algebraic Logic and Universal Algebra in Computer Science , Lecture Notes in Computer Science #425, Springer-böcker
  • 2006: Relation Algebras , vol. 150 i Studies in Logic and the Foundations of Mathematics . Elsevier Vetenskap

Anteckningar

externa länkar