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