- Table View
- List View
Mathematics and Modern Art
by Claude BruterThe link between mathematics and art remains as strong today as it was in the earliest instances of decorative and ritual art. Arts, architecture, music and painting have for a long time been sources of new developments in mathematics, and vice versa. Many great painters have seen no contradiction between artistic and mathematical endeavors, contributing to the progress of both, using mathematical principles to guide their visual creativity, enriching their visual environment with the new objects created by the mathematical science. Owing to the recent development of the so nice techniques for visualization, while mathematicians can better explore these new mathematical objects, artists can use them to emphasize their intrinsic beauty, and create quite new sceneries. This volume, the content of the first conference of the European Society for Mathematics and the Arts (ESMA), held in Paris in 2010, gives an overview on some significant and beautiful recent works where maths and art, including architecture and music, are interwoven. The book includes a wealth of mathematical illustrations from several basic mathematical fields including classical geometry, topology, differential geometry, dynamical systems. Here, artists and mathematicians alike elucidate the thought processes and the tools used to create their work
Mathematics and R Programming for Machine Learning: From the Ground Up
by William B. ClasterBased on the author’s experience in teaching data science for more than 10 years, Mathematics and Programming for Machine Learning with R: From the Ground Up reveals how machine learning algorithms do their magic and explains how these algorithms can be implemented in code. It is designed to provide readers with an understanding of the reasoning behind machine learning algorithms as well as how to program them. Written for novice programmers, the book progresses step-by-step, providing the coding skills needed to implement machine learning algorithms in R. The book begins with simple implementations and fundamental concepts of logic, sets, and probability before moving to the coverage of powerful deep learning algorithms. The first eight chapters deal with probability-based machine learning algorithms, and the last eight chapters deal with machine learning based on artificial neural networks. The first half of the book does not require mathematical sophistication, although familiarity with probability and statistics would be helpful. The second half assumes the reader is familiar with at least one semester of calculus. The text guides novice R programmers through algorithms and their application and along the way; the reader gains programming confidence in tackling advanced R programming challenges. Highlights of the book include: More than 400 exercises A strong emphasis on improving programming skills and guiding beginners to the implementation of full-fledged algorithms Coverage of fundamental computer and mathematical concepts including logic, sets, and probability In-depth explanations of machine learning algorithms
Mathematics and Technology
by Gilles Aldon Fernando Hitt Luciana Bazzini Uwe GellertThis volume collects most recent work on the role of technology in mathematics education. It offers fresh insight and understanding of the many ways in which technological resources can improve the teaching and learning of mathematics. The first section of the volume focuses on the question how a proposed mathematical task in a technological environment can influence the acquisition of knowledge and what elements are important to retain in the design of mathematical tasks in computing environments. The use of white smart boards, platforms as Moodle, tablets and smartphones have transformed the way we communicate both inside and outside the mathematics classroom. Therefore the second section discussed how to make efficient use of these resources in the classroom and beyond. The third section addresses how technology modifies the way information is transmitted and how mathematical education has to take into account the new ways of learning through connected networks as well as new ways of teaching. The last section is on the training of teachers in the digital era. The editors of this volume have selected papers from the proceedings of the 65th, 66th and 67th CIEAEM conference, and invited the correspondent authors to contribute to this volume by discussing one of the four important topics. The book continues a series of sourcebooks edited by CIEAEM, the Commission Internationale pour l'#65533;tude et l'Am#65533;lioration de l'Enseignement des Math#65533;matiques / International Commission for the Study and Improvement of Mathematics Education.
Mathematics Education and Technology-Rethinking the Terrain
by Celia Hoyles Jean-Baptiste LagrangeMathematics Education and Technology-Rethinking the Terrain revisits the important 1985 ICMI Study on the influence of computers and informatics on mathematics and its teaching. The focus of this book, resulting from the seventeenth Study led by ICMI, is the use of digital technologies in mathematics teaching and learning in countries across the world. Specifically, it focuses on cultural diversity and how this diversity impinges on the use of digital technologies in mathematics teaching and learning. Within this focus, themes such as mathematics and mathematical practices; learning and assessing mathematics with and through digital technologies; teachers and teaching; design of learning environments and curricula; implementation of curricula and classroom practice; access, equity and socio-cultural issues; and connectivity and virtual networks for learning, serve to organize the study and bring it coherence. Providing a state-of-the-art view of the domain with regards to research, innovating practices and technological development, Mathematics Education and Technology-Rethinking the Terrain is of interest to researchers and all those interested in the role that digital technology plays in mathematics education.
Mathematics Education for a New Era: Video Games as a Medium for Learning
by Keith DevlinStanford mathematician and NPR Math Guy Keith Devlin explains why, fun aside, video games are the ideal medium to teach middle-school math. Aimed primarily at teachers and education researchers, but also of interest to game developers who want to produce videogames for mathematics education, Mathematics Education for a New Era: Video Games as a Med
Mathematics Education in Brazil: Panorama of Current Research
by Alessandro Jacques Ribeiro Lulu Healy Rute Elizabete Borba Solange Hassan FernandesThis book presents, for the first time in English, the state of the art of Mathematics Education research in Brazil, a country that has the strongest community in this field in Latin America. Edited by leading researchers in the area, the volume provides the international academic community a summary of the scientific production of the thirteen working groups of the Brazilian Society of Mathematics Education (SBEM), the national scientific society that brings together researchers, teachers, students and other professionals of the area. These working groups meet every three years at the International Seminar of Mathematics Education (SIPEM) and cover the following topics: Mathematics Education in the Early Years and Primary Education (Y1-Y5); Mathematics Education in the Middle School (Y6-Y9); Mathematics Education in the High School (Y10-Y12); Mathematics Education at the University level; History of Mathematics, Culture and Mathematics Education; Digital Technologies and Distance Education; Teacher Education; Assessment and Mathematics Education; Cognitive and Linguistic Processes in Mathematics Education; Mathematical Modeling; Philosophy of Mathematics Education, Teaching Probability and Statistics; and Difference, Inclusion and Mathematics Education. Each chapter of the book presents an overview of the production of a working group and they are all preceded by an introduction by professor Ubiratan D’Ambrosio, one of the pioneers of Mathematics Education in Brazil.
Mathematics Education in the Age of Artificial Intelligence: How Artificial Intelligence can Serve Mathematical Human Learning (Mathematics Education in the Digital Era #17)
by Philippe R. Richard M. Pilar Vélez Steven Van VaerenberghThis book highlights the contribution of artificial intelligence for mathematics education. It provides concrete ideas supported by mathematical work obtained through dynamic international collaboration, and discusses the flourishing of new mathematics in the contemporary world from a sustainable development perspective. Over the past thirty years, artificial intelligence has gradually infiltrated all facets of society. When it is deployed in interaction with the human designer or user, AI certainly raises new ethical questions. But as soon as it aims to augment intelligence in a kind of human-machine partnership, it goes to the heart of knowledge development and the very performance of work. The proposed themes and the sections of the book address original issues relating to the creation of AI milieus to work on mathematics, to the AI-supported learning of mathematics and to the coordination of « usual » paper/pencil techniques and « new » AI-aided educational working spaces. The authors of the book and the coordinators of each section are all established specialists in mathematics didactics, mathematics and computer science. In summary, this book is a must-read for everyone interested in the teaching and learning of mathematics, and it concerns the interaction between the human and the machine in both directions. It contains ideas, questions and inspiration that invite to take up the challenge of Artificial Intelligence contributing to Mathematical Human Learning.
Mathematics for Computer Graphics
by John VinceJohn Vince explains a wide range of mathematical techniques and problem-solving strategies associated with computer games, computer animation, virtual reality, CAD and other areas of computer graphics in this updated and expanded fourth edition. The first four chapters revise number sets, algebra, trigonometry and coordinate systems, which are employed in the following chapters on vectors, transforms, interpolation, 3D curves and patches, analytic geometry and barycentric coordinates. Following this, the reader is introduced to the relatively new topic of geometric algebra, and the last two chapters provide an introduction to differential and integral calculus, with an emphasis on geometry. Mathematics for Computer Graphics covers all of the key areas of the subject, including: Number sets Algebra Trigonometry Coordinate systems Transforms Quaternions Interpolation Curves and surfaces Analytic geometry Barycentric coordinates Geometric algebra Differential calculus Integral calculus This fourth edition contains over 120 worked examples and over 270 illustrations, which are central to the author's descriptive writing style. Mathematics for Computer Graphics provides a sound understanding of the mathematics required for computer graphics, giving a fascinating insight into the design of computer graphics software and setting the scene for further reading of more advanced books and technical research papers.
Mathematics for Computer Graphics
by John VinceJohn Vince explains a wide range of mathematical techniques and problem-solving strategies associated with computer games, computer animation, virtual reality, CAD and other areas of computer graphics in this completely revised and expanded fifth edition. The first five chapters cover a general introduction, number sets, algebra, trigonometry and coordinate systems, which are employed in the following chapters on vectors, matrix algebra, transforms, interpolation, curves and patches, analytic geometry and barycentric coordinates. Following this, the reader is introduced to the relatively new topic of geometric algebra, followed by two chapters that introduce differential and integral calculus. Finally, there is a chapter on worked examples. Mathematics for Computer Graphics covers all of the key areas of the subject, including: #65533; Number sets #65533; Algebra #65533; Trigonometry #65533; Coordinate systems #65533; Determinants#65533; Vectors #65533; Quaternions #65533; Matrix algebra #65533; Geometric transforms #65533; Interpolation #65533; Curves and surfaces #65533; Analytic geometry #65533; Barycentric coordinates #65533; Geometric algebra #65533; Differential calculus #65533; Integral calculus This fifth edition contains over 120 worked examples and over 320 colour illustrations, which are central to the author's descriptive writing style. Mathematics for Computer Graphics provides a sound understanding of the mathematics required for computer graphics, giving a fascinating insight into the design of computer graphics software and setting the scene for further reading of more advanced books and technical research papers.
Mathematics for Computer Graphics
by John A. VinceJohn Vince explains a wide range of mathematical techniques and problem-solving strategies associated with computer games, computer animation, virtual reality, CAD, and other areas of computer graphics. Covering all the mathematical techniques required to resolve geometric problems and design computer programs for computer graphic applications, each chapter explores a specific mathematical topic prior to moving forward into the more advanced areas of matrix transforms, 3D curves and surface patches. Problem-solving techniques using vector analysis and geometric algebra are also discussed. All the key areas are covered including: Numbers, Algebra, Trigonometry, Coordinate geometry, Transforms, Vectors, Curves and surfaces, Barycentric coordinates, Analytic geometry. Plus - and unusually in a student textbook - a chapter on geometric algebra is included.
Mathematics for Computer Scientists: A Practice-Oriented Approach
by Peter HartmannThis textbook contains the mathematics needed to study computer science in application-oriented computer science courses. The content is based on the author's many years of teaching experience.The translation of the original German 7th edition Mathematik für Informatiker by Peter Hartmann was done with the help of artificial intelligence. A subsequent human revision was done primarily in terms of content.Textbook FeaturesYou will always find applications to computer science in this book.Not only will you learn mathematical methods, you will gain insights into the ways of mathematical thinking to form a foundation for understanding computer science.Proofs are given when they help you learn something, not for the sake of proving.Mathematics is initially a necessary evil for many students. The author explains in each lesson how students can apply what they have learned by giving many real world examples, and by constantly cross-referencing math and computer science. Students will see how math is not only useful, but can be interesting and sometimes fun.The ContentSets, logic, number theory, algebraic structures, cryptography, vector spaces, matrices, linear equations and mappings, eigenvalues, graph theory.Sequences and series, continuous functions, differential and integral calculus, differential equations, numerics.Probability theory and statistics.The Target AudiencesStudents in all computer science-related coursework, and independent learners.
Mathematics for Digital Science, Volume 1: Fundamentals (ISTE Consignment)
by Gerard-Michel Cochard Mhand HifiOver the past century, advancements in computer science have consistently resulted from extensive mathematical work. Even today, innovations in the digital domain continue to be grounded in a strong mathematical foundation. To succeed in this profession, both today's students and tomorrow’s computer engineers need a solid mathematical background. The goal of this book series is to offer a solid foundation of the knowledge essential to working in the digital sector. Across three volumes, it explores fundamental principles, digital information, data analysis, and optimization. Whether the reader is pursuing initial training or looking to deepen their expertise, the Mathematics for Digital Science series revisits familiar concepts, helping them refresh and expand their knowledge while also introducing equally essential, newer topics.
Mathematics for Economists with Applications
by James BerginMathematics for Economists with Applications provides detailed coverage of the mathematical techniques essential for undergraduate and introductory graduate work in economics, business and finance. Beginning with linear algebra and matrix theory, the book develops the techniques of univariate and multivariate calculus used in economics, proceeding to discuss the theory of optimization in detail. Integration, differential and difference equations are considered in subsequent chapters. Uniquely, the book also features a discussion of statistics and probability, including a study of the key distributions and their role in hypothesis testing. Throughout the text, large numbers of new and insightful examples and an extensive use of graphs explain and motivate the material. Each chapter develops from an elementary level and builds to more advanced topics, providing logical progression for the student, and enabling instructors to prescribe material to the required level of the course. With coverage substantial in depth as well as breadth, and including a companion website at www.routledge.com/cw/bergin, containing exercises related to the worked examples from each chapter of the book, Mathematics for Economists with Applications contains everything needed to understand and apply the mathematical methods and practices fundamental to the study of economics.
Mathematics for Engineers
by Georges Fiche Gerard HebuterneThis book offers comprehensive coverage of all the mathematical tools needed by engineers in the field of processing and transport of all forms of information, data and images - as well as many other engineering disciplines. It provides essential theories, equations and results in probability theory and statistics, which constitute the basis for the presentation of signal processing,information theory, traffic and queueing theory, and reliability. The mathematical foundations of simulation are also covered. The book's accessible style will enable students, engineers and researches new to this area to advance their knowledge of communication and other engineering technologies; however, it will also serve as a useful reference guide to anyone wishing to further explore this field.
Mathematics for Game Programming and Computer Graphics: Explore the essential mathematics for creating, rendering, and manipulating 3D virtual environments
by Penny de BylA comprehensive guide to learning fundamental 3D mathematical principles used in games and computer graphics by exampleKey FeaturesGet acquainted with the essential mathematics needed to describe, simulate, and render 3D creationsConstruct and manipulate 3D animated environments using Python, Pygame, and PyOpenGLDevelop vertex and fragment shaders in OpenGL shader language to speed up renderingBook DescriptionMathematics is an essential skill when it comes to graphics and game development, particularly if you want to understand the generation of real-time computer graphics and the manipulation of objects and environments in a detailed way. Python, together with Pygame and PyOpenGL, provides you with the opportunity to explore these features under the hood, revealing how computers generate and manipulate 3D environments.Mathematics for Game Programming and Computer Graphics is an exhaustive guide to getting “back to the basics” of mathematics, using a series of problem-based, practical exercises to explore ideas around drawing graphic lines and shapes, applying vectors and vertices, constructing and rendering meshes, and working with vertex shaders. By leveraging Python, Pygame, and PyOpenGL, you'll be able to create your own mathematics-based engine and API that will be used throughout to build applications.By the end of this graphics focussed book, you'll have gained a thorough understanding of how essential mathematics is for creating, rendering, and manipulating 3D virtual environments and know the secrets behind today's top graphics and game engines.What you will learnGet up and running with Python, Pycharm, Pygame, and PyOpenGLExperiment with different graphics API drawing commandsReview basic trigonometry and how it's important in 3D environmentsApply vectors and matrices to move, orient, and scale 3D objectsRender 3D objects with textures, colors, shading, and lightingWork with vertex shaders for faster GPU-based renderingWho this book is forThis book is for programmers who want to enhance their 3D mathematics skills relating to computer graphics and computer games. Knowledge of high school–level mathematics and a working understanding in an object-orientated language is needed to grasp the contents present in this book.
Mathematics for Informatics and Computer Science
by Pierre AudibertHow many ways do exist to mix different ingredients, how many chances to win a gambling game, how many possible paths going from one place to another in a network ? To this kind of questions Mathematics applied to computer gives a stimulating and exhaustive answer. This text, presented in three parts (Combinatorics, Probability, Graphs) addresses all those who wish to acquire basic or advanced knowledge in combinatorial theories. It is actually also used as a textbook. Basic and advanced theoretical elements are presented through simple applications like the Sudoku game, search engine algorithm and other easy to grasp applications. Through the progression from simple to complex, the teacher acquires knowledge of the state of the art of combinatorial theory. The non conventional simultaneous presentation of algorithms, programs and theory permits a powerful mixture of theory and practice. All in all, the originality of this approach gives a refreshing view on combinatorial theory.
Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts (Undergraduate Topics in Computer Science)
by Gerard O’ReganThis illuminating textbook provides a concise review of the core concepts in mathematics essential to computer scientists. Emphasis is placed on the practical computing applications enabled by seemingly abstract mathematical ideas, presented within their historical context. The text spans a broad selection of key topics, ranging from the use of finite field theory to correct code and the role of number theory in cryptography, to the value of graph theory when modelling networks and the importance of formal methods for safety critical systems.This fully updated new edition has been expanded with a more comprehensive treatment of algorithms, logic, automata theory, model checking, software reliability and dependability, algebra, sequences and series, and mathematical induction.Topics and features: includes numerous pedagogical features, such as chapter-opening key topics, chapter introductions and summaries, review questions, and a glossary; describes the historical contributions of such prominent figures as Leibniz, Babbage, Boole, and von Neumann; introduces the fundamental mathematical concepts of sets, relations and functions, along with the basics of number theory, algebra, algorithms, and matrices; explores arithmetic and geometric sequences and series, mathematical induction and recursion, graph theory, computability and decidability, and automata theory; reviews the core issues of coding theory, language theory, software engineering, and software reliability, as well as formal methods and model checking; covers key topics on logic, from ancient Greek contributions to modern applications in AI, and discusses the nature of mathematical proof and theorem proving; presents a short introduction to probability and statistics, complex numbers and quaternions, and calculus.This engaging and easy-to-understand book will appeal to students of computer science wishing for an overview of the mathematics used in computing, and to mathematicians curious about how their subject is applied in the field of computer science. The book will also capture the interest of the motivated general reader.
Mathematics in Computing
by Gerard O’reganThis clearly written and enlightening textbook provides a concise, introductory guide to the key mathematical concepts and techniques used by computer scientists. Topics and features: ideal for self-study, offering many pedagogical features such as chapter-opening key topics, chapter introductions and summaries, review questions, and a glossary; places our current state of knowledge within the context of the contributions made by early civilizations, such as the ancient Babylonians, Egyptians and Greeks; examines the building blocks of mathematics, including sets, relations and functions; presents an introduction to logic, formal methods and software engineering; explains the fundamentals of number theory, and its application in cryptography; describes the basics of coding theory, language theory, and graph theory; discusses the concept of computability and decideability; includes concise coverage of calculus, probability and statistics, matrices, complex numbers and quaternions.
Mathematics in Cyber Research
by Paul L. GoethalsIn the last decade, both scholars and practitioners have sought novel ways to address the problem of cybersecurity. Innovative outcomes have included applications such as blockchain as well as creative methods for cyber forensics, software development, and intrusion prevention. Accompanying these technological advancements, discussion on cyber matters at national and international levels has focused primarily on the topics of law, policy, and strategy. The objective of these efforts is typically to promote security by establishing agreements among stakeholders on regulatory activities. Varying levels of investment in cyberspace, however, comes with varying levels of risk; in some ways, this can translate directly to the degree of emphasis for pushing substantial change. At the very foundation or root of cyberspace systems and processes are tenets and rules governed by principles in mathematics. Topics such as encrypting or decrypting file transmissions, modeling networks, performing data analysis, quantifying uncertainty, measuring risk, and weighing decisions or adversarial courses of action represent a very small subset of activities highlighted by mathematics. To facilitate education and a greater awareness of the role of mathematics in cyber systems and processes, a description of research in this area is needed. Mathematics in Cyber Research aims to familiarize educators and young researchers with the breadth of mathematics in cyber-related research. Each chapter introduces a mathematical sub-field, describes relevant work in this field associated with the cyber domain, provides methods and tools, as well as details cyber research examples or case studies. Features One of the only books to bring together such a diverse and comprehensive range of topics within mathematics and apply them to cyber research. Suitable for college undergraduate students or educators that are either interested in learning about cyber-related mathematics or intend to perform research within the cyber domain. The book may also appeal to practitioners within the commercial or government industry sectors. Most national and international venues for collaboration and discussion on cyber matters have focused primarily on the topics of law, policy, strategy, and technology. This book is among the first to address the underpinning mathematics.
Mathematics in Programming
by Xinyu LiuThe book presents the mathematical view and tools of computer programming with broad and friendly context. It explains the basic concepts such as recursion, computation model, types, data, and etc. The book serves as an introductory and reference guide to the engineers, students, researchers, and professionals who are interested in functional programming, type system, and computer programming languages. The book covers seven topics. Firstly, it lays out the number system based on Peano Axioms and demonstrates the isomorphic computer data structures. Then, it introduces Lambda calculus as a computing model and recursion, an important programming structure, with the Y-combinator. It next presents the basic abstract algebra, including group and fields, and provides a friendly introduction to Galois theory. After that, it uses category theory as a tool to explain several concepts in computer programming, including the type system, polymorphism, null handler, and recursive data types, then followed by an application of program optimization. In the last two chapters, the author shows how to program with the concept of infinity through stream and lazy evaluation, and then explains the naïve set theory and transfinite numbers, from which the logic paradox arises. Finally, it introduces four historical views of mathematical foundation, as well as Gödel’s incompleteness theorems developed in 1930s, and how they define the boundaries of computer programming. Additionally, the book provides biographies, stories, and anecdotes of 25 mathematicians, along with over 130 exercises and their corresponding answers.
Mathematics of Bioinformatics
by Sergey Petoukhov Matthew HeMathematics of Bioinformatics: Theory, Methods, and Applications provides a comprehensive format for connecting and integrating information derived from mathematical methods and applying it to the understanding of biological sequences, structures, and networks. Each chapter is divided into a number of sections based on the bioinformatics topics and related mathematical theory and methods. Each topic of the section is comprised of the following three parts: an introduction to the biological problems in bioinformatics; a presentation of relevant topics of mathematical theory and methods to the bioinformatics problems introduced in the first part; an integrative overview that draws the connections and interfaces between bioinformatics problems/issues and mathematical theory/methods/applications.
The Mathematics of Chip-Firing (Discrete Mathematics and Its Applications)
by Caroline J. KlivansThe Mathematics of Chip-firing is a solid introduction and overview of the growing field of chip-firing. It offers an appreciation for the richness and diversity of the subject. Chip-firing refers to a discrete dynamical system — a commodity is exchanged between sites of a network according to very simple local rules. Although governed by local rules, the long-term global behavior of the system reveals fascinating properties. The Fundamental properties of chip-firing are covered from a variety of perspectives. This gives the reader both a broad context of the field and concrete entry points from different backgrounds. Broken into two sections, the first examines the fundamentals of chip-firing, while the second half presents more general frameworks for chip-firing. Instructors and students will discover that this book provides a comprehensive background to approaching original sources. Features: Provides a broad introduction for researchers interested in the subject of chip-firing The text includes historical and current perspectives Exercises included at the end of each chapter About the Author: Caroline J. Klivans received a BA degree in mathematics from Cornell University and a PhD in applied mathematics from MIT. Currently, she is an Associate Professor in the Division of Applied Mathematics at Brown University. She is also an Associate Director of ICERM (Institute for Computational and Experimental Research in Mathematics). Before coming to Brown she held positions at MSRI, Cornell and the University of Chicago. Her research is in algebraic, geometric and topological combinatorics.
Mathematics of Complexity and Dynamical Systems
by Robert A. MeyersMathematics of Complexity and Dynamical Systems is an authoritative reference to the basic tools and concepts of complexity, systems theory, and dynamical systems from the perspective of pure and applied mathematics. Complex systems are systems that comprise many interacting parts with the ability to generate a new quality of collective behavior through self-organization, e.g. the spontaneous formation of temporal, spatial or functional structures. These systems are often characterized by extreme sensitivity to initial conditions as well as emergent behavior that are not readily predictable or even completely deterministic. The more than 100 entries in this wide-ranging, single source work provide a comprehensive explication of the theory and applications of mathematical complexity, covering ergodic theory, fractals and multifractals, dynamical systems, perturbation theory, solitons, systems and control theory, and related topics. Mathematics of Complexity and Dynamical Systems is an essential reference for all those interested in mathematical complexity, from undergraduate and graduate students up through professional researchers.
Mathematics of Computer Science, Cybersecurity and Artificial Intelligence: 5th Scientific Days of Doctoral School of Mathematics and Computer Sciences (S2DSMCS), Dakar, Senegal, December 20–22, 2023 (Springer Proceedings in Mathematics & Statistics #468)
by Cheikh Thiecoumba Gueye Papa Ngom Idy DiopThis proceedings book gathers selected, peer-reviewed papers presented at the Fifth Scientific Days of the Doctoral School of Mathematics and Computer Sciences - S2DSMCS, held from December 20–22, 2023, at Cheikh Anta Diop University in Dakar, Senegal. The cutting-edge works cover timely topics in cryptography, cybersecurity, and artificial intelligence, with applications extending to fields such as telecommunications and smart networks. This collection showcases research activities developed by a new generation of mathematicians and computer scientists from Africa, Europe, Asia, and America. By fostering cooperation among both young and experienced researchers, the S2DSMSC conference aligns with other conferences in the region, such as Africacrypt - the International Conference on Cryptology in Africa, the Non-commutative Algebra and Operator Theory (NANCAOT) international workshops, and the International Conference in Algebra, Codes, and Cryptology (A2C), all with proceedings published by Springer.
Mathematics of Discrete Structures for Computer Science
by Gordon J. PaceMathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital circuit, a computer program or a new programming language, you need mathematics to be able to reason about the design -- its correctness, robustness and dependability. This book covers the foundational mathematics necessary for courses in computer science. The common approach to presenting mathematical concepts and operators is to define them in terms of properties they satisfy, and then based on these definitions develop ways of computing the result of applying the operators and prove them correct. This book is mainly written for computer science students, so here the author takes a different approach: he starts by defining ways of calculating the results of applying the operators and then proves that they satisfy various properties. After justifying his underlying approach the author offers detailed chapters covering propositional logic, predicate calculus, sets, relations, discrete structures, structured types, numbers, and reasoning about programs. The book contains chapter and section summaries, detailed proofs and many end-of-section exercises -- key to the learning process. The book is suitable for undergraduate and graduate students, and although the treatment focuses on areas with frequent applications in computer science, the book is also suitable for students of mathematics and engineering.