0
Your cart

Your cart is empty

Browse All Departments
Price
  • R50 - R100 (1)
  • R100 - R250 (83)
  • R250 - R500 (378)
  • R500+ (1,639)
  • -
Status
Format
Author / Contributor
Publisher

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

200 Hard Sikaku Puzzles - Japanese Puzzle (Paperback): Ann Olesia 200 Hard Sikaku Puzzles - Japanese Puzzle (Paperback)
Ann Olesia
R333 Discovery Miles 3 330 Ships in 10 - 15 working days
Programmverifikation - Sequentielle, Parallele Und Verteilte Programme (German, Hardcover, 1994 ed.): Krzysztof R. Apt,... Programmverifikation - Sequentielle, Parallele Und Verteilte Programme (German, Hardcover, 1994 ed.)
Krzysztof R. Apt, Ernst-Rudiger Olderog
R1,138 Discovery Miles 11 380 Ships in 10 - 15 working days

Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werdenin einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische und nichtdeterministische Programme, Programme mit gemeinsamen Variablen und verteilte Programme mit Kommunikation }berBotschaftenaustausch behandelt. F}r jede dieser Programmklassen werden eine operationelle Semantik, Syntax-gerichtete Verifikationsregeln mitsamt Korrektheitsbeweis und ein gr- eres Verifikationsbeispiel vorgestellt. Insbesondere werden Programme zur L-sung der klassischen Probleme Erzeuger-Verbraucher, wechselweiser Ausschlu und verteilte Terminierung diskutiert und verifiziert. Eine Besonderheit desBuches ist die einheitliche Behandlung von Fairne -Annahmen und die Benutzung von Programmtransformationen. Das Buch eignet sich f}r ein- oder zweisemestrige Vorlesungen }ber Programmverifikation. Die Kapitel sind einheitlich strukturiert und enthalten eine Reihe von ]bungsaufgaben und bibliographischen Hinweisen. Das Buch f}hrt auch an aktuelle Themen der Forschung heran.

Sudoku 200 Classic Puzzles - Volume 8 - 4 Levels - Easy to Expert (Paperback): Tat Puzzles Sudoku 200 Classic Puzzles - Volume 8 - 4 Levels - Easy to Expert (Paperback)
Tat Puzzles; Edited by Margaret Gregory
R275 Discovery Miles 2 750 Ships in 10 - 15 working days
Theoretische Grundlagen der Informatik (German, Paperback): Clemens H. Cap Theoretische Grundlagen der Informatik (German, Paperback)
Clemens H. Cap
R1,686 Discovery Miles 16 860 Ships in 10 - 15 working days

Angesichts der Komplexitat der Produkte der modernen Informatik wird eine saubere, theoretische Fundierung immer wichtiger. Das Buch wendet sich an Studierende im ersten Studienabschnitt und an Praktiker und gibt eine Einfuhrung in die theoretischen und zumeist mathematischen Grundlagen der Informatik. Lesern ohne mathematische Vorbildung wird eine Vorstellung von der Denk- und Arbeitsweise der theoretischen Informatik vermittelt. Angesichts der Stoffulle und Komplexitat dieses Gebietes werden detaillierte oder auch nur ausfuhrlichere Kenntnisse in theoretischer Informatik wohl dem Spezialisten vorbehalten bleiben. Das Buch ist deshalb betont breit gehalten und zielt auf einen Uberblick unterschiedlichster Techniken und Ansatze ab. Der Autor behandelt nach einer Einfuhrung in mathematische Grundbegriffe die klassischen Themen wie formale Sprachen oder Berechenbarkeit, wendet sich aber auch der Semantik von Programmiersprachen und der Codierungstheorie zu und beantwortet die Frage, wie Information gemessen werden kann."

Fuzzy-Logik - Einfuhrung in die algebraischen und logischen Grundlagen (German, Paperback): Gert Boehme Fuzzy-Logik - Einfuhrung in die algebraischen und logischen Grundlagen (German, Paperback)
Gert Boehme
R1,655 Discovery Miles 16 550 Ships in 10 - 15 working days

