Bedeutung von "predicate calculus" im Wörterbuch Englisch

AUSSPRACHE VON PREDICATE CALCULUS AUF ENGLISCH

predicate calculus

GRAMMATIKALISCHE KATEGORIE VON PREDICATE CALCULUS

Predicate calculus ist ein Substantiv.

Das Nomen oder Substantiv ist die Art Wort, dessen Bedeutung die Wirklichkeit bestimmt. Substantive benennen alle Dinge: Personen, Objekte, Empfindungen, Gefühle usw.

WAS BEDEUTET PREDICATE CALCULUS AUF ENGLISCH

Vorhersage der Logik

Predicate logic

In der mathematischen Logik ist die Prädikatenlogik der Oberbegriff für symbolische formale Systeme wie Logik der ersten Ordnung, Logik zweiter Ordnung, vielfacher Logik oder Infinitionslogik. Dieses formale System unterscheidet sich von anderen Systemen dadurch, dass seine Formeln Variablen enthalten, die quantifiziert werden können. Zwei gemeinsame Quantifizierer sind die existentiellen ∃ und universellen ∀ Quantifizierer. Die Variablen könnten Elemente im Universum sein, die diskutiert werden, oder vielleicht Beziehungen oder Funktionen über dieses Universum. Zum Beispiel würde ein existentieller Quantifizierer über ein Funktionssymbol als Modifikator "Es gibt eine Funktion" interpretiert werden. Die Fundamente der Prädikatenlogik wurden unabhängig von Gottlob Frege und Charles Sanders Peirce entwickelt. Im informellen Gebrauch bezieht sich der Begriff "Prädikatenlogik" gelegentlich auf Logik erster Ordnung. Einige Autoren betrachten das Prädikatenkalkül als eine axiomatisierte Form der Prädikatenlogik und die Prädikatenlogik, die aus einer informellen, intuitiveren Entwicklung abgeleitet werden soll. Prädikatenlogiken beinhalten auch Logiken, die modale Operatoren und Quantifizierer mischen. Siehe Modal Logik, Saul Kripke, Barcan Marcus Formeln, A. N. Prior und Nicholas Rescher.

In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic, or infinitary logic. This formal system is distinguished from other systems in that its formulae contain variables which can be quantified. Two common quantifiers are the existential ∃ and universal ∀ quantifiers. The variables could be elements in the universe under discussion, or perhaps relations or functions over that universe. For instance, an existential quantifier over a function symbol would be interpreted as modifier "there is a function". The foundations of predicate logic were developed independently by Gottlob Frege and Charles Sanders Peirce. In informal usage, the term "predicate logic" occasionally refers to first-order logic. Some authors consider the predicate calculus to be an axiomatized form of predicate logic, and the predicate logic to be derived from an informal, more intuitive development. Predicate logics also include logics mixing modal operators and quantifiers. See Modal logic, Saul Kripke, Barcan Marcus formulae, A. N. Prior, and Nicholas Rescher.

ÜBERSETZUNG VON PREDICATE CALCULUS

Erfahre, wie die Übersetzung von predicate calculus auf 25 Sprachen mit unserem mehrsprachigen Übersetzer Englisch lautet.

Die Übersetzungen von predicate calculus auf andere Sprachen, die in diesem Bereich vorgestellt werden, sind zustande gekommen durch automatische statistische Übersetzung, wobei die Basiseinheit der Übersetzung das Wort «predicate calculus» in Englisch ist.

• Übersetzer Deutsch - Chinesisch: 谓词演算
• Übersetzer Deutsch - Spanisch: cálculo de predicados
• Englisch: predicate calculus
• Übersetzer Deutsch - Hindi: विधेय कैल्कुलस
• Übersetzer Deutsch - Arabisch: حساب التفاضل والتكامل المسند
• Übersetzer Deutsch - Russisch: исчисление предикатов
• Übersetzer Deutsch - Portugiesisch: cálculo de predicados
• Übersetzer Deutsch - Bengalisch: বিন্দু গণনা
• Übersetzer Deutsch - Französisch: calcul des prédicats
• Übersetzer Deutsch - Malaysisch: Kalkulus predikat
• Übersetzer Deutsch - Deutsch: Prädikat Kalkül
• Übersetzer Deutsch - Japanisch: 述語計算
• Übersetzer Deutsch - Koreanisch: 술어 미적분
• Übersetzer Deutsch - Javanisch: Kalkulus predikat
• Übersetzer Deutsch - Vietnamesisch: tính toán vị
• Übersetzer Deutsch - Tamil: கணித கால்குலஸ்
• Übersetzer Deutsch - Marathi: नेमकी गणित
• Übersetzer Deutsch - Türkisch: Yüklem hesabı
• Übersetzer Deutsch - Italienisch: calcolo dei predicati
• Übersetzer Deutsch - Polnisch: predykatów
• Übersetzer Deutsch - Ukrainisch: числення предикатів
• Übersetzer Deutsch - Rumänisch: calculul predicatelor
• Übersetzer Deutsch - Griechisch: κατηγορηματικός λογισμός
• Übersetzer Deutsch - Afrikaans: predicatencalculus
• Übersetzer Deutsch - Schwedisch: predikat tandsten
• Übersetzer Deutsch - Norwegisch: predikat kalkulus

