Classical and fuzzy concepts in mathematical logic and applications:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Boca Raton [u.a.]
CRC Press
1998
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 364 S. |
| ISBN: | 0849331978 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012074155 | ||
| 003 | DE-604 | ||
| 005 | 20180607 | ||
| 007 | t | ||
| 008 | 980724s1998 |||| 00||| eng d | ||
| 020 | |a 0849331978 |9 0-8493-3197-8 | ||
| 035 | |a (OCoLC)38738816 | ||
| 035 | |a (DE-599)BVBBV012074155 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29 |a DE-739 |a DE-634 |a DE-11 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 511.3 |2 21 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Reghiş, Mircea |e Verfasser |0 (DE-588)1138805254 |4 aut | |
| 245 | 1 | 0 | |a Classical and fuzzy concepts in mathematical logic and applications |c Mircea Reghiş ; Eugene Roventa |
| 264 | 1 | |a Boca Raton [u.a.] |b CRC Press |c 1998 | |
| 300 | |a 364 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Fuzzy logic | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Fuzzy-Logik |0 (DE-588)4341284-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Fuzzy-Logik |0 (DE-588)4341284-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Roventa, Eugene |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008173680&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008173680 | ||
Datensatz im Suchindex
| _version_ | 1804126674809257984 |
|---|---|
| adam_text | CLASSICAL AND FUZZY CONCEPTS IN MATHEMATICAL LOGIC AND APPLICATIONS
MIRCEA REGHI§ EUGENE ROVENTA CRC PRESS BOCA RATON BOSTON LONDON NEW YORK
WASHINGTON, D.C. CONTENTS INTRODUCTION TO NAIVE MATHEMATICAL LOGIC I
PROPOSITIONAL LOGIC 15 1 THE FORMAL LANGUAGE OF PROPOSITIONAL LOGIC 23
1.1 THE FORMAL LANGUAGE CO OF PROPOSITIONAL LOGIC USING PAREN- THESES 23
1.2 THE FORMAL LANGUAGE OF PROPOSITIONAL LOGIC WITHOUT PAREN- THESES
(POLISH NOTATION) 27 2 THE TRUTH STRUCTURE ON 0 IN SEMANTIC VERSION 37
2.1 BOOLEAN INTERPRETATIONS OF THE LANGUAGE CO 37 2.2 SEMANTIC DEDUCTION
51 2.3 THE SEMANTIC LINDENBAUM ALGEBRA OF O 63 3 THE TRUTH STRUCTURE ON
C O IN THE SYNTACTIC VERSION 69 3.1 THE SYSTEM OF HILBERT H: AXIOMS,
INFERENCE, THEOREMS . . 69 3.2,. METATHEOREMS 72 3.3 THE SYNTACTIC
LINDENBAUM ALGEBRA OF CO- NORMAL FORMULAS 88 4 CONNECTIONS BETWEEN THE
TRUTH STRUCTURES ON CO IN SEMANTIC AND SYNTACTIC VERSIONS 97 4.1 ALL
THEOREMS ARE TAUTOLOGIES (SOUNDNESS OF PROPOSITIONAL LOGIC) 97 4.2 ALL
TAUTOLOGIES ARE THEOREMS (COMPLETENESS OF PROPOSITIONAL LOGIC) 100 4.3
ANOTHER PROOF OF THE COMPLETENESS METATHEOREM 104 5 OTHER SYNTACTIC
VERSIONS OF THE TRUTH STRUCTURE ON 0 107 5.1 SYSTEMS L AND M:
EQUIVALENCE TO THE SYSTEM H 107 5.2 SOME REMARKS ABOUT THE INDEPENDENCE
OF AXIOMS 121 5.3 SYSTEM C OF LUKASIEWICZ AND TARSKI 127 6 ELEMENTS OF
FUZZY PROPOSITIONAL LOGIC 131 6.1 SOME ELEMENTARY NOTIONS ABOUT FUZZY
SETS 132 6.2 THE LANGUAGE OF FUZZY PROPOSITIONAL LOGIC 135 6.3 THE
SEMANTIC TRUTH STRUCTURE OF FUZZY PROPOSITIONAL LOGIC 136 6.4 ELEMENTS
OF FUZZY PROPOSITIONAL LOGIC IN THE SYNTACTIC VERSIONL45 7 APPLICATIONS
OF PROPOSITIONAL LOGIC IN COMPUTER SCIENCE 153 7.1 RECALL LINDENBAUM
ALGEBRA OF THE LANGUAGE O 153 7.2 SOME CONNECTIONS OF 0 WITH
PROGRAMMING LANGUAGES . . . 156 7.3 KARNAUGH MAPS 157 7.4 SWITCHING
NETWORKS 159 7.5 LOGICAL NETWORKS 175 EXERCISES (PART I) 178 II
PREDICATE LOGIC 183 8 INTRODUCTORY CONSIDERATIONS 187 9 THE FORMAL
LANGUAGE OF PREDICATE LOGIC 197 9.1 THE FORMAL ALPHABET OF PREDICATE
LOGIC: FORMAL WORDS . . 197 9.2 TERMS AND FORMULAS * 201 10 THE SEMANTIC
TRUTH STRUCTURE ON THE LANGUAGE C OF PREDICATE LOGIC 205 10.1 THE NOTION
OF INTERPRETATION OF THE LANGUAGE C 205 10.2 SEMANTIC DEDUCTION IN
PREDICATE LOGIC 221 11 THE SYNTACTIC TRUTH STRUCTURE ON THE LANGUAGE C
OF PREDICATE LOGIC 233 11.1 AXIOMS, THEOREMS 233 11.2 SOME REMARKABLE
METATHEOREMS 237 11.3 COMPLETENESS OF PREDICATE LOGIC 243 12 ELEMENTS OF
FUZZY PREDICATE LOGIC 259 12.1 THE LANGUAGE OF FUZZY PREDICATE LOGIC 259
12.2 THE SEMANTIC TRUTH STRUCTURE OF FUZZY PREDICATE LOGIC . . 261 12.3
THE SYNTACTIC TRUTH STRUCTURE OF FUZZY PREDICATE LOGIC . . 265 13
FURTHER APPLICATIONS OF LOGIC IN COMPUTER SCIENCE 273 13.1 ELEMENTS OF
THE THEORY OF RESOLUTION 273 13.2 ELEMENTS OF LOGICAL FOUNDATIONS OF
PROLOG 296 13.3 ELEMENTS OF APPROXIMATE REASONING FOR EXPERT SYSTEMS
DESIGN 306 EXERCISES (PART II) 315 A BOOLEAN ALGEBRAS 321 A.I BOOLEAN
ALGEBRAS. DEFINITIONS. EXAMPLES 321 A.2 ATOMS, ATOMIC AND FINITE BOOLEAN
ALGEBRAS 325 A.3 BOOLEAN ALGEBRA OF BOOLEAN FUNCTIONS 336 B MV-ALGEBRAS
339 B.I DEFINITIONS OF MV-ALGEBRAS, BASIC PROPERTIES; EXAMPLES . . 339
B.2 MV-SUBALGEBRAS AND HOMOMORPHISMS OF MV-ALGEBRAS . . . 344 B.3 FINITE
MV-ALGEBRAS 346 C GENERAL CONSIDERATIONS ABOUT FUZZY SETS 351 C.I
INTRODUCTION TO FUZZY SET THEORY . . 351 C.2 BASIC DEFINITIONS AND
EXAMPLES 354 REFERENCES 359 INDEX 363
|
| any_adam_object | 1 |
| author | Reghiş, Mircea Roventa, Eugene |
| author_GND | (DE-588)1138805254 |
| author_facet | Reghiş, Mircea Roventa, Eugene |
| author_role | aut aut |
| author_sort | Reghiş, Mircea |
| author_variant | m r mr e r er |
| building | Verbundindex |
| bvnumber | BV012074155 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 SK 130 |
| ctrlnum | (OCoLC)38738816 (DE-599)BVBBV012074155 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01574nam a2200421 c 4500</leader><controlfield tag="001">BV012074155</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180607 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980724s1998 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0849331978</subfield><subfield code="9">0-8493-3197-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)38738816</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012074155</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Reghiş, Mircea</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1138805254</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Classical and fuzzy concepts in mathematical logic and applications</subfield><subfield code="c">Mircea Reghiş ; Eugene Roventa</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boca Raton [u.a.]</subfield><subfield code="b">CRC Press</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">364 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fuzzy logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fuzzy-Logik</subfield><subfield code="0">(DE-588)4341284-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Fuzzy-Logik</subfield><subfield code="0">(DE-588)4341284-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Roventa, Eugene</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008173680&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008173680</subfield></datafield></record></collection> |
| id | DE-604.BV012074155 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:21:13Z |
| institution | BVB |
| isbn | 0849331978 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008173680 |
| oclc_num | 38738816 |
| open_access_boolean | |
| owner | DE-29 DE-739 DE-634 DE-11 |
| owner_facet | DE-29 DE-739 DE-634 DE-11 |
| physical | 364 S. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | CRC Press |
| record_format | marc |
| spelling | Reghiş, Mircea Verfasser (DE-588)1138805254 aut Classical and fuzzy concepts in mathematical logic and applications Mircea Reghiş ; Eugene Roventa Boca Raton [u.a.] CRC Press 1998 364 S. txt rdacontent n rdamedia nc rdacarrier Fuzzy logic Logic, Symbolic and mathematical Fuzzy-Logik (DE-588)4341284-1 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Fuzzy-Logik (DE-588)4341284-1 s DE-604 Mathematische Logik (DE-588)4037951-6 s Roventa, Eugene Verfasser aut GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008173680&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Reghiş, Mircea Roventa, Eugene Classical and fuzzy concepts in mathematical logic and applications Fuzzy logic Logic, Symbolic and mathematical Fuzzy-Logik (DE-588)4341284-1 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4341284-1 (DE-588)4037951-6 |
| title | Classical and fuzzy concepts in mathematical logic and applications |
| title_auth | Classical and fuzzy concepts in mathematical logic and applications |
| title_exact_search | Classical and fuzzy concepts in mathematical logic and applications |
| title_full | Classical and fuzzy concepts in mathematical logic and applications Mircea Reghiş ; Eugene Roventa |
| title_fullStr | Classical and fuzzy concepts in mathematical logic and applications Mircea Reghiş ; Eugene Roventa |
| title_full_unstemmed | Classical and fuzzy concepts in mathematical logic and applications Mircea Reghiş ; Eugene Roventa |
| title_short | Classical and fuzzy concepts in mathematical logic and applications |
| title_sort | classical and fuzzy concepts in mathematical logic and applications |
| topic | Fuzzy logic Logic, Symbolic and mathematical Fuzzy-Logik (DE-588)4341284-1 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Fuzzy logic Logic, Symbolic and mathematical Fuzzy-Logik Mathematische Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008173680&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT reghismircea classicalandfuzzyconceptsinmathematicallogicandapplications AT roventaeugene classicalandfuzzyconceptsinmathematicallogicandapplications |