0
Your cart

Your cart is empty

Browse All Departments
Price
  • R50 - R100 (1)
  • R100 - R250 (69)
  • R250 - R500 (397)
  • R500+ (1,629)
  • -
Status
Format
Author / Contributor
Publisher

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

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
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"

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.

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
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
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.

Theory and Applications of NeutroAlgebras as Generalizations of Classical Algebras (Paperback): Florentin Smarandache, Madeline... Theory and Applications of NeutroAlgebras as Generalizations of Classical Algebras (Paperback)
Florentin Smarandache, Madeline Al-Tahan
R5,524 Discovery Miles 55 240 Ships in 10 - 15 working days

Neutrosophy is a new branch of philosophy that studies the origin, nature, and scope of neutralities as well as their interactions with different ideational spectra. In all classical algebraic structures, the law of compositions on a given set are well-defined, but this is a restrictive case because there are situations in science where a law of composition defined on a set may be only partially defined and partially undefined, which we call NeutroDefined, or totally undefined, which we call AntiDefined. Theory and Applications of NeutroAlgebras as Generalizations of Classical Algebra introduces NeutroAlgebra, an emerging field of research. This book provides a comprehensive collection of original work related to NeutroAlgebra and covers topics such as image retrieval, mathematical morphology, and NeutroAlgebraic structure. It is an essential resource for philosophers, mathematicians, researchers, educators and students of higher education, and academicians.

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
Attributierte Grammatiken Und Attributierungs- Algorithmen (German, Microfilm): Ulrich Mahn Attributierte Grammatiken Und Attributierungs- Algorithmen (German, Microfilm)
Ulrich Mahn
R1,891 Discovery Miles 18 910 Ships in 10 - 15 working days

Diese Monographie gibt einen systematischen Uberblick uber Attributierte Grammatiken als ein Mittel zur Darstellung und Analyse von Kontextabhangigkeiten in Compilern unter Betonung der fur Compiler-erzeugende Systeme erforderlichen Algorithmen. Attributierte Grammatiken sind ein inzwischen weltweit anerkanntes Mittel zur Beschreibung der statischen Semantik von Programmiersprachen. Mit der verstarkten Verbreitung von Compiler-Generatoren wird es auch fur den Praktiker interessant, fur spezielle Zwecke geeignete Sprachen zu entwickeln und zu implementieren. Diese ausfuhrliche vergleichende Darstellung der verfugbaren Ergebnisse und Methoden weist auch dem Nichtspezialisten den Weg, einen fur seine Sprache geeigneten Algorithmus zu finden. Betont werden vor der Systematik der theoretischen Erkenntnisse vor allem die in Compiler-Erzeugenden Systemen wie GAG oder HLP78 bewahrten Algorithmen. Fur den im Compilerbau Tatigen sind sicherlich die einheitliche Zusammenfassung der grossen Vielzahl bekannter Ergebnisse uber Attributierte Grammatiken und die sehr umfangreiche Bibliographie von Interesse."

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
Science's Voice of Reflection (Paperback): Gerhard Heinzmann, Benedikt Loewe Science's Voice of Reflection (Paperback)
Gerhard Heinzmann, Benedikt Loewe
R488 Discovery Miles 4 880 Ships in 10 - 15 working days
Game Set and Math - Enigmas and Conundrums (Paperback): Ian Stewart Game Set and Math - Enigmas and Conundrums (Paperback)
Ian Stewart
R308 R281 Discovery Miles 2 810 Save R27 (9%) Ships in 9 - 17 working days

These pun-studded fables by a popular science writer make complicated mathematical concepts accessible and fun. Twelve essays take a playful approach to mathematics, investigating the topology of a warm blanket, the odds of beating a superior tennis player, and how to distinguish between fact and fallacy. 1991 edition.