Der Begriff "Fuzzy" - 1965 von Lofty A. Zadeh in einer Erweiterung der gewoehnlichen Mengenlehre auf die Verknupfung unscharfer Mengen kreiert - hat seine Anwendung in zahlreichen Gebieten der Technik gefunden. In diesem Lehrbuch erhalt der Leser eine leicht verstandliche Einfuhrung in die mathematischen und logischen Grundlagen. Er soll in die Lage versetzt werden, die fur die Fuzzy-Logik spezifischen algebraischen und logischen Arbeitsmethoden operativ einzusetzen. Das Lehrbuch wurde mit dem Ziel entwickelt, insbesondere im Selbststudium das Werkzeug "Fuzzy" fur die berufspraktische Anwendung zu erarbeiten. Zu diesem Zweck enthalt es eine grosse Anzahl von Beispielen aus der Anwendung sowie Aufgaben mit Loesungen. Fuzzy-Logik wendet sich gleichermassen an Studenten der Ingenieurwissenschaften, Informatik und Wirtschaftswissenschaften, wie auch an Anwender in der industriellen Praxis, die sich in dieses aktuelle und hochbrisante Gebiet einarbeiten moechten.

Substructural Logics (Hardcover): Kosta Dosen, Peter Schroder-Heister Substructural Logics (Hardcover)
Kosta Dosen, Peter Schroder-Heister
R5,354 R3,917 Discovery Miles 39 170 Save R1,437 (27%) Ships in 12 - 19 working days

The new area of logic and computation is now undergoing rapid development. This has affected the social pattern of research in the area. A new topic may rise very quickly with a significant body of research around it. The community, however, cannot wait the traditional two years for a book to appear. This has given greater importance to thematic collections of papers, centred around a topic and addressing it from several points of view, usually as a result of a workshop, summer school, or just a scientific initiative. Such a collection may not be as coherent as a book by one or two authors yet it is more focused than a collection of key papers on a certain topic. It is best thought of as a thematic collection, a study in the area of logic and computation. The new series Studies in Logic and Computation is intended to provide a home for such thematic collections. Substructural logics are nonclassical logics, which arose in response to problems in foundations of mathematics and logic, theoretical computer science, mathematical linguistics, and category theory. They include intuitionistic logic, relevant logic, BCK logic, linear logic, and Lambek's calculus of syntactic categories. Substructural logics differ from classical logics, and from each other, in their presuppositions about Gentzen's structural rules, although their presuppositions about the deductive role of logical constants are invariant. Substructural logics have been a subject of study for logicians during the last sixty years. Specialists have often worked in isolation, however, largely unaware of the contributions of others. This book brings together new papers by some of the most eminent authorities in these varioustraditions to produce a unified view of substructural logics.

Complexite et Decidabilite (French, Paperback, 1993 ed.): Patrick Dehornoy Complexite et Decidabilite (French, Paperback, 1993 ed.)
Patrick Dehornoy
R1,931 Discovery Miles 19 310 Ships in 10 - 15 working days

Cet ouvrage presente les bases de la theorie de la complexite des algorithmes et en derive les theoremes fondamentaux de decidabilite et d'indecidabilite pour la logique et l'arithmetique, dont le premier theoreme d'incompletude de Godel. En faisant reposer toutes les preuves sur le codage de l'arret d'une machine de Turing, on a souligne l'homogeneite et l'unite profonde des resultats presentes. L'approche par les machines de Turing est tres accessible grace a la familiarite donnee aujourd'hui par l'informatique. Le livre n'est pas une encyclopedie exhaustive, mais parvient de facon rapide a demontrer un choix de resultats representatifs de l'ensemble de la theorie.

