0
Your cart

Your cart is empty

Browse All Departments
Price
  • R100 - R250 (79)
  • R250 - R500 (385)
  • R500+ (1,569)
  • -
Status
Format
Author / Contributor
Publisher

Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic

Sequents and Trees - An Introduction to the Theory and Applications of Propositional Sequent Calculi (Hardcover, 1st ed. 2021):... Sequents and Trees - An Introduction to the Theory and Applications of Propositional Sequent Calculi (Hardcover, 1st ed. 2021)
Andrzej Indrzejczak
R1,538 R988 Discovery Miles 9 880 Save R550 (36%) Ships in 9 - 17 working days

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a wide range of metatheoretical results. The presentation is elementary and self-contained, with all technical details both formally stated and also informally explained. Numerous proofs are worked through to demonstrate methods of proving important results, such as the cut-elimination theorem, completeness, decidability, and interpolation. Other proofs are presented with portions left as exercises for readers, allowing them to practice techniques of sequent calculus. After a brief introduction to classical propositional logic, the text explores three variants of sequent calculus and their features and applications. The remaining chapters then show how sequent calculi can be extended, modified, and applied to non-classical logics, including modal, intuitionistic, substructural, and many-valued logics. Sequents and Trees is suitable for graduate and advanced undergraduate students in logic taking courses on proof theory and its application to non-classical logics. It will also be of interest to researchers in computer science and philosophers.

Conceptual Mathematics - A First Introduction to Categories (Paperback, 2nd Revised edition): F. William Lawvere, Stephen H.... Conceptual Mathematics - A First Introduction to Categories (Paperback, 2nd Revised edition)
F. William Lawvere, Stephen H. Schanuel
R1,501 Discovery Miles 15 010 Ships in 10 - 15 working days

In the last 60 years, the use of the notion of category has led to a remarkable unification and simplification of mathematics. Conceptual Mathematics introduces this tool for the learning, development, and use of mathematics, to beginning students and also to practising mathematical scientists. This book provides a skeleton key that makes explicit some concepts and procedures that are common to all branches of pure and applied mathematics. The treatment does not presuppose knowledge of specific fields, but rather develops, from basic definitions, such elementary categories as discrete dynamical systems and directed graphs; the fundamental ideas are then illuminated by examples in these categories. This second edition provides links with more advanced topics of possible study. In the new appendices and annotated bibliography the reader will find concise introductions to adjoint functors and geometrical structures, as well as sketches of relevant historical developments.

Temporal Logic: Volume 1 (Hardcover, illustrated edition): Dov M. Gabbay, Ian Hodkinson, Mark Reynolds Temporal Logic: Volume 1 (Hardcover, illustrated edition)
Dov M. Gabbay, Ian Hodkinson, Mark Reynolds
R10,083 Discovery Miles 100 830 Ships in 10 - 15 working days

This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science. The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal logic to covering the central topics of predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. Much of the research presented here is frontline in the new results and in the unifying methodology. This is an indispensable reference work for both the pure logician and the theoretical computer scientist.

Structures Meres: Semantics, Mathematics, and Cognitive Science (Hardcover, 1st ed. 2020): Alberto Peruzzi, Silvano Zipoli... Structures Meres: Semantics, Mathematics, and Cognitive Science (Hardcover, 1st ed. 2020)
Alberto Peruzzi, Silvano Zipoli Caiani
R1,251 R815 Discovery Miles 8 150 Save R436 (35%) Ships in 9 - 17 working days

This book reports on cutting-edge concepts related to Bourbaki's notion of structures meres. It merges perspectives from logic, philosophy, linguistics and cognitive science, suggesting how they can be combined with Bourbaki's mathematical structuralism in order to solve foundational, ontological and epistemological problems using a novel category-theoretic approach. By offering a comprehensive account of Bourbaki's structuralism and answers to several important questions that have arisen in connection with it, the book provides readers with a unique source of information and inspiration for future research on this topic.

