Books By Christian Posthoff - Author

Christian Posthoff studied Mathematics at the University of Leipzig. From 1968 to 1972, he worked as a programmer and in the field of Operations Research; simultaneously, he did his Ph.D. in 1975 with the thesis "Application of Mathematical Methods in Communicative Psychotherapy". In 1972, he began working at the Department of Information Technology at the Chemnitz University of Technology; up to 1983, his research activities concentrated on logic design. Important results have been algorithms and programs for solving Boolean equations with a high number of variables and the Boolean Differential Calculus (a generalized differential and integral calculus for Boolean rings) for the analytical treatment of different problems in the field of logic design. These results have been collected in a monograph "Binary Dynamic Systems", and allowed the habilitation (Dr.-Ing. habil.) at the Faculty of Electrical Engineering in 1979 and the promotion to Associate Professor. In 1983, he was promoted to Full Professor of