Formalisieren Und Beweisen - Logik Fur Informatiker (German, Paperback, 2nd 2. Aufl. 1992 ed.): Dirk Siefkes Formalisieren Und Beweisen - Logik Fur Informatiker (German, Paperback, 2nd 2. Aufl. 1992 ed.)
Dirk Siefkes
R2,012 Discovery Miles 20 120 Ships in 10 - 15 working days
Journal of Applied Logics, Volume 8, Number 9, October 2021. Special issue - Reasoning with and about Legal Argumentation:... Journal of Applied Logics, Volume 8, Number 9, October 2021. Special issue - Reasoning with and about Legal Argumentation: Methodologies of Research for Legal Argumentation (Paperback)
Michal Araszkiewicz, Tomasz Zurek
R491 Discovery Miles 4 910 Ships in 10 - 15 working days
Summer Magic Square Puzzles - Elementary logic puzzles, Magic of mathematics, Mathematics books for kids, Mental magic book... Summer Magic Square Puzzles - Elementary logic puzzles, Magic of mathematics, Mathematics books for kids, Mental magic book (Paperback)
Andy Lawell
R247 Discovery Miles 2 470 Ships in 10 - 15 working days
Hard Sudoku Vol. 3 A Puzzle Book For Adults - 120 Puzzles With Solutions (Paperback): Puzzle Lovers Publications Hard Sudoku Vol. 3 A Puzzle Book For Adults - 120 Puzzles With Solutions (Paperback)
Puzzle Lovers Publications
R172 Discovery Miles 1 720 Ships in 10 - 15 working days
Hard Sudoku Vol. 5 A Puzzle Book For Adults - 120 Puzzles With Solutions (Paperback): Puzzle Lovers Publications Hard Sudoku Vol. 5 A Puzzle Book For Adults - 120 Puzzles With Solutions (Paperback)
Puzzle Lovers Publications
R172 Discovery Miles 1 720 Ships in 10 - 15 working days
Hard Sudoku Vol. 1 A Puzzle Book For Adults - 120 Puzzles With Solutions (Paperback): Puzzle Lovers Publications Hard Sudoku Vol. 1 A Puzzle Book For Adults - 120 Puzzles With Solutions (Paperback)
Puzzle Lovers Publications
R172 Discovery Miles 1 720 Ships in 10 - 15 working days
Operationales Spezifizieren Mit Programmierten Graphersetzungssystemen - Formale Definitionen, Anwendungsbeispiele Und... Operationales Spezifizieren Mit Programmierten Graphersetzungssystemen - Formale Definitionen, Anwendungsbeispiele Und Werkzeugunterstutzung Herausgegeben Und Eingeleitet Von Manfred Nagl (German, Paperback, 1991 ed.)
Andreas Schurr
R1,687 Discovery Miles 16 870 Ships in 10 - 15 working days