The Beauty of Mathematics in Computer Science (Paperback): Jun Wu The Beauty of Mathematics in Computer Science (Paperback)
Jun Wu
R1,191 Discovery Miles 11 910 Ships in 9 - 17 working days

The Beauty of Mathematics in Computer Science explains the mathematical fundamentals of information technology products and services we use every day, from Google Web Search to GPS Navigation, and from speech recognition to CDMA mobile services. The book was published in Chinese in 2011 and has sold more than 600,000 copies. Readers were surprised to find that many daily-used IT technologies were so tightly tied to mathematical principles. For example, the automatic classification of news articles uses the cosine law taught in high school. The book covers many topics related to computer applications and applied mathematics including: Natural language processing Speech recognition and machine translation Statistical language modeling Quantitive measurement of information Graph theory and web crawler Pagerank for web search Matrix operation and document classification Mathematical background of big data Neural networks and Google's deep learning Jun Wu was a staff research scientist in Google who invented Google's Chinese, Japanese, and Korean Web Search Algorithms and was responsible for many Google machine learning projects. He wrote official blogs introducing Google technologies behind its products in very simple languages for Chinese Internet users from 2006-2010. The blogs had more than 2 million followers. Wu received PhD in computer science from Johns Hopkins University and has been working on speech recognition and natural language processing for more than 20 years. He was one of the earliest engineers of Google, managed many products of the company, and was awarded 19 US patents during his 10-year tenure there. Wu became a full-time VC investor and co-founded Amino Capital in Palo Alto in 2014 and is the author of eight books.

Automated Deduction in Multiple-Valued Logics (Hardcover): Reiner Hahnle Automated Deduction in Multiple-Valued Logics (Hardcover)
Reiner Hahnle
R3,580 Discovery Miles 35 800 Ships in 10 - 15 working days

This book constitutes a self-contained and unified approach to automated reasoning in multiple-valued logics (MVL) developed by the author. Moreover, it contains a virtually complete account of other approaches to automated reasoning in MVL. This is the first overview of this subfield of automated reasoning ever given. Finally, a variety of applications of automated reasoning in MVL including several short case studies are listed. Automated reasoning in non-classical logics is an essential subtask of many AI applications. Applications of MVL in particular include, for instance, hardware and software verification, reasoning with incomplete or inconsistent knowledge, and natural language processing. Therefore, efficient theorem proving methods in MVL are essential. In the historical part of the book it is demonstrated why existing approaches are inadequate. In the original part a simple, but powerful, concept called 'sets-as-signs' is introduced in the context of semantic tableaux, and subsequently is applied to a variety of calculi including resolution and dissolution. It is shown that 'sets-as-signs' yields a many-valued extension of the well-known relationship between classical logic and integer programming. As a consequence, automated reasoning in infinitely-valued logics can be done uniformly and efficiently for the first time.

Structural Proof Theory (Paperback): Sara Negri, Jan von Plato Structural Proof Theory (Paperback)
Sara Negri, Jan von Plato; Appendix by Aarne Ranta
R1,245 Discovery Miles 12 450 Ships in 10 - 15 working days

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.

Alfred Tarski - Life and Logic (Paperback, 2-): Anita Burdman Feferman, Solomon Feferman Alfred Tarski - Life and Logic (Paperback, 2-)
Anita Burdman Feferman, Solomon Feferman
R893 Discovery Miles 8 930 Ships in 10 - 15 working days

Alfred Tarski, one of the greatest logicians of all time, is widely thought of as 'the man who defined truth'. His mathematical work on the concepts of truth and logical consequence are cornerstones of modern logic, influencing developments in philosophy, linguistics and computer science. Tarski was a charismatic teacher and zealous promoter of his view of logic as the foundation of all rational thought, a bon-vivant and a womanizer, who played the 'great man' to the hilt. Born in Warsaw in 1901 to Jewish parents, he changed his name and converted to Catholicism, but was never able to obtain a professorship in his home country. A fortuitous trip to the United States at the outbreak of war saved his life and turned his career around, even while it separated him from his family for years. By the war's end he was established as a professor of mathematics at the University of California, Berkeley. There Tarski built an empire in logic and methodology that attracted students and distinguished researchers from all over the world. From the cafes of Warsaw and Vienna to the mountains and deserts of California, this first full length biography places Tarski in the social, intellectual and historical context of his times and presents a frank, vivid picture of a personally and professionally passionate man, interlaced with an account of his major scientific achievements.

Making Up Your Own Mind - Thinking Effectively through Creative Puzzle-Solving (Hardcover): Edward B. Burger Making Up Your Own Mind - Thinking Effectively through Creative Puzzle-Solving (Hardcover)
Edward B. Burger
R623 Discovery Miles 6 230 Ships in 18 - 22 working days

How you can become better at solving real-world problems by learning creative puzzle-solving skills We solve countless problems-big and small-every day. With so much practice, why do we often have trouble making simple decisions-much less arriving at optimal solutions to important questions? Are we doomed to this muddle-or is there a practical way to learn to think more effectively and creatively? In this enlightening, entertaining, and inspiring book, Edward Burger shows how we can become far better at solving real-world problems by learning creative puzzle-solving skills using simple, effective thinking techniques. Making Up Your Own Mind teaches these techniques-including how to ask good questions, fail and try again, and change your mind-and then helps you practice them with fun verbal and visual puzzles. The goal is not to quickly solve each challenge but to come up with as many different ways of thinking about it as possible. As you see the puzzles in ever-greater depth, your mind will change, helping you become a more imaginative and creative thinker in daily life. And learning how to be a better thinker pays off in incalculable ways for anyone-including students, businesspeople, professionals, athletes, artists, leaders, and lifelong learners. A book about changing your mind and creating an even better version of yourself through mental play, Making Up Your Own Mind will delight and reward anyone who wants to learn how to find better solutions to life's innumerable puzzles. And the puzzles extend to the thought-provoking format of the book itself because one of the later short chapters is printed upside down while another is printed in mirror image, further challenging the reader to see the world through different perspectives and make new meaning.

Mathematical Logic (Paperback, 3rd ed. 2021): Heinz-Dieter Ebbinghaus, Joerg Flum, Wolfgang Thomas Mathematical Logic (Paperback, 3rd ed. 2021)
Heinz-Dieter Ebbinghaus, Joerg Flum, Wolfgang Thomas
R1,300 Discovery Miles 13 000 Ships in 18 - 22 working days

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraisse's characterization of elementary equivalence, Lindstroem's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

Top-Down Causation and Emergence (Paperback, 1st ed. 2021): Jan Voosholz, Markus Gabriel Top-Down Causation and Emergence (Paperback, 1st ed. 2021)
Jan Voosholz, Markus Gabriel
R4,046 Discovery Miles 40 460 Ships in 18 - 22 working days

This book presents the latest research, conducted by leading philosophers and scientists from various fields, on the topic of top-down causation. The chapters combine to form a unique, interdisciplinary perspective, drawing upon George Ellis's extensive research and novel perspectives on topics including downwards causation, weak and strong emergence, mental causation, biological relativity, effective field theory and levels in nature. The collection also serves as a Festschrift in honour of George Ellis' 80th birthday. The extensive and interdisciplinary scope of this book makes it vital reading for anyone interested in the work of George Ellis and current research on the topics of causation and emergence.

On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems (Paperback, New edition): Kurt Godel On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems (Paperback, New edition)
Kurt Godel
R250 Discovery Miles 2 500 Ships in 10 - 15 working days

First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. Introduction by R. B. Braithwaite.