Kakuro Puzzle Book For Adult - Cross Sums Math Logic Puzzles To Keep Your Mind Sharp (volume 02) (Paperback): Frank Mallin Kakuro Puzzle Book For Adult - Cross Sums Math Logic Puzzles To Keep Your Mind Sharp (volume 02) (Paperback)
Frank Mallin
R263 Discovery Miles 2 630 Ships in 10 - 15 working days
Futoshiki Puzzle Book - 300 Japanese Math Logic Puzzles 5x5 (Paperback): Frank Mallin Futoshiki Puzzle Book - 300 Japanese Math Logic Puzzles 5x5 (Paperback)
Frank Mallin
R299 Discovery Miles 2 990 Ships in 10 - 15 working days
Algebra Fur Informatiker (German, Paperback, 2nd 2., Verb. Aufl. ed.): H. Kaiser, R. Mlitz, G Zeilinger Algebra Fur Informatiker (German, Paperback, 2nd 2., Verb. Aufl. ed.)
H. Kaiser, R. Mlitz, G Zeilinger
R1,394 Discovery Miles 13 940 Ships in 10 - 15 working days

Das KernstUck des vor1iegenden Suches entstand aus einer einsemestrigen Vor- 1esunH gleichen Namens, die die Autoren seit mehreren Studienjahren an der Technischen Universitat Wien betreuen und die von R.M1itz ausgearbeitet wurde. Es erschien den Autoren notwendig bzw. zweckmaBig, dieses KernstUck zu erHanzen durch 1ineare Algebra - die an der TU Wien getrennt vorgetragen wird - und Hraphentheoretische Grundbegriffe. Die von den Autoren gewonnenen Erfahrungen haben die yom Ub1ichen Schema abweichenden didaktischen Aspekte der Darste11unq gepraqt, deren Grundprinzip in der nachfo1qenden Ein1eitung er1autert wird. Das Such richtet sich zunachst an Studierende der Informatik zum Gebrauch neben entsprechenden Vor1esungen, zum Nachsch1agen und Wiederho1en. DarUber hinaus soll der Anwender angesprochen werden, der in dem Werk die wichtigsten a1gebraischen Methoden des Informatikers dargeboten findet. Die Darste11ung beschrankt sich auf den mathematischen Hintergrund und dessen direkte Anwendung. SezUg1ich eventueller technischer Realisierungen sei auf die entsprechende Literatur verwiesen. Unser besonderer Dank gilt Frau E.Wiesenbauer und Frau H.Reinauer fUr die sorqfa1tig durchgefUhrten Schreibarbeiten, Herrn Mag.W.Nowak fUr die genaue AusfUhrung der Graphiken, sowie dem Springer-Verlag Wien fUr sein Entgegenkommen und die gute Zusammenarbeit. H.Kaiser, R.Mlitz und G.Zeilinger Wien, im Juli 1981 In der vorliegenden 2. Auflage wurden - so hoffen wir - alle Tippfehler des ersten Manuskriptes korrigiert. Des weiteren wurde an einigen Stellen der Text in mathematischer Hinsicht leichter lesbar gemacht.

