Filter by
Advances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Du…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-22686-6
- Collation
- VI, 283
- Series Title
- Trends in Logic
- Call Number
- 511.3 ADV a
The Everyday Life of an Algorithm
This open access book begins with an algorithm–a set of IF…THEN rules used in the development of a new, ethical, video surveillance architecture for transport hubs. Readers are invited to follow the algorithm over three years, charting its everyday life. Questions of ethics, transparency, accountability and market value must be grasped by the algorithm in a series of ever more demanding for…
- Edition
- 1
- ISBN/ISSN
- 9783030005788
- Collation
- IX, 151 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Task Design In Mathematics Education ; an ICMI study 22
Mathematics Education; Learning & Instruction; Education; Anthropological theory of didactics in mathematics; Digital technology in mathematics; Mathematics task design; Mathematics textbook design; Mathematics textbook tasks; Variation theory mathematics; Teaching of a specific subject; Mathematics; Teaching skills & techniques; Cognition & cognitive psychology
- Edition
- 1
- ISBN/ISSN
- 9783319096292
- Collation
- XVIII, 339
- Series Title
- -
- Call Number
- -
Mathematics Education and Language Diversity: The 21st ICMI Study
*THIS BOOK IS AVAILABLE AS OPEN ACCESS BOOK ON SPRINGERLINK* This book examines multiple facets of language diversity and mathematics education. It features renowned authors from around the world and explores the learning and teaching of mathematics in contexts that include multilingual classrooms, indigenous education, teacher education, blind and deaf learners, new media and tertiary educa…
- Edition
- 1
- ISBN/ISSN
- 9783319145112
- Collation
- XV, 321
- Series Title
- -
- Call Number
- -
Mathematics Curriculum Reforms Around the World: The 24th ICMI Study
This Open Access volume by the International Commission on Mathematical Instruction (ICMI) is an outcome of the ICMI Study 24 and gives a status-quo of school mathematics reform around the world and what we can learn from this movement. Each theme and section of the book offers descriptions and analyses of multiple case studies in different countries and contexts, along with opportunities to co…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-13547-7
- Collation
- XVII, 584
- Series Title
- -
- Call Number
- -
Teachers of Mathematics Working and Learning in Collaborative Groups: The 25t…
This open access book is the product of an international study which offers a state-of-the-art summary of mathematics teacher collaboration with respect to theory, research, practice, and policy. The authors – leading researchers and teachers on mathematics teacher collaboration – represent a wide range of countries and cultures. Chapters explore the various forms of teacher collaboration; …
- Edition
- 1
- ISBN/ISSN
- 9783031564888
- Collation
- XII, 457
- Series Title
- -
- Call Number
- -
Building the Foundation : Whole Numbers in the Primary Grades (The 23rd ICMI …
mathematics teaching and learning in the primary school; whole number arithmetic; 23rd ICMI Study; international perspectives on primary math education; social-cultural diversity of early mathematics teaching; institutional constraints of early mathematics; whole number thinking, learning and development
- Edition
- -
- ISBN/ISSN
- 9783319635545
- Collation
- -
- Series Title
- New ICMI Study Series
- Call Number
- 510 BUI
Foundations of Software Science and Computation Structures: 23rd Internationa…
This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-45231-5
- Collation
- XV, 644
- Series Title
- -
- Call Number
- -
Foundations of Software Science and Computation Structures: 22nd Internationa…
This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected fro…
- Edition
- 1
- ISBN/ISSN
- 9783030171278
- Collation
- XV, 542
- Series Title
- -
- Call Number
- -
Foundations of Software Science and Computation Structures: 24th Internationa…
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format du…
- Edition
- 1
- ISBN/ISSN
- 9783030719951
- Collation
- XV, 574
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography