Mathematics for Computer Science

Mathematics for Computer Science
Author: Eric Lehman
Publisher:
Total Pages: 988
Release: 2017-03-08
Genre: Business & Economics
ISBN: 9789888407064

This book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods. Topics include formal logic notation, proof methods; induction, well-ordering; sets, relations; elementary graph theory; integer congruences; asymptotic notation and growth of functions; permutations and combinations, counting principles; discrete probability. Further selected topics may also be covered, such as recursive definition and structural induction; state machines and invariants; recurrences; generating functions.

Intelligent Computer Mathematics

Intelligent Computer Mathematics
Author: Fairouz Kamareddine
Publisher:
Total Pages: 0
Release: 2021
Genre:
ISBN: 9783030810986

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*. The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics. * The conference was held virtually due to the COVID-19 pandemic.

Modelling Computing Systems

Modelling Computing Systems
Author: Faron Moller
Publisher:
Total Pages: 500
Release: 2013
Genre:
ISBN:

This title explores concepts of games and strategies to provide a paradigm for understanding the nature of computation and provides an elementary introduction to the mathematics and modelling of computing systems through exercises and examples, giving readers the opportunities to test their understanding and broaden their knowledge.

Learning from Computers: Mathematics Education and Technology

Learning from Computers: Mathematics Education and Technology
Author: Christine Keitel-Kreidt
Publisher: Springer Science & Business Media
Total Pages: 351
Release: 2012-12-06
Genre: Education
ISBN: 3642785425

The NATO Advanced Research Workshop on Mathematics Education and Technology was held in Villard-de-Lans, France, between May 6 and 11, 1993. Organised on the initiative of the BaCoMET (Basic Components of Mathematics Education for Teachers) group (Christiansen, Howson and Otte 1986; Bishop, Mellin-Olsen and van Dormolen 1991), the workshop formed part of a larger NATO programme on Advanced Educational Technology. Some workshop members had already participated in earlier events in this series and were able to contribute insights from them: similarly some members were to take part in later events. The problematic for the workshop drew attention to important speculative developments in the applications of advanced information technology in mathematics education over the last decade, notably intelligent tutoring, geometric construction, symbolic algebra and statistical analysis. Over the same period, more elementary forms of information technology had started to have a significant influence on teaching approaches and curriculum content: notably arithmetic and graphic calculators; standard computer tools, such as spreadsheets and databases; and computer-assisted learning packages and computer microworlds specially designed for educational purposes.

Exploiting Mental Imagery with Computers in Mathematics Education

Exploiting Mental Imagery with Computers in Mathematics Education
Author: Rosamund Sutherland
Publisher: Springer Science & Business Media
Total Pages: 337
Release: 2012-12-06
Genre: Computers
ISBN: 3642577717

The advent of fast and sophisticated computer graphics has brought dynamic and interactive images under the control of professional mathematicians and mathematics teachers. This volume in the NATO Special Programme on Advanced Educational Technology takes a comprehensive and critical look at how the computer can support the use of visual images in mathematical problem solving. The contributions are written by researchers and teachers from a variety of disciplines including computer science, mathematics, mathematics education, psychology, and design. Some focus on the use of external visual images and others on the development of individual mental imagery. The book is the first collected volume in a research area that is developing rapidly, and the authors pose some challenging new questions.

The Definitive Guide to How Computers Do Math

The Definitive Guide to How Computers Do Math
Author: Clive Maxfield
Publisher: John Wiley & Sons
Total Pages: 455
Release: 2005-09-27
Genre: Computers
ISBN: 9780471732785

The Basics of Computer Arithmetic Made Enjoyable and Accessible-with a Special Program Included for Hands-on LearningPacked with nuggets of information and tidbits of trivia, How Computers Do Math provides an incredibly fun and interesting introduction to the way in which computers perform their magic in general and math in particular.

Didactics of Mathematics as a Scientific Discipline

Didactics of Mathematics as a Scientific Discipline
Author: Rolf Biehler
Publisher: Springer Science & Business Media
Total Pages: 459
Release: 1993-11-30
Genre: Education
ISBN: 079232613X

Didactics of Mathematics as a Scientific Discipline describes the state of the art in a new branch of science. Starting from a general perspective on the didactics of mathematics, the 30 original contributions to the book, drawn from 10 different countries, go on to identify certain subdisciplines and suggest an overall structure or `topology' of the field. The book is divided into eight sections: (1) Preparing Mathematics for Students; (2) Teacher Education and Research on Teaching; (3) Interaction in the Classroom; (4) Technology and Mathematics Education; (5) Psychology of Mathematical Thinking; (6) Differential Didactics; (7) History and Epistemology of Mathematics and Mathematics Education; (8) Cultural Framing of Teaching and Learning Mathematics. Didactics of Mathematics as a Scientific Discipline is required reading for all researchers into the didactics of mathematics, and contains surveys and a variety of stimulating reflections which make it extremely useful for mathematics educators and teacher trainers interested in the theory of their practice. Future and practising teachers of mathematics will find much to interest them in relation to their daily work, especially as it relates to the teaching of different age groups and ability ranges. The book is also recommended to researchers in neighbouring disciplines, such as mathematics itself, general education, educational psychology and cognitive science.

Reflections on the History of Computers in Education

Reflections on the History of Computers in Education
Author: Arthur Tatnall
Publisher: Springer
Total Pages: 432
Release: 2014-05-05
Genre: Education
ISBN: 364255119X

This book is a collection of refereed invited papers on the history of computing in education from the 1970s to the mid-1990s presenting a social history of the introduction and early use of computers in schools. The 30 papers deal with the introduction of computer in schools in many countries around the world: Norway, South Africa, UK, Canada, Australia, USA, Finland, Chile, The Netherlands, New Zealand, Spain, Ireland, Israel and Poland. The authors are not professional historians but rather people who as teachers, students or researchers were involved in this history and they narrate their experiences from a personal perspective offering fascinating stories.