Deontic Logic and Normative Systems. 15th International Conference, DEON 2020/2021 (Paperback): Fenrong Liu, Alessandra Marra,... Deontic Logic and Normative Systems. 15th International Conference, DEON 2020/2021 (Paperback)
Fenrong Liu, Alessandra Marra, Paul Portner
R753 Discovery Miles 7 530 Ships in 10 - 15 working days
Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications - Volume 8, Issue 5, June 2021. Special Issue... Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications - Volume 8, Issue 5, June 2021. Special Issue on Multiple-Valued Logic: Volume 8, Issue 5, June 2021. Special Issue on Multiple-Valued Logics: Volume 8, Issue 5, June 2021 (Paperback)
Martin Lukac, Yasushi Yuminaka, Kaitlin N Smith
R687 Discovery Miles 6 870 Ships in 10 - 15 working days
Samurai Sudoku Puzzle Book - 500 Puzzles Overlapping Into 100 Samurai Style - Japanese Match Puzzle Logic Book Easy to Hard... Samurai Sudoku Puzzle Book - 500 Puzzles Overlapping Into 100 Samurai Style - Japanese Match Puzzle Logic Book Easy to Hard Level (Including Solutions) (Paperback)
Luna Glover
R300 Discovery Miles 3 000 Ships in 10 - 15 working days
Samurai Sudoku Puzzle Book - 500 Puzzles Overlapping Into 100 Samurai Style Volume 02 - Japanese Match Puzzle Logic Book Easy... Samurai Sudoku Puzzle Book - 500 Puzzles Overlapping Into 100 Samurai Style Volume 02 - Japanese Match Puzzle Logic Book Easy to Hard Level (Paperback)
Luna Glover
R300 Discovery Miles 3 000 Ships in 10 - 15 working days
Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Naturliches Schliessen. Kalkul der Positiv-... Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Naturliches Schliessen. Kalkul der Positiv- und Negativteile. Spielarten der Semantik (German, Paperback, 1984 ed.)
Wolfgang Stegmuller
R1,136 Discovery Miles 11 360 Ships in 10 - 15 working days
Metamathematische Methoden in Der Geometrie (German, Paperback, 1983 ed.): W Schwabhauser, W. Szmielew, A. Tarski Metamathematische Methoden in Der Geometrie (German, Paperback, 1983 ed.)
W Schwabhauser, W. Szmielew, A. Tarski
R1,831 Discovery Miles 18 310 Ships in 10 - 15 working days

Das vorliegende Buch besteht aus zwei Teilen. Teil I enthalt einen axiomatischen Aufbau der euklidischen Geometrie auf Grund eines Axiomensystems von Tarski, das in einem gewissen Sinne (auch fur die absolute Geometrie) gleichwertig ist mit dem Hilbertschen Axiomensystem, aber formalisiert ist in einer Sprache, die fur die Betrachtungen in Teil II besonders geeignet ist. Mehrere solche Axio- mensysteme wurden schon vor langer Zeit von Tarski veroeffentlicht. Hier wird nun die Durchfuhrung eines Aufbaus der Geometrie auf Grund eines solchen Axiomensystems - unter Benutzung von Resultaten von H. N. Gupta - allgemein zuganglich gemacht. Die vorliegende Darstel- lung wurde vom zuerst genannten Autor allein geschrieben, aber sie beruht zum Teil auf unveroeffentlichten Resultaten von Alfred Tarski und Wanda Szmielew; daher gebuhrt ihnen ein Teil der Autorschaft. Mehr uber Entstehung und Inhalt von Teil I sowie uber die Geschichte der Tarskischen Axiomensysteme wird in der Einleitung (Abschnitt I.O) gesagt. Teil II enthalt metamathematische Untersuchungen und Ergebnisse uber verschiedene Geometrien, was vielfac auf eine Anwendung von Methoden und Satzen der mathematischen Logik auf Geometrien hinauslauft (vgl.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
The Cinematic Art of Overwatch, Volume…
Jake Gerli Hardcover R825 Discovery Miles 8 250
Pearson Edexcel A level Mathematics…
Paperback  (1)
R544 Discovery Miles 5 440
Handbook of Artificial Intelligence in…
Benedict du Boulay, Antonija Mitrovic, … Hardcover R8,054 Discovery Miles 80 540
The Art of Hearthstone: Year of the…
Robert Brooks Hardcover R687 Discovery Miles 6 870
Admiral Eddie - The Story of America's…
Edward O M Barry Hardcover R589 Discovery Miles 5 890
Over the Spectrum
Philip Williams Hardcover R655 Discovery Miles 6 550
History of the Navy of the United States…
James Fenimore Cooper Paperback R716 Discovery Miles 7 160
A History Of South Africa - From The…
Fransjohan Pretorius Paperback R765 Discovery Miles 7 650
Creating Life - The Podcast Transcripts
Randy Ellefson Hardcover R734 R650 Discovery Miles 6 500
The Lost Prince Of The ANC - The Life…
Mandla J. Radebe Paperback R340 R314 Discovery Miles 3 140

 

Partners