Die vorliegende Arbeit ist im "Dunstkreis" des IPSEN-Projektes entstanden und ware ohne die vielfaltigen Anregungen aus diesem Kontext nicht denkbar gewesen. Besonderer Dank gilt deshalb Prof. Dr. Ing. M. Nagl, dem Leiter des IPSEN-Projekts und dem geistigen Vater des Urahns von PROGRESS, fur die Vergabe eines so span nenden Dissertationsthemas, fur die Moglichkeit zur freien Entfaltung im Rahmen des IPSEN-Projekts und fur seinen vehementen Einspruch gegen viele Versuche, die Spra che PROGRESS allein aus Effizienzgriinden zu vereinfachen. Ferner danke ich dem Zweitgutachter, Prof. Dr. H. -J. Schneider, der die Muhe nicht gescheut hat, fur diese doch etwas umfangreich geratene Arbeit ein Gutachten zu erstellen. Mein Dank gilt weiterhin allen jetzigen und ehemaligen Kollegen und Diploman den im IPSEN-Projekt, die - in welcher Weise auch immer - zum Gelingen meiner Ar beit beigetragen haben. Besonderen Dank schulde ich hier den IPSEN-Opas Gregor Engels und Wilhelm Schafer fur ihre Verdienste um das "Graph Grarnmar Engineering," meinem Landsmann Claus Lewerentz fur die Gelegenheit zu vielen fruchtbaren "Zwischen Tur und Angel"-Gesprachen in unserer gemeinsamen Muttersprache, meinem WG-Genossen und Arbeitskollegen Bernhard Westfechtel, dem welt besten PROGRESS-Programmierer, fur seine Diskussionsbereitschaft in allen Lebenslagen (beim Fruhstuck, Abspulen, . . ."

Expertensysteme (German, Paperback): G Fleischanderl Expertensysteme (German, Paperback)
G Fleischanderl; Edited by Georg Gottlob; Contributions by G. Friedrich; Edited by Thomas Fruhwirth, Werner Horn; Contributions by …
R1,641 Discovery Miles 16 410 Ships in 10 - 15 working days

Das vorliegende Buch gibt einen umfassenden UEberblick uber das wohl aktivste Forschungs- und Anwendungsgebiet der Artificial Intelligence - uber Expertensysteme. Basierend auf den Erfahrungen aus mehrjahriger Vorlesungstatigkeit stellt das Autorenteam neben grundlegenden Konzepten auch die theoretischen wie praktischen Aspekte ausfuhrlich dar. Eine kompetente Einfuhrung in die Pradikatenlogik wird gegeben. Als Novum verdeutlicht dieses Buch die unterschiedlichen Schlussweisen und Komponenten von Expertensystemen durch ausfuhrbare Prototypen in der logischen Programmiersprache Prolog. Dem praktischen Aspekt wird weiters durch einen UEberblick uber im industriellen Einsatz stehende Expertensysteme Rechnung getragen. Nicht zuletzt behandelt dieses Buch die neuesten Entwicklungen, wie Experten-Datenbanksysteme und Ergonomie und Gestaltung von Benutzerschnittstellen fur Expertensysteme. Das Buch eignet sich damit nicht nur als Unterlage und Referenz fur Vorlesungen auf dem Gebiet der Expertensysteme, vielmehr wendet es sich auch an den interessierten Informatiker und Programmierer in Studium und Praxis.

Suguru Puzzles - 200 Easy to Very Hard Puzzles 12x12 vol.17 (Paperback): Liam Parker Suguru Puzzles - 200 Easy to Very Hard Puzzles 12x12 vol.17 (Paperback)
Liam Parker
R212 Discovery Miles 2 120 Ships in 10 - 15 working days
Journal of Applied Logics, Volume 8, Number 8, September 2021. Special issue - Intuitionistic Modal Logic and Applications... Journal of Applied Logics, Volume 8, Number 8, September 2021. Special issue - Intuitionistic Modal Logic and Applications (Paperback)
Valeria de Paiva, Sergei Artemov
R494 Discovery Miles 4 940 Ships in 10 - 15 working days
Truth and Knowledge (Paperback): Karl Schlechta Truth and Knowledge (Paperback)
Karl Schlechta
R520 Discovery Miles 5 200 Ships in 10 - 15 working days
Wissensbasierte Systeme - 3 Internationaler Kongress : Papers (German, Microfilm): Wilfried Brauer, Christian Freksa Wissensbasierte Systeme - 3 Internationaler Kongress : Papers (German, Microfilm)
Wilfried Brauer, Christian Freksa
R1,727 Discovery Miles 17 270 Ships in 10 - 15 working days

Durch die Reihe der GI-Kongresse uber wissensbasierte Systeme wird eine groessere OEffentlichkeit uber den Stand der Entwicklung sowohl in den Entwurfsmethoden und Konstruktionstechniken als auch in der industriellen Anwendung unterrichtet. Ein wichtiges Ziel ist dabei, auf das grosse Potential an Anwendungsmoeglichkeiten hinzuweisen und intensivere Kooperation zwischen verschiedenen Gebieten anzuregen. Behandelt werden diesmal neben den Grundlagen, Entwicklungen und Anwendungen von Expertensystemen auch maschinelles Lernen, naturlichsprachliche Systeme und Konnektionismus. Einen grossen Raum nimmt die Prasentation von Gemeinschaftsprojekten ein; insbesondere werden deutsche KI-Zentren, alle BMFT-Verbundprojekte im Bereich wissensbasierter Systeme und zahlreiche europaische Gemeinschaftsprojekte (EUREKA- und ESPRIT-Projekte) dargestellt. Dieses Buch wendet sich an alle, die Interesse an der Informatik und ihren Anwendungen haben. Es soll sowohl Wissenschaftler als auch Praktiker und moegliche Anwender informieren und zu fruchtbarer Diskussion und Zusammenarbeit stimulieren.

Arbeiten Zur Analysis Und Zur Mathematischen Logik (German, Paperback): Gunter Asser Arbeiten Zur Analysis Und Zur Mathematischen Logik (German, Paperback)
Gunter Asser; Giuseppe Peano
R1,835 Discovery Miles 18 350 Ships in 10 - 15 working days

Dieser Band enthalt fotomechanische Nachdrucke klassischer Arbeiten von Giuseppe Peano zur Analysis und zur mathematischen Logik aus den Jahren 1886 bis 1899, denen fur die Herausbildung der gegenwartigen Mathematik grosse Bedeutung zukommt. Im Nachwort berichtet der Herausgeber uber die Entstehungsgeschichte der abgedruckten Arbeiten, uber deren Stellung im Gesamtwerk Peanos und uber ihre Verflechtung mit der Entwicklung der Mathematik um die Jahrhundertwende. Fotos und Archivalien komplettieren das Buch. Aus den Besprechungen: "Die mathematische Behandlung der Grundlagen der Mathematik ... ist aus der Verbindung zweier verschiedener Forschungsrichtungen ... hervorgegangen. Einerseits das Werk der Meister der Analysis und der Geometrie, sofern sie ihre Axiome formulierten und systematisierten, und das Werk von Cantor und anderen uber Gebiete wie die Mengentheorie. Andererseits die symbolische Logik, die nach der notwendigen Entwicklungsperiode jetzt dank Peano und seinen Nachfolgern die technische Verwendbarkeit und logische Bundigkeit erreicht hat, die wesentlich sind fur ein mathematisches Hilfsmittel zur Behandlung dessen, was bisher die Grundlagen der Mathematik gebildet hat." "A.N. Whitehead, B. Russell"#1"

Semantics of sequent calculi - Fuzziness versus non-multiplicativity (Paperback): Alexej P Pynko Semantics of sequent calculi - Fuzziness versus non-multiplicativity (Paperback)
Alexej P Pynko
R1,114 Discovery Miles 11 140 Ships in 10 - 15 working days
Classical and Nonclassical Logics - An Introduction to the Mathematics of Propositions (Hardcover): Eric Schechter Classical and Nonclassical Logics - An Introduction to the Mathematics of Propositions (Hardcover)
Eric Schechter
R4,171 Discovery Miles 41 710 Ships in 10 - 15 working days

So-called classical logic--the logic developed in the early twentieth century by Gottlob Frege, Bertrand Russell, and others--is computationally the simplest of the major logics, and it is adequate for the needs of most mathematicians. But it is just one of the many kinds of reasoning in everyday thought. Consequently, when presented by itself--as in most introductory texts on logic--it seems arbitrary and unnatural to students new to the subject.

In "Classical and Nonclassical Logics," Eric Schechter introduces classical logic alongside constructive, relevant, comparative, and other nonclassical logics. Such logics have been investigated for decades in research journals and advanced books, but this is the first textbook to make this subject accessible to beginners. While presenting an assortment of logics separately, it also conveys the deeper ideas (such as derivations and soundness) that apply to all logics. The book leads up to proofs of the Disjunction Property of constructive logic and completeness for several logics.

The book begins with brief introductions to informal set theory and general topology, and avoids advanced algebra; thus it is self-contained and suitable for readers with little background in mathematics. It is intended primarily for undergraduate students with no previous experience of formal logic, but advanced students as well as researchers will also profit from this book.

Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications, Volume 9, Issue 2, April 2022 (Paperback): Dov... Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications, Volume 9, Issue 2, April 2022 (Paperback)
Dov Gabbay
R469 Discovery Miles 4 690 Ships in 10 - 15 working days
Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Volume 8, Issue 7 - August 2021 (Paperback): Dov... Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Volume 8, Issue 7 - August 2021 (Paperback)
Dov Gabbay
R800 Discovery Miles 8 000 Ships in 10 - 15 working days
The Logica Yearbook 2020 (Paperback): Martin Blicha, Igor Sedlar The Logica Yearbook 2020 (Paperback)
Martin Blicha, Igor Sedlar
R617 Discovery Miles 6 170 Ships in 10 - 15 working days
Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Logic for Physicists
Nicolas A Pereyra Paperback R793 Discovery Miles 7 930
Goedel Without (Too Many) Tears
Peter Smith Hardcover R525 Discovery Miles 5 250
Advances and Applications of Fuzzy Sets…
Said Broumi Hardcover R11,492 Discovery Miles 114 920
Logic from Russell to Church, Volume 5
Dov M. Gabbay, John Woods Hardcover R5,602 Discovery Miles 56 020
Principia Mathematica
Russell Bertrand Russell Hardcover R1,292 Discovery Miles 12 920
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R600 Discovery Miles 6 000
Principia Mathematica
Russell Bertrand Russell Hardcover R1,332 Discovery Miles 13 320
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R550 Discovery Miles 5 500
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R453 Discovery Miles 4 530
Algebras, Lattices, Varieties - Volume…
Ralph S Freese, Ralph N. McKenzie, … Paperback R3,238 Discovery Miles 32 380

 

Partners