Relative Category Theory and Geometric Morphisms - A Logical Approach (Hardcover): Jonathan Chapman, Frederick Rowbottom Relative Category Theory and Geometric Morphisms - A Logical Approach (Hardcover)
Jonathan Chapman, Frederick Rowbottom
R1,250 Discovery Miles 12 500 Ships in 10 - 15 working days

Topos theory provides an important setting and language for much of mathematical logic and set theory. It is well known that a typed language can be given for a topos to be regarded as a category of sets. This enables a fruitful interplay between category theory and set theory. However, one stumbling block to a logical approach to topos theory has been the treatment of geometric morphisms. This book presents a convenient and natural solution to this problem by developing the notion of a frame relative to an elementary topos. The authors show how this technique enables a logical approach to be taken to topics such as category theory relative to a topos and the relative Giraud theorem. The work is self-contained except that the authors presuppose a familiarity with basic category theory and topos theory. Logicians, set and category theorists, and computer scientist working in the field will find this work essential reading.

Taking Sudoku Seriously - The Math Behind the World's Most Popular Pencil Puzzle (Hardcover): Jason Rosenhouse, Laura... Taking Sudoku Seriously - The Math Behind the World's Most Popular Pencil Puzzle (Hardcover)
Jason Rosenhouse, Laura Taalman
R868 Discovery Miles 8 680 Ships in 10 - 15 working days

Packed with more than a hundred color illustrations and a wide variety of puzzles and brainteasers, Taking Sudoku Seriously uses this popular craze as the starting point for a fun-filled introduction to higher mathematics.
How many Sudoku solution squares are there? What shapes other than three-by-three blocks can serve as acceptable Sudoku regions? What is the fewest number of starting clues a sound Sudoku puzzle can have? Does solving Sudoku require mathematics? Jason Rosenhouse and Laura Taalman show that answering these questions opens the door to a wealth of interesting mathematics. Indeed, they show that Sudoku puzzles and their variants are a gateway into mathematical thinking generally. Among many topics, the authors look at the notion of a Latin square--an object of long-standing interest to mathematicians--of which Sudoku squares are a special case; discuss how one finds interesting Sudoku puzzles; explore the connections between Sudoku, graph theory, and polynomials; and consider Sudoku extremes, including puzzles with the maximal number of vacant regions, with the minimal number of starting clues, and numerous others. The book concludes with a gallery of novel Sudoku variations--just pure solving fun Most of the puzzles are original to this volume, and all solutions to the puzzles appear in the back of the book or in the text itself.
A math book and a puzzle book, Taking Sudoku Seriously will change the way readers look at Sudoku and mathematics, serving both as an introduction to mathematics for puzzle fans and as an exploration of the intricacies of Sudoku for mathematics buffs.

Springer-Handbuch Der Mathematik IV - Begrundet Von I.N. Bronstein Und K.A. Semendjaew Weitergefuhrt Von G. Grosche, V. Ziegler... Springer-Handbuch Der Mathematik IV - Begrundet Von I.N. Bronstein Und K.A. Semendjaew Weitergefuhrt Von G. Grosche, V. Ziegler Und D. Ziegler Herausgegeben Von E. Zeidler (German, Hardcover, 2013 ed.)
Eberhard Zeidler; Contributions by Eberhard Zeidler
R4,828 Discovery Miles 48 280 Ships in 18 - 22 working days

Als mehrbandiges Nachschlagewerk ist das Springer-Handbuch der Mathematik in erster Linie fur wissenschaftliche Bibliotheken, akademische Institutionen und Firmen sowie interessierte Individualkunden in Forschung und Lehregedacht. Es erganzt das einbandige themenumfassende Springer-Taschenbuch der Mathematik (ehemaliger Titel Teubner-Taschenbuch der Mathematik), das sich in seiner begrenzten Stoffauswahl besonders an Studierende richtet.Teil IV des Springer-Handbuchs enthalt die folgenden Zusatzkapitel zum Springer-Taschenbuch: Hohere Analysis, Lineare sowie Nichtlineare Funktionalanalysis und ihre Anwendungen, Dynamische Systeme, Nichtlineare partielle Differentialgleichungen, Mannigfaltigkeiten, Riemannsche Geometrie und allgemeine Relativitatstheorie, Liegruppen, Liealgebren und Elementarteilchen, Topologie, Krummung und Analysis.

