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.

Dieses umfassende Lehrbuch wurde geschrieben fur Studenten und Dozenten der Mathematik und Informatik, und wegen der ausfuhrlichen Darstellung der Godelschen Unvollstandigkeitssatze auch fur Fachstudenten der Philosophischen Logik.
Fur diese Neuauflage wurde der Text sachlich und stilistisch vollstandig uberarbeitet, er enthalt verbesserte Beweise und Ubungen mit Losungshinweisen sowie eine historisch orientierte Einleitung. Das Buch kann ganz unabhangig von Vorlesungen aber auch zum Selbststudium genutzt werden.

"

Hodel's 'Introduction to Mathematical Logic' is a comprehensive overview suitable for advanced undergraduates and graduate students. The text covers numerous topics including propositional logic, first-order languages and logic, incompleteness, undecidability and indefinability, recursive functions, computability and Hilbert's tenth problem.

Dieses Buch ist aus Skripten der Autoren zu ihrer Vorlesung "Mathe- matische Logik (fUr Informatiker)" entstanden. Diese sechssttindige Lehrveranstaltung, die seit dem Sommersemester 1974 jahrlich an der Technischen Universitat Berlin im Fachbereich Informatik ab- gehalten wird, will Informatik-Studenten etwa yom 4. Semester an mit Logik-Methoden vertraut machen und gleichzeitig einen" Bei- trag zur Mathematik-Ausbildung fUr Informatiker leisten. Dement- sprechend handelt es sich urn einen einfUhrenden Text fUr "krasse" Anfanger in der Logik, der mit elementaren Mathematik -Kenntnissen lesbar ist und an Informatik-Voraussetzungen nur einfachste Kon- zepte von Programmiersprachen benotigt. Anliegen des Buches, das sich gleichermaBen an Mathematik- und Informatik-Studenten wen- det, ist es, einerseits eine mathematisch zufriedenstellende Darstellung der Anfangsgrtinde der Pradikatenlogik der ersten Stufe zu geben, andererseits aber auch Anwendungen dieser Logik innerhalb der Informatik einheitlich in die Logik-Darstellung einzubeziehen. Der Versuch, ein Buch tiber Logik mit Informatik-Anwendungen zu schreiben, ist nicht ohne Probleme, da die Auswahl der Verbin- dungen von Logik und Informatik eine subjektive Entscheidung bleibt, so daB tiber den hier vorliegenden Text hinaus Raum fUr andere Bertihrungspunkte und fUr eine intensivere Gestaltung der hier im Text angefUhrten Anwendungen besteht. Man kann dabei z. B. an engere Verbindungen zur theoretischen Informatik denken oder an eine systematische Abhandlung der angesprochenen Anwen- dungsgebiete. Dieser Text will dazu anregen, Informatik und Lo- gik so aufeinander zu beziehen, daB Logik als Hilfsmittel fUr die Informatik angesehen werden darf, d. h. als eine fruchtbare, Infor- matik-Ergebnisse hervorbringende Methode.

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.

The accelerating development of computer technology and communications can replace many of the functions of human intellectual activity, as well as help them in making decisions in various situations of their lives. To implement intelligent functions for various purposes, numerous models, paradigms, architectures, and hardware and software are being developed. Because the world is constantly evolving, there is a need to constantly study various dynamic processes to determine possible negative situations that can lead to undesirable catastrophic phenomena and changes. Recently, more attention has been paid to the study of natural processes in nature. Scientific works are appearing that describe the behavior and development of living organisms and the processes of their interaction. Cellular automata are increasingly used to describe and model them. New Methods and Paradigms for Modeling Dynamic Processes Based on Cellular Automata is a collection of innovative research that describes the models and paradigms of building cellular automata that allows for the simulation of the dynamics of the interaction of living organisms from a different scientific point of view. For this, asynchronous cellular automata with a dynamically changing number of "living" cells are used. The chapters describe the theoretical concepts of constructing asynchronous cellular automata with active cells. Much attention is paid to the use of the proposed theoretical principles for solving modeling problems and solving specific applied problems of forming pseudorandom sequences and image processing based on modeling of the human visual channel. Featuring research on topics such as colony interaction, image processing and recognition, and influence mode, this book is ideally designed for engineers, programmers, software developers, researchers, academicians, and students.