10 BÜCHER, DIE MIT «PREDICATE CALCULUS» IM ZUSAMMENHANG STEHEN

Entdecke den Gebrauch von predicate calculus in der folgenden bibliographischen Auswahl. Bücher, die mit predicate calculus im Zusammenhang stehen und kurze Auszüge derselben, um seinen Gebrauch in der Literatur kontextbezogen darzustellen.

Propositional and Predicate Calculus: A Model of Argument

Designed specifically for guided independent study.

Derek Goldrei, 2005

Mathematical Logic: Propositional calculus, Boolean ...

This is an ideal introduction to mathematics and logic for the advanced undergraduate student.

René Cori, Daniel Lascar, 2000

Set Theory and Logic

"In the reviewer's opinion, this is an excellent book, and in addition to its use as a textbook (it contains a wealth of exercises and examples) can be recommended to all who wish an introduction to mathematical logic less technical than ...

Robert R. Stoll, 2012

Semantics::

Predicate calculus This is the term that we will use for the system : others are ' calculus of functions', 'functional calculus' and, more fully, 'calculus of predicative functions'. The source and significance of these various terms will become clear ...

John Lyons, 1977

Computational Logic and Set Theory: Applying Formalized ...

Chapter. 2. Propositional-. and. Predicate-Calculus. Preliminaries. This chapter prepares for the extensive account of our verifier system given in Chap. 4 by describing and analyzing two of the system's basic ingredients, the propositional  ...

Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo, 2011

A Brief History of Computing

Predicate calculus includes variables, and a formula in predicate calculus is built up from the basic symbols of the language. These symbols include variables; predicate symbols, including equality; function symbols, including the constants;  ...

Gerard O'Regan, 2008

The Knowledge Frontier: Essays in the Representation of ...

Many hold the opinion and have argued strongly that formal logic, by which they usually mean the first order predicate calculus with its customary syntactic notations, provides all that one needs for knowledge representation. By this account, all ...

Nick Cercone, Gordon McCalla, 1987

Time Structures: Formal Description and Algorithmic ...

To be able to describe different time structures and their properties, a certain formalism is needed. The basic logical formalism is the first order predicate calculus. We would like to recall here some basic information concerning the first order ...

Elzbieta Hajnicz, 1996

Computer-Aided Verification: 2nd Internatonal Conference, ...

The circuit's behavior, specification, and hypotheses on its clock sequencing are modelled using a special kind of predicate calculus formulas, named transfer formulas. The proof process consists in applying two general rules of the predicate ...

Edmund M. Clarke, Robert P. Kurshan, 1991

Programming in Prolog

Notice that this statement does not rule out the possibility that John has more than one daughter. Here are some more complicated Predicate Calculus formula; for your amusement: all(X, animal(X) -> exists(Y, motherof(X, Y)) ) all(X, pcform(X)  ...

William Clocksin, Christopher S. Mellish, 2003

10 NACHRICHTEN, IN DENEN DER BEGRIFF «PREDICATE CALCULUS» VORKOMMT

Erfahre, worüber man in den einheimischen und internationalen Medien spricht und wie der Begriff predicate calculus im Kontext der folgenden Nachrichten gebraucht wird.

Limpag: Life, augmented

... sections rich in relevant material, analyzed all the rich sections into statements in a high-order predicate calculus, and entered the statements ... «Sun.Star, Jul 15»

Fifty years of Shakey, the "world's first electronic person"

These were automatically translated into predicate calculus and provided the building blocks for intermediate-level actions, such as "go to" that told the robot to ... «Gizmag, Jun 15»

Building a Conversational Agent from the Ground Up, Part III

And the kind of reasoning such knowledge affords is a logical formalism called First Order Predicate Calculus (FOPC). Much of the inferencing ... «Huffington Post, Mai 14»

Fanon and canon: 'Harmonizing' away the Bible

Everyone (including logicians ('=' is the standard symbol for identity in the predicate calculus)) who isn't soaked to the gills in FORTRAN or its ... «Patheos, Aug 13»

Q&A: NIST's Ron Ross on the fourth revision of SP 800-53

Unless you're using first order predicate calculus to do these mappings, there's a lot of judgment in these mappings. We have people who are ... «FierceGovernmentIT, Mai 13»

Can New Software Testing Frameworks Bring Us to Provably …

... expressed in predicate calculus. That is complex enough that a graduate student in computer science might write a transform to, say, add up ... «CIO, Feb 13»

In Defense of Symbolic Logic: A Response to Peter Kreeft

In particular, it seems that the basics of Aristotelian logic are simple to symbolize in a predicate calculus, as I'll try to demonstrate below. «First Things, Dez 12»

The case for open computer programs

But this expectation would require researchers to acquire skills that are only peripheral to their work (set theory, predicate calculus and proof ... «Nature.com, Feb 12»

On The Inadequacy Of The Empiricist Tradition In Western Philosophy

... recently developed predicate calculus working on sense data statements will allow philosophers to build a maximally reliable way of knowing ... «NPR, Jan 12»

Marvin Minsky On AI

Trying to hammer the real world into predicate calculus was a dead end. But number crunching is working. Computer vision actually sort of ... «Slashdot, Mär 07»