Automata Theory with Modern Applications (Paperback): James A. Anderson Automata Theory with Modern Applications (Paperback)
James A. Anderson
R1,396 Discovery Miles 13 960 Ships in 10 - 15 working days

Recent applications to biomolecular science and DNA computing have created a new audience for automata theory and formal languages. This is the only introductory book to cover such applications. It begins with a clear and readily understood exposition of the fundamentals that assumes only a background in discrete mathematics. The first five chapters give a gentle but rigorous coverage of basic ideas as well as topics not found in other texts at this level, including codes, retracts and semiretracts. Chapter 6 introduces combinatorics on words and uses it to describe a visually inspired approach to languages. The final chapter explains recently-developed language theory coming from developments in bioscience and DNA computing. With over 350 exercises (for which solutions are available), many examples and illustrations, this text will make an ideal contemporary introduction for students; others, new to the field, will welcome it for self-learning.

Free Choice Petri Nets (Paperback, Pbk Version): Jorg Desel, Javier Esparza Free Choice Petri Nets (Paperback, Pbk Version)
Jorg Desel, Javier Esparza
R1,218 Discovery Miles 12 180 Ships in 10 - 15 working days

Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also used by industrial practitioners. This book focuses on a particular class of petri nets, free choice petri nets, which play a central role in the theory. The text is very clearly organised, with every notion carefully explained and every result proved. Clear exposition is given for place invariants, siphons, traps and many other important analysis techniques. The material is organised along the lines of a course book, and each chapter contains numerous exercises, making this book ideal for graduate students and research workers alike.

Springer-Handbuch Der Mathematik I - Begrundet Von I.N. Bronstein Und K.A. Semendjaew Weitergefuhrt Von G. Grosche, V. Ziegler... Springer-Handbuch Der Mathematik I - Begrundet Von I.N. Bronstein Und K.A. Semendjaew Weitergefuhrt Von G. Grosche, V. Ziegler Und D. Ziegler Herausgegeben Von E. Zeidler (German, Hardcover, 2013 ed.)
Eberhard Zeidler; Contributions by Eberhard Zeidler
R4,685 Discovery Miles 46 850 Ships in 10 - 15 working days

Als mehrbandiges Nachschlagewerk ist das Springer-Handbuch der Mathematik in erster Linie fur wissenschaftliche Bibliotheken, akademische Institutionen und Firmen sowie interessierte Individualkunden in Forschung und Lehregedacht. Es erganzt das einbandige themenumfassende Springer-Taschenbuch der Mathematik (ehemaliger Titel Teubner-Taschenbuch der Mathematik), das sich in seiner begrenzten Stoffauswahl besonders an Studierende richtet. Teil I des Springer-Handbuchs enthalt neben dem einfuhrenden Kapitel und dem Kapitel 1 des Springer-Taschenbuchs zusatzliches Material zur hoheren komplexen Funktionentheorie und zur allgemeinen Theorie der partiellen Differentialgleichungen.

Nonlinear Dimensionality Reduction (Hardcover, 2007 ed.): John A. Lee, Michel Verleysen Nonlinear Dimensionality Reduction (Hardcover, 2007 ed.)
John A. Lee, Michel Verleysen
R3,286 Discovery Miles 32 860 Ships in 10 - 15 working days

