Current Catalog

Current Catalog

Author: National Library of Medicine (U.S.)

Publisher:

Published: 1979

Total Pages: 1564

ISBN-13:

DOWNLOAD EBOOK

Includes subject section, name section, and 1968-1970, technical reports.


Proceedings of the 13th International Congress on Mathematical Education

Proceedings of the 13th International Congress on Mathematical Education

Author: Gabriele Kaiser

Publisher: Springer

Published: 2017-10-31

Total Pages: 735

ISBN-13: 3319625977

DOWNLOAD EBOOK

This book is open access under a CC BY 4.0 license. The book presents the Proceedings of the 13th International Congress on Mathematical Education (ICME-13) and is based on the presentations given at the 13th International Congress on Mathematical Education (ICME-13). ICME-13 took place from 24th- 31st July 2016 at the University of Hamburg in Hamburg (Germany). The congress was hosted by the Society of Didactics of Mathematics (Gesellschaft für Didaktik der Mathematik - GDM) and took place under the auspices of the International Commission on Mathematical Instruction (ICMI). ICME-13 brought together about 3.500 mathematics educators from 105 countries, additionally 250 teachers from German speaking countries met for specific activities. Directly before the congress activities were offered for 450 Early Career Researchers. The proceedings give a comprehensive overview on the current state-of-the-art of the discussions on mathematics education and display the breadth and deepness of current research on mathematical teaching-and-learning processes. The book introduces the major activities of ICME-13, namely articles from the four plenary lecturers and two plenary panels, articles from the five ICMI awardees, reports from six national presentations, three reports from the thematic afternoon devoted to specific features of ICME-13. Furthermore, the proceedings contain descriptions of the 54 Topic Study Groups, which formed the heart of the congress and reports from 29 Discussion Groups and 31 Workshops. The additional important activities of ICME-13, namely papers from the invited lecturers, will be presented in the second volume of the proceedings.


Logic Colloquium '03

Logic Colloquium '03

Author: Viggo Stoltenberg-Hansen

Publisher: Cambridge University Press

Published: 2017-03-30

Total Pages: 420

ISBN-13: 1108587143

DOWNLOAD EBOOK

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twenty-fourth publication in the Lecture Notes in Logic series, contains the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, in August 2003. These articles include an extended tutorial on generalizing finite model theory, as well as seventeen original research articles spanning all areas of mathematical logic, including proof theory, set theory, model theory, computability theory and philosophy.


Artificial Intelligence Today

Artificial Intelligence Today

Author: Michael J. Wooldridge

Publisher: Springer

Published: 2007-03-06

Total Pages: 489

ISBN-13: 3540483179

DOWNLOAD EBOOK

Artificial Intelligence is one of the most fascinating and unusual areas of academic study to have emerged this century. For some, AI is a true scientific discipline, that has made important and fundamental contributions to the use of computation for our understanding of nature and phenomena of the human mind; for others, AI is the black art of computer science. Artificial Intelligence Today provides a showcase for the field of AI as it stands today. The editors invited contributions both from traditional subfields of AI, such as theorem proving, as well as from subfields that have emerged more recently, such as agents, AI and the Internet, or synthetic actors. The papers themselves are a mixture of more specialized research papers and authorative survey papers. The secondary purpose of this book is to celebrate Springer-Verlag's Lecture Notes in Artificial Intelligence series.