數(shù)據(jù)工程與知識(shí)工程教育部重點(diǎn)實(shí)驗(yàn)室學(xué)術(shù)報(bào)告－人大課程研修班

來(lái)源：在職研招網(wǎng)（5370.com.cn）【在職研究生網(wǎng)】發(fā)布時(shí)間：2010/4/8

數(shù)據(jù)工程與知識(shí)工程教育部重點(diǎn)實(shí)驗(yàn)室學(xué)術(shù)報(bào)告－人大課程研修班
講座題目: 關(guān)于數(shù)據(jù)結(jié)構(gòu)，算法和編程課程的教學(xué)設(shè)計(jì)和實(shí)現(xiàn)
報(bào)告人：Prof. Dr. Ernst-Erich Doberkat
Chair for Software Technology
Technische Universit¨at Dortmund
時(shí)間：2010年3月10日下午15:00-16:30
地點(diǎn)：中國(guó)人民大學(xué)信息樓四層學(xué)術(shù)報(bào)告廳

Abstract:
The course on data structure, algorithms and programming is the first course in the software cycle for the incoming students in the Bachelor programmes for Computer Science and Computer Engineering at the Technical University of Dortmund. The talk discusses the design objectives for the course, its position in the software cycle of the curriculum together with its preand postconditions. We will outline its contents and its implementation; finally we will relate some experiences teaching it, and discuss further developments.
Biographical Sketch:
Diploma in mathematics with a minor in philosophy from the University of Bochum, 1973. Dr. rer. nat. in Mathematics 1976 from the University of Paderborn, venia legendi (Habilitation) in computer science 1980 from the University of Hagen. 1981 - 1985 associate professor of mathematics and computer science at Clarkson University, Potsdam, NY; 1985 - 1993 full professorships for computer science at the universities of Hildesheim and of Essen, since 1993 full professor and chair of software technology, 2008 adjunct professor of mathematics at the University of Dortmund.
Academic offices include: chairman of the Department of Mathematics at the University of Essen; CEO of Informatik Centrum Dortmund, the technology transfer company of the University of Dortmund; deputy dean for finance and infrastructure of the Department of Computer Science; chairman of the State Commission on Multimedia in University Teaching; head of the Department’s committee on teaching.
Author or coauthor of ca. 100 technical papers in the areas of software engineering, computer science education, analysis of algorithms, Markov transition systems, categories, modal and coalgebraic logic; author or coauthors of nine books (programming, mathematics of computer science), the last one being Stochastic Coalgebraic Logic in the EATCS Series on Theoretical Computer Science (Springer, 2009).

相關(guān)新聞