Methods of dimensionality reduction provide a way to understand and visualize the structure of complex data sets. Traditional methods like principal component analysis and classical metric multidimensional scaling suffer from being based on linear models. Until recently, very few methods were able to reduce the data dimensionality in a nonlinear way. However, since the late nineties, many new methods have been developed and nonlinear dimensionality reduction, also called manifold learning, has become a hot topic. New advances that account for this rapid growth are, e.g. the use of graphs to represent the manifold topology, and the use of new metrics like the geodesic distance. In addition, new optimization schemes, based on kernel techniques and spectral decomposition, have lead to spectral embedding, which encompasses many of the

Sequents and Trees - An Introduction to the Theory and Applications of Propositional Sequent Calculi (Paperback, 1st ed. 2021):... Sequents and Trees - An Introduction to the Theory and Applications of Propositional Sequent Calculi (Paperback, 1st ed. 2021)
Andrzej Indrzejczak
R1,426 Discovery Miles 14 260 Ships in 18 - 22 working days

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a wide range of metatheoretical results. The presentation is elementary and self-contained, with all technical details both formally stated and also informally explained. Numerous proofs are worked through to demonstrate methods of proving important results, such as the cut-elimination theorem, completeness, decidability, and interpolation. Other proofs are presented with portions left as exercises for readers, allowing them to practice techniques of sequent calculus. After a brief introduction to classical propositional logic, the text explores three variants of sequent calculus and their features and applications. The remaining chapters then show how sequent calculi can be extended, modified, and applied to non-classical logics, including modal, intuitionistic, substructural, and many-valued logics. Sequents and Trees is suitable for graduate and advanced undergraduate students in logic taking courses on proof theory and its application to non-classical logics. It will also be of interest to researchers in computer science and philosophers.

Algebraic Perspectives on Substructural Logics (Paperback, 1st ed. 2021): Davide Fazio, Antonio Ledda, Francesco Paoli Algebraic Perspectives on Substructural Logics (Paperback, 1st ed. 2021)
Davide Fazio, Antonio Ledda, Francesco Paoli
R2,855 Discovery Miles 28 550 Ships in 18 - 22 working days

This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6). Held at the University of Cagliari, Italy, this event is part of the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics. Substructural logics are usually formulated as Gentzen systems that lack one or more structural rules. They have been intensively studied over the past two decades by logicians of various persuasions. These researchers include mathematicians, philosophers, linguists, and computer scientists. Substructural logics are applicable to the mathematical investigation of such processes as resource-conscious reasoning, approximate reasoning, type-theoretical grammar, and other focal notions in computer science. They also apply to epistemology, economics, and linguistics. The recourse to algebraic methods -- or, better, the fecund interplay of algebra and proof theory -- has proved useful in providing a unifying framework for these investigations. The AsubL series of conferences, in particular, has played an important role in these developments. This collection will appeal to students and researchers with an interest in substructural logics, abstract algebraic logic, residuated lattices, proof theory, universal algebra, and logical semantics.

Logic, Induction and Sets (Paperback): Thomas Forster Logic, Induction and Sets (Paperback)
Thomas Forster
R1,302 Discovery Miles 13 020 Ships in 10 - 15 working days

Philosophical considerations, which are often ignored or treated casually, are given careful consideration in this introduction. Thomas Forster places the notion of inductively defined sets (recursive datatypes) at the center of his exposition resulting in an original analysis of well established topics. The presentation illustrates difficult points and includes many exercises. Little previous knowledge of logic is required and only a knowledge of standard undergraduate mathematics is assumed.

Analysis and Logic (Paperback): C. Ward Henson, Jose Iovino, Alexander S. Kechris, Edward Odell Analysis and Logic (Paperback)
C. Ward Henson, Jose Iovino, Alexander S. Kechris, Edward Odell; Edited by Catherine Finet, …
R1,653 Discovery Miles 16 530 Ships in 18 - 22 working days

This volume presents articles from four outstanding researchers who work at the cusp of analysis and logic. The emphasis is on active research topics; many results are presented that have not been published before and open problems are formulated. Considerable effort has been made by the authors to make their articles accessible to mathematicians new to the area

