. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
..?
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 28.89 EUR, größter Preis: 39.00 EUR, Mittelwert: 36.47 EUR
Predicate Functor Logic
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

Predicate Functor Logic - Taschenbuch

ISBN: 6130339194

Gebundene Ausgabe, ID: 6110387

Mathematical Logic, First-order Logic, Predicate Logic, Quantification, Willard Van Orman Quine, Cylindric Algebra, Relation Algebra, Higher-order Function, Functional Completeness - Buch, gebundene Ausgabe, 104 S., Beilagen: Paperback, Erschienen: 2010 Betascript Publishers High Quality Content by WIKIPEDIA articles! In mathematical logic, predicate functor logic (PFL) is one of several ways to express first-order logic (also known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic devices called predicate functors (or predicate modifiers) that operate on terms to yield terms. PFL is mostly the invention of the logician and philosopher Willard Quine. Quine proposed PFL as a way of algebraizing first-order logic in a manner analogous to how Boolean algebra algebraizes propositional logic. He designed PFL to have exactly the expressive power of first-order logic with identity. Hence the metamathematics of PFL are exactly those of first-order logic with no interpreted predicate letters: both logics are sound, complete, and undecidable. Most work Quine published on logic and mathematics in the last 30 year of his life touched on PFL in some way.

Neues Buch DE Buch24.de
Versandkosten:Versandkostenfrei innerhalb der BRD, zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Predicate Functor Logic - Lambert M. Surhone
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

Lambert M. Surhone:

Predicate Functor Logic - neues Buch

ISBN: 9786130339197

ID: b37d6550c29fae1ccd2764dbad48c07f

High Quality Content by WIKIPEDIA articles! In mathematical logic, predicate functor logic (PFL) is one of several ways to express first-order logic (also known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic devices called predicate functors (or predicate modifiers) that operate on terms to yield terms. PFL is mostly the invention of the logician and philosopher Willard Quine. Quine proposed PFL as a way of algebraizing first-order logic in a manner analogous to how Boolean algebra algebraizes propositional logic. He designed PFL to have exactly the expressive power of first-order logic with identity. Hence the metamathematics of PFL are exactly those of first-order logic with no interpreted predicate letters: both logics are sound, complete, and undecidable. Most work Quine published on logic and mathematics in the last 30 year of his life touched on PFL in some way. Bücher / Naturwissenschaften, Medizin, Informatik & Technik / Mathematik

Neues Buch Dodax.de
Nr. 57bc9a725a87230916f6b514 Versandkosten:Versandkosten: 0.0 EUR, Lieferzeit: 4 Tage, DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Predicate Functor Logic
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Predicate Functor Logic - signiertes Exemplar

2010

ISBN: 9786130339197

Taschenbuch, ID: 1969985

2010. ; KT ; Predicate Functor Logic High Quality Content by WIKIPEDIA articles! In mathematical logic, predicate functor logic (PFL) is one of several ways to express first-order logic (also known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic devices called predicate functors (or predicate modifiers) that operate on terms to yield terms. PFL is mostly the invention of the logician and philosopher Willard Quine. Quine proposed PFL as a way of algebraizing first-order logic in a manner analogous to how Boolean algebra algebraizes propositional logic. He designed PFL to have exactly the expressive power of first-order logic with identity. Hence the metamathematics of PFL are exactly those of first-order logic with no interpreted predicate letters: both logics are sound, complete, and undecidable. Most work Quine published on logic and mathematics in the last 30 year of his life touched on PFL in some way. Buch Taschenbuch

Neues Buch Zeilenreich.de
Zeilenreich.de
Bestellungen mit Buch sind portofrei. Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Predicate Functor Logic
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Predicate Functor Logic - Taschenbuch

2010, ISBN: 6130339194

Gebundene Ausgabe, ID: 6110387

Mathematical Logic, First-order Logic, Predicate Logic, Quantification, Willard Van Orman Quine, Cylindric Algebra, Relation Algebra, Higher-order Function, Functional Completeness - Buch, gebundene Ausgabe, 104 S., Beilagen: Paperback, Erschienen: 2010 Betascript Publishers

Neues Buch Buch24.de
buch24de
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
Predicate Functor Logic
Autor:

Lambert M. Surhone

Titel:

Predicate Functor Logic

ISBN-Nummer:

9786130339197

High Quality Content by WIKIPEDIA articles! In mathematical logic, predicate functor logic (PFL) is one of several ways to express first-order logic (also known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic devices called predicate functors (or predicate modifiers) that operate on terms to yield terms. PFL is mostly the invention of the logician and philosopher Willard Quine. Quine proposed PFL as a way of algebraizing first-order logic in a manner analogous to how Boolean algebra algebraizes propositional logic. He designed PFL to have exactly the expressive power of first-order logic with identity. Hence the metamathematics of PFL are exactly those of first-order logic with no interpreted predicate letters: both logics are sound, complete, and undecidable. Most work Quine published on logic and mathematics in the last 30 year of his life touched on PFL in some way.

Detailangaben zum Buch - Predicate Functor Logic


EAN (ISBN-13): 9786130339197
ISBN (ISBN-10): 6130339194
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010

Buch in der Datenbank seit 09.05.2008 06:33:39
Buch zuletzt gefunden am 28.11.2016 13:24:06
ISBN/EAN: 9786130339197

ISBN - alternative Schreibweisen:
613-0-33919-4, 978-613-0-33919-7

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher