He is currently the director of the Institute of Computer Education Software of Guangzhou University and the honorary director of Chengdu Institute of Computer Application of China Academy of Sciences. 199 1 year began to enjoy special government allowances. He has won the titles of "National Excellent Teacher" and "National May 1st Labor Medal".
1995 10 was elected as an academician of China Academy of Sciences.
Party member Zhong, an academician of China Academy of Sciences, is currently the director of the Institute of Computer Education Software of Guangzhou University, the dean of the School of Computer Science and Technology of Chongqing University of Posts and Telecommunications, the doctoral supervisor of computer science and mathematics, and the chairman of China Popular Science Writers Association. Honorary Director of Chengdu Institute of Computer Application of China Academy of Sciences, Honorary Dean of Jiangxi Institute of Applied Science and Technology, and Director of Academic Committee. 199 1 year began to enjoy special government allowances. 1995 was elected as an academician of China Academy of Sciences. He has won the titles of "National Excellent Teacher" and "National May 1st Labor Medal". In March 2006, he served as honorary president and director of academic Committee of Jiangxi City University. 20 1 1 was hired as a math teacher by the newly established south university of science and technology of china, China, aiming at cultivating math talents. Academician Zhang is mainly engaged in the research of machine proof, educational mathematics, distance geometry and dynamic system. Its main contribution is: (1) put forward the area problem solving method and applied it to the research of machine proof, and made a breakthrough in the automatic generation of readable proof of geometric theorem which has made little progress for many years. (2) Establish the principle and algorithm of computer-readable proof of geometric theorem. This achievement is regarded as a "milestone" by authoritative scholars, which enables computers to handle geometry work like arithmetic. (3) Establish the principle and algorithm of numerical parallel method for theorem machine proof. (4) The mechanical proof method of Wu's geometric theorem is improved and developed, and the parameterization method and the decomposition algorithm of ascending sequence group are established, which completely solves the relative decomposition problem of reducible ascending sequence. (5) Established the thought and method of educational mathematics.
Since 1980, Academician Zhang has published more than 50 academic works *** 150, and has also written a large number of popular science articles and popular science books. 1990 academician Zhang was rated as an outstanding popular science writer since the founding of the People's Republic of China by China Popular Science Association, and 1994 academician Zhang was rated as one of the top ten gold medal writers by China Children's Publishing House. The work Educational Mathematics Series 1995 won the 9th China Book Award and the 1st National Mathematics Education Book Award. The work "The Eyes of Mathematicians" won the second prize of the 3rd National Excellent Popular Science Works 1996 and the first prize of the 1st Excellent Popular Science Works in Guangzhou in 2002. The work "Academician's Mathematics Lecture" won the first prize of popular science reading in the Fifth National Excellent Popular Science Works Award in 2003. The book "Lectures on Mathematics for Academicians (3 volumes)" won the first prize of popular science books in the 5th National Excellent Popular Science Works Award in May 2003 and the 6th National Book Award issued by People's Republic of China (PRC) and the State Press and Publication Administration in February 2003. The book Academician's Lecture on Mathematics: Helping You Learn Mathematics won the ninth "Selected Works Award" of the "Five One Projects" of spiritual civilization construction issued by Publicity Department of the Communist Party of China. In teaching, from 65438 to 0996, Academician Zhang Jingzhong, as an academic leader, founded the master's degree program of "Curriculum and Teaching Theory" of Guangzhou University (formerly Guangzhou Normal University), and served as the master's tutor and academic leader of this project. 1997 "Subject Teaching Theory (Mathematics)" was rated as the key subject in Guangzhou by Guangzhou Education Bureau. 1998 founded the undergraduate pilot class of information and computing science in software college, and trained dozens of undergraduates, master students and doctoral students in recent years. In 2002, with the support of Guangzhou University, Guangzhou Zhong Jing Education Software Co., Ltd. was established and served as the chairman of the company.
Over the years, Academician Zhang Jingzhong has led all the faculty members of the Institute of Software to adhere to the development path of combining production, learning and research, and created a new road of success in teaching, scientific research and industrialization of achievements.
Zhang Jingzhong was born in runan county, Henan on February 1936. Academician, Professor and Doctoral Supervisor of China Academy of Sciences, Director of Institute of Computer Education Software of Guangzhou University, Honorary Director of Chengdu Institute of Computer Application of China Academy of Sciences, Director of Academic Committee of National Digital Learning Engineering Technology Research Center of Huazhong Normal University, Honorary President and Director of Academic Committee of Jiangxi City University.
1959 graduated from the department of mathematical mechanics in Peking University, 1979 taught at China university of science and technology, 1986 researcher at China academy of sciences, director of the laboratory of mathematical and physical sciences at Chengdu branch of China academy of sciences, and deputy director of Chengdu institute of computer application at China academy of sciences. In February, he was approved by the State Council Academic Degrees Committee 1993 as a doctoral supervisor. 1995 10 was elected as an academician of China academy of sciences, a director of China computer Federation and a member of China association for science and technology, and 1997 was elected as a representative of the 15th National Congress of the Communist Party of China.
From 1978 to 1985, Professor Zhang has made a series of international achievements in the field of mathematics, especially in discrete dynamic system algorithm and distance geometry, and applied them to solve practical technical problems in national economic construction. In the field of differential dynamic system research and computational geometry, remarkable achievements have been made and praised by international peers. 1982 "safe, energy-saving and low-noise woodworking electromagnetic vibration cutting technology" successfully developed by mathematical method won the second prize of national invention. 1985, he studied machine proof, founded the principle and algorithm of computer-generated geometric theorem and reading proof together with his collaborators, broke through this important problem of artificial intelligence, which has been progressing slowly for more than 30 years, and achieved internationally recognized leading position. Since 1982, more than 50 academic works have been published. The monograph "New Progress in Theory and Algorithm of Geometric Theorem Machine Proving" won the first prize of Natural Science Award of China Academy of Sciences 1995 and the second prize of National Natural Science Award 1997.
Peng Yucheng, a teacher of Central China Normal University, published Learning from Zhang Jingzhong in Tsinghua University Publishing House.
This book truly and meticulously describes the care and guidance of the famous mathematician Academician Zhang Jingzhong to young students, and the author himself has also studied with an open mind, and finally made some achievements. The book has a unique angle and the record is true and credible. Teacher Zhang's teaching in the book has a wide range of guiding significance for teenagers' learning, and the stories of teachers and students in it also make people cry. This book is not limited to mathematics lovers who are interested in Mr. Zhang Jingzhong's academic research and talent training. The indomitable spirit conveyed in the book is inspiring and inspiring, and it is suitable for all aspiring strivers to read. After research, Professor Zhang is keen on popular science education. 1990 was rated as an excellent popular science writer since the founding of the People's Republic of China, and 1994 was rated as one of the top ten gold medal writers by China Children Publishing House. 65438-0995 "Educational Mathematics in Zhang Jingzhong" series (educational mathematics exploration, new path of plane geometry, problem-solving research of new path of plane geometry, basic research of new path of plane geometry) won the first prize of the 9th China Book Award and the first prize of the National Education Book Award. Mr. Zhang Jingzhong is an academician of China Academy of Sciences, a famous mathematician and a famous popular science writer who rose in 1980s. At the turn of the century, he was elected as the chairman of the Fourth National Congress of the Chinese Popular Science Writers Association. In China Children's Publishing House, he published the first popular science book about mathematics. Since then, he has written many popular science books. Mr. Zhang Jingzhong has always advocated making mathematics simple, and the key to learning mathematics well is to learn to think. He appreciates the words of a master of science: you work during the day and work at night, so when do you think? Many of our teachers always guide students into their pre-set circles, while Mr. Zhang digs students' imagination space and lets them taste the fun of in-depth exploration. Mr. Zhang Jingzhong has always maintained that the essence of science is innovation. The thinking form he showed in his popular science creation is not creative thinking, but creative thinking.
In 2002, his books "Help You Learn Math", "Mathematician's Eyes" and "New Concept Geometry" were published, which was a gift from Professor Zhang Jingzhong to the World Congress of Mathematicians and his best gift to teenagers. Professor Zhang Jingzhong's three books were completed in the early 1980s and the mid-1990s. However, these works still have strong vitality and are still in the leading position in the creation of popularizing mathematics, and some books can completely go to the world. In these books, he solved the problem of the popularization of modern mathematics from three aspects.
first floor
In this respect, he focuses on modern mathematical thought. In the face of middle school students, he put forward the idea of introducing modern mathematics roughly, focusing only on mathematical thoughts and not on mathematical theories. Most of the examples in the book are intelligence tests or math games that junior high school students can understand.
second floor
In this respect, he focuses on the philosophy of science in mathematical problems. He told people that the combination of science and popularization is the philosophy of science. For example, The Mathematician's Eyes took five years, and only 65,000 words were written in the booklet, which was full of scientific thinking. He told readers with vivid examples that mathematicians' eyes are abstract, but we think different problems are the same to them. Mathematicians' eyes are precise and rigorous. We think of the same or similar things, but it seems to be worlds apart. Mathematicians' eyes are thorough and sharp, but they pursue mathematical conclusions that we are satisfied with. The eyes of mathematicians are dialectical. We think that one is one and the other is two, but they often stare at the same thing, staring at the same thing. With this profound understanding, it is possible for scientists to talk with children, and it also provides valuable experience for scientists to write popular science for the public.
Third layer
To this end, he focused on narrowing the distance between scientists and middle school students, and turned the core ideas and methods excavated from the front line of scientific research into operational and practical new learning weapons. The new concept geometry is the representative work in this respect. The new system of plane geometry, which is based on measurement and centered on area, will certainly have a great impact on China's educational reform. Because the essence of area method is variable method, taking area as variable, it not only makes a breakthrough in geometric mechanics proof, but also provides the possibility for learning plane geometry as convenient as solving algebraic equations in the future.
The language of Professor Zhang Jingzhong's works is vivid and inspiring. But the author thinks that the most attractive thing is his creativity and unique insights.
In the book The Mathematician's Eyes, many deductive methods and narrative methods are derived from his thinking, and some of them are related to his scientific research projects. It is his consistent proposition that having one's own things will not be similar to others, and synchronizing with scientific research will enable high-level readers to see new things. He not only practices himself, but also appreciates and introduces others' innovations. For example, when talking about conquering the world problem-Pedro problem, he particularly emphasized the contribution of a young man who fell behind the list.
In "Help You Learn Math", tell some math truths to children by telling stories. For example, if monkeys eat chestnuts, it is better to chop and change, which leads to 3+4=4+3 and so on, which is vivid and lively. One of the characteristics of Zhang Jingzhong's popular science books is that the language is vivid and enlightening. But I think the most attractive thing is his creativity and his unique views. Many works published by Academician Zhang Jingzhong are bestsellers for beginners. 197 was awarded the title of 10 author of China Science Popularization Gold Award, and 199 was elected as the chairman of China Science Popularization Writers Association. Some of his works were reprinted as a series by Taiwan Province Jiuzhang Publishing House.
Help you learn mathematics, new concept geometry, mathematician's eyes, selected edition 2 1 century junior encyclopedia series-mathematical quadrant, help you learn new ideas of set plane geometry, iterative equations and embedded flows, mathematical legends, stories of mathematical games, help you learn geometry, and how computers solve geometric problems. Academician Zhang has also carried out this work in recent years.
Educational information technology
Zhang Jingzhong's research on educational information technology mainly comes from the application and popularization of automatic machine reasoning, which leads to the popularization of super sketchpad and has a practical promotion effect on teaching information technology. He is a real academic research master in the field of educational technology!