Category Theory (Paperback, 2nd Revised edition): Steve Awodey Category Theory (Paperback, 2nd Revised edition)
Steve Awodey
R1,916 Discovery Miles 19 160 Ships in 9 - 17 working days

Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer science, logic, linguistics, cognitive science, philosophy, and any of the other fields in which the ideas are being applied. Containing clear definitions of the essential concepts, illuminated with numerous accessible examples, and providing full proofs of all important propositions and theorems, this book aims to make the basic ideas, theorems, and methods of category theory understandable to this broad readership. Although assuming few mathematical pre-requisites, the standard of mathematical rigour is not compromised. The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda's lemma; adjoints; monads. An extra topic of cartesian closed categories and the lambda-calculus is also provided - a must for computer scientists, logicians and linguists! This Second Edition contains numerous revisions to the original text, including expanding the exposition, revising and elaborating the proofs, providing additional diagrams, correcting typographical errors and, finally, adding an entirely new section on monoidal categories. Nearly a hundred new exercises have also been added, many with solutions, to make the book more useful as a course text and for self-study.

DDoS Attacks - Evolution, Detection, Prevention, Reaction, and Tolerance (Hardcover): Dhruba Kumar Bhattacharyya, Jugal Kumar... DDoS Attacks - Evolution, Detection, Prevention, Reaction, and Tolerance (Hardcover)
Dhruba Kumar Bhattacharyya, Jugal Kumar Kalita
R3,086 Discovery Miles 30 860 Ships in 10 - 15 working days

DDoS Attacks: Evolution, Detection, Prevention, Reaction, and Tolerance discusses the evolution of distributed denial-of-service (DDoS) attacks, how to detect a DDoS attack when one is mounted, how to prevent such attacks from taking place, and how to react when a DDoS attack is in progress, with the goal of tolerating the attack. It introduces types and characteristics of DDoS attacks, reasons why such attacks are often successful, what aspects of the network infrastructure are usual targets, and methods used to launch attacks. The book elaborates upon the emerging botnet technology, current trends in the evolution and use of botnet technology, its role in facilitating the launching of DDoS attacks, and challenges in countering the role of botnets in the proliferation of DDoS attacks. It introduces statistical and machine learning methods applied in the detection and prevention of DDoS attacks in order to provide a clear understanding of the state of the art. It presents DDoS reaction and tolerance mechanisms with a view to studying their effectiveness in protecting network resources without compromising the quality of services. To practically understand how attackers plan and mount DDoS attacks, the authors discuss the development of a testbed that can be used to perform experiments such as attack launching, monitoring of network traffic, and detection of attacks, as well as for testing strategies for prevention, reaction, and mitigation. Finally, the authors address current issues and challenges that need to be overcome to provide even better defense against DDoS attacks.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
The Operation of the Japanese Electoral…
Kazuaki Nagatomi Hardcover R3,121 Discovery Miles 31 210
In At The Kill
Gerald Seymour Paperback R445 R409 Discovery Miles 4 090
Japan Decides 2014 - The Japanese…
Robert J. Pekkanen, Ethan Scheiner, … Hardcover R3,342 Discovery Miles 33 420
The Boy Who Could Keep A Swan In His…
John Hunt Paperback  (1)
R304 Discovery Miles 3 040
The Homemade God
Rachel Joyce Paperback R395 R353 Discovery Miles 3 530
Eddie Winston is Looking for Love
Marianne Cronin Paperback R395 R353 Discovery Miles 3 530
The Lost Boys
Faye Kellerman Paperback R330 R227 Discovery Miles 2 270
Pacific Women in Politics - Gender Quota…
Kerryn Baker Hardcover R1,771 Discovery Miles 17 710
The Strain of Representation - How…
Robert Rohrschneider, Stephen Whitefield Hardcover R3,079 Discovery Miles 30 790
Die verdwyning van Mina Afrika
Zuretha Roos Paperback R315 Discovery Miles 3 150

 

Partners