Elementare Aussagenlogik: mit 6 Tabellen
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Berlin [u.a.]
Springer
1991
|
| Series: | Mathematik für Informatiker
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | X, 228 S. Ill., graph. Darst. |
| ISBN: | 3540529748 9783540529743 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004051331 | ||
| 003 | DE-604 | ||
| 005 | 20150421 | ||
| 007 | t | ||
| 008 | 900903s1991 gw ad|| |||| 00||| ger d | ||
| 020 | |a 3540529748 |9 3-540-52974-8 | ||
| 020 | |a 9783540529743 |9 978-3-540-52974-3 | ||
| 035 | |a (OCoLC)243435249 | ||
| 035 | |a (DE-599)BVBBV004051331 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-19 |a DE-91G |a DE-384 |a DE-473 |a DE-739 |a DE-355 |a DE-20 |a DE-824 |a DE-29T |a DE-29 |a DE-706 |a DE-634 |a DE-83 |a DE-188 |a DE-573 |a DE-B768 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 084 | |a MAT 030f |2 stub | ||
| 100 | 1 | |a Bauer, Friedrich L. |d 1924-2015 |e Verfasser |0 (DE-588)10427459X |4 aut | |
| 245 | 1 | 0 | |a Elementare Aussagenlogik |b mit 6 Tabellen |c Friedrich L. Bauer ; Martin Wirsing |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1991 | |
| 300 | |a X, 228 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Mathematik für Informatiker | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Aussagenlogik |0 (DE-588)4136098-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Aussagenlogik |0 (DE-588)4136098-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Aussagenlogik |0 (DE-588)4136098-9 |D s |
| 689 | 1 | 1 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Wirsing, Martin |d 1948- |e Verfasser |0 (DE-588)14353582X |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=002533974&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
Record in the Search Index
| _version_ | 1805083472294838272 |
|---|---|
| adam_text |
FRIEDRICH L. BAUER MARTIN WIRSING ELEMENTARE AUSSAGENLOGIK MIT 87
ABBILDUNGEN UND 6 TABELLEN SPRINGER-VERLAG BERLIN HEIDELBERG NEW YORK
LONDON PARIS TOKYO HONGKONG BARCELONA INHALTSVERZEICHNIS EINLEITUNG 1
KAPITEL I. NATUERLICHES BEGRIFFSFELD 1. AUSSAGEN UND AUSSAGENVERBINDUNGEN
2 1.1 ZWEIWERTIGER AUSSAGENRAUM 2 1.2 AUSSAGENVERBINDUNGEN 3 1.3
EXTENSIONALITAET DER AUSSAGENLOGIK 4 2. AUSSAGEFORMEN 5 2.1 ZEICHEN 5 2.2
AUSSAGENLOGISCJHE GRUNDFUNKTIONEN 6 2.3 AUSSAGEKONSTANTEN 7 3. SYNTAX
DER AUSSAGEFORMEN 8 3.1 KONTEXTFREIE GRAMMATIK 8 3.2 ALGORITHMEN ZUR
ERKENNUNG VON AUSSAGEFORMEN 12 3.3 INDUKTIVE BEWEISE UEBER DEN AUFBAU VON
AUSSAGEFORMEN 13 3.4 VIELFACHKONJUNKTION, VIELFACHADJUNKTION 14 3.5
GEBUNDENE BEZEICHNER 15 3.6 SYNTAKTISCHE IDENTITAETEN 16 KAPITEL II.
WERTVERLAUF 4. TAUTOLOGIEN UND ERFUELLBARE AUSSAGEFORMEN 18 4.1 BEWERTUNG
VON AUSSAGEFORMEN 18 4.2 TAUTOLOGIE UND KONTRADIKTION 23 4.3
IDENTIFIZIERUNG VON UNBESTIMMTEN 25 4.4 HAUPTREGELN 26 4.5
EINSETZUNGSREGEL 27 4.6 FORMGESETZE 29 5. AEQUIVALENZ UND ORDNUNG VON
AUSSAGEFORMEN 29 5.1 WERTVERLAUFSINKLUSION 29 5.2 DIE STAERKER-REGEL FUER
IMPLIKATIONEN 31 VIII INHALTSVERZEICHNIS 5.3 WERTVERLAUFSGLEICHHEIT 32
5.4 DIE GLEICHSTARK-REGEL FUER BIIMPLIKATIONEN 33 5.5
WERTVERLAUFSGLEICHHEIT IN TEILSPRACHEN 34 5.6 IMPLIKATION UND
BIIMPLIKATION, ANREICHERUNG 38 5.7 VERTRAEGLICHKEIT 38 6. DIE
SELBSTAENDIGE ROLLE DER SUBJUNKTION 39 6.1 SUBJUNKTION ALS
UMKEHROPERATION 39 6.2 SCHRANKEN 40 6.3 DIE STAERKERRELATION ALS
VERBANDSORDNUNG 41 6.4 INTERPOLATION 44 KAPITEL III. FUNKTIONALE UND
ALGEBRAISCHE ASPEKTE 7. AUSSAGENLOGISCHE FUNKTIONEN 46 7.1
ERSETZBARKEITSTHEOREM 46 7.2 AQUIVALENZKLASSEN 49 7.3
COUFFIGNAL-CODIERUNG UND WUERFEL-DARSTELLUNGEN 53 7.4 FOLGEN-CODIERUNG
ALLER KLASSEN GLEICHSTARKER AUSSAGEFORMEN . 55 8.
REPRAESENTANTENSYSTEME 57 8.1 REPRAESENTATIONSTHEOREM FUER AUSSAGENLOGISCHE
FUNKTIONEN 57 8.2 ELIMINATION VON GRUNDOPERATIONEN: C UND E 59 8.3
ELIMINATION VON GRUNDOPERATIONEN: A ODER K 60 8.4 ZURUECKFUEHRUNG AUF
SUBJUNKTION UND NEGATION 61 8.5 ZURUECKFUEHRUNG AUF BISUBJUNKTION UND
NEGARAON 62 8.6 K ODER A ALS BASIS 62 8.7 DREISTELLIGE OPERATIONEN 63
8.8 DUALITAET 64 8.9 MINIMALE SPRACHBASEN 65 9. ALGEBRA DER AUSSAGEFORMEN
70 9.1 INDUZIERTE OPERATIONEN AUF AUSSAGEFORMEN 70 9.2 DER BOOLESCHE
VERBAND DER AUSSAGEFORMEN 70 9.3 DIE GRUPPE UND DER BOOLESCHE RING DER
AUSSAGEFORMEN 72 9.4 ANDERE ALGEBRAISCHE STRUKTUREN VON AUSSAGEFORMEN 73
9.5 MENGEN ALS MODELLE DES BOOLESCHEN VERBANDS 75 9.6 RECHNEN UNTER
VERWENDUNG DER COUFFIGNAL-CODIERUNG 78 10. PROGRAMMIERSPRACHEN:
FALLUNTERSCHEIDUNGSKALKUEL 80 10.1 VEREINFACHUNGEN 81 10.2 GRUNDGESETZE
UEBER DYADISCHE FALLUNTERSCHEIDUNGEN 82 10.3 DIE DREISTELLIGE OPERATION B
ALS FALLUNTERSCHEIDUNG 85 10.4 SEQUENTIELLE UND BEWACHTE
FALLUNTERSCHEIDUNGEN 85 10.5 UEBERGANG VON SEQUENTIELLER ZU BEWACHTER
FALLUNTERSCHEIDUNG . 86 10.6 UEBERGANG VON BEWACHTER ZU SEQUENTIELLER
FALLUNTERSCHEIDUNG . 86 INHALTSVERZEICHNIS IX KAPITEL IV. FORMALE
REDUKTIONEN 11. AUSWERTUNG UND TEILAUSWERTUNG *VON AUSSEN" 88 11.1
ZURUECKGESTELLTE OPERATIONEN 89 11.2 TEILAUSWERTUNG 89 11.3 QUINES
ENTSCHEIDUNGSALGORITHMUS FUER TAUTOLOGIEN 90 12. NORMALFORMEN 93 12.1
AUSSAGENLOGISCHE VERNEINUNGSTECHNIK 93 12.2 VERNEINUNGSTECHNISCHE
NORMALFORM: NAND-BAEUME 94 12.3 VERNEINUNGSTECHNISCHE NORMALFORM:
KONTAKTSCHALTUNGEN 95 12.4 PRAEMISSEN-NORMALFORM 99 12.5
PRAEMISSEN-NORMALFORM: ENTSCHEIDUNGSBAEUME UND -NETZE 101 13. ADJUNKTIVE
UND KONJUNKTIVE NORMALFORMEN 108 13.1 ADJUNKTIVE NORMALFORM 108 13.2
KONJUNKTIVE NORMALFORM 109 13.3 BEREINIGTE NORMALFORMEN 110 13.4
KLAUSELN UND KLAUSELMENGEN 110 13.5 ABSCHLIESSUNG 112 13.6 BETHS
ENTSCHEIDUNGSALGORITHMUS FUER TAUTOLOGIEN 114 13.7 QUINES ALGORITHMUS FUER
ADJUNKTIVE NORMALFORMEN 117 13.8 ANWENDUNG AUF DIODENNETZE UND
NOR-SCHALTUNGEN 117 14. KANONISCHE NORMALFORMEN 119 14.1 ADJUNKTIVE
BOOLESCHE NORMALFORM 119 14.2 DAS NORMALFORMTHEOREM VON BOOLE 120 14.3
NOCHMALS: NACHWEIS DER TAUTOLOGIEEIGENSCHAFT 120 14.4 KONJUNKTIVE
BOOLESCHE NORMALFORM 121 14.5 UEBERGANG ZWISCHEN DEN KANONISCHEN
NORMALFORMEN 122 14.6 DIE KANONISCHE PRAEMISSEN-NORMALFORM 122 14.7 DIE
KANONISCHE RING-NORMALFORM 123 15. DIE RESOLVENTENMETHODE 125 15.1
ENTSCHEIDUNG EINER TAUTOLOGIE 125 15.2 DER SCHICHTENALGORITHMUS UND DER
ELIMINATIONSALGORITHMUS . . . 126 15.3 DIE DUALE METHODE: PFEILGERUESTE
130 15.4 MINIMALE NORMALFORMEN 134 15.5 MINIMIERUNG EINER KANONISCHEN
NORMALFORM 137 16. DIE METHODE DES WIDERSPRUCHS : 140 KAPITEL V. FORMALE
ABLEITUNGEN 17. GEWINNUNG VON SCHLUSSREGELN 142 17.1 SCHLUSSREGELN FUER
TAUTOLOGIEN 142 17.2 SCHLUSSREGELN FUER FOLGERUNGEN 143 17.3 LINKSSTABILER
BEWEIS VON FOLGERUNGEN 146 17.4 EIN FORMALES RELATIONENTHEORETISCHES
SYSTEM 147 17.5 TECHNIK DER FORMALEN ABLEITUNG 148 X INHALTSVERZEICHNIS
18. ABLEITUNGSSYSTEME FUER TAUTOLOGIEN 149 18.1 DAS KLASSISCHE
ABLEITUNGSSYSTEM 150 18.2 DURCHFUEHRUNG VON ABLEITUNGEN 153 18.3
VOLLSTAENDIGKEIT 155 18.4 FORMALSPRACHLICHER ASPEKT 155 18.5 VARIANTEN
DES KLASSISCHEN ABLEITUNGSSYSTEMS 156 18.6 INTUITIONISTISCHE
AUSSAGENLOGIK 157 19. ABLEITUNGSSYSTEME FUER FOLGERUNGEN 160 19.1 DAS
GENTZENSCHE ABLEITUNGSSYSTEM 160 19.2 MONOTONIESATZ 161 19.3
DEDUKTIONSSATZ 163 19.4 VOLLSTAENDIGKEIT 163 20. KOMPAKTHEIT 164 20.1
KOMPAKTHEITSSATZ FUER DIE ERFUELLBARKEIT 164 20.2 KOMPAKTHEITSSATZ FUER
FOLGERUNGEN 165 20.3 DUALER KOMPAKTHEITSSATZ 165 KAPITEL VI. MODALE
AUSSAGENLOGIKEN 21. DIE SPRACHE DER MODALLOGIKEN 167 21.1 DUALITAET DER
MODALEN JUNKTOREN, MINIMALE MODALLOGIK K . . 167 21.2 DEONTISCHE UND
ALETHISCHE MODALLOGIKEN 171 21.3 TEMPORALE UND EXISTENTIALE MODALLOGIKEN
173 21.4 ZUSAMMENHANG DER MODALEN LOGIKEN 176 22. SEMANTIK MODALER
LOGIKEN 176 22.1 KRIPKE-STRUKTUREN 176 22.2 OMEGA-MODELL, TEMPORALE
MODALLOGIKEN S4-4 UND GRZ 180 22.3 PRAEORDNUNG UND AEQUIVALENZ VON MODALEN
AUSSAGEFORMEN . 182 22.4 ENTSCHEIDUNGSALGORITHMEN FUER MODALE
AUSSAGEFORMEN 183 22.5 ABLEITUNGSSYSTEME FUER MODALLOGIKEN 184 23.
DIMODALE LOGIKEN 184 23.1 DIE AXIOME VON MCTAGGART UND PRIOR 184 23.2
SPEZIELLE DIMODALE LOGIKEN 185 24. MULTIMODALE LOGIKEN 188 24.1 MODALE
SCHRITT-LOGIKEN 188 24.2 KRIPKE-STRUKTUREN MIT HUELLEN 191 24.3
KRIPKE-STRUKTUREN DER SCHRITT-LOGIKEN 195 HINWEISE ZUR LOESUNG DER
AUFGABEN 197 AUSSAGENLOGISCHE OPERATIONEN 205 TAUTOLOGIEN 206
SCHLUSSREGELN FUER TAUTOLOGIEN 208 SCHLUSSREGELN FUER FOLGERUNGEN 210
MODALLOGISCHE REGELN UND GESETZE 211 LITERATUR UND QUELLEN 213 NAMEN-
UND SACHVERZEICHNIS 215 |
| any_adam_object | 1 |
| author | Bauer, Friedrich L. 1924-2015 Wirsing, Martin 1948- |
| author_GND | (DE-588)10427459X (DE-588)14353582X |
| author_facet | Bauer, Friedrich L. 1924-2015 Wirsing, Martin 1948- |
| author_role | aut aut |
| author_sort | Bauer, Friedrich L. 1924-2015 |
| author_variant | f l b fl flb m w mw |
| building | Verbundindex |
| bvnumber | BV004051331 |
| classification_rvk | SK 130 ST 120 ST 125 |
| classification_tum | MAT 030f |
| ctrlnum | (OCoLC)243435249 (DE-599)BVBBV004051331 |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV004051331</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150421</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900903s1991 gw ad|| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540529748</subfield><subfield code="9">3-540-52974-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540529743</subfield><subfield code="9">978-3-540-52974-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)243435249</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004051331</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-B768</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="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bauer, Friedrich L.</subfield><subfield code="d">1924-2015</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)10427459X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Elementare Aussagenlogik</subfield><subfield code="b">mit 6 Tabellen</subfield><subfield code="c">Friedrich L. Bauer ; Martin Wirsing</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 228 S.</subfield><subfield code="b">Ill., graph. Darst.</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="490" ind1="0" ind2=" "><subfield code="a">Mathematik für Informatiker</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</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">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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">Wirsing, Martin</subfield><subfield code="d">1948-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)14353582X</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=002533974&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV004051331 |
| illustrated | Illustrated |
| indexdate | 2024-07-20T07:49:06Z |
| institution | BVB |
| isbn | 3540529748 9783540529743 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002533974 |
| oclc_num | 243435249 |
| open_access_boolean | |
| owner | DE-12 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-739 DE-355 DE-BY-UBR DE-20 DE-824 DE-29T DE-29 DE-706 DE-634 DE-83 DE-188 DE-573 DE-B768 |
| owner_facet | DE-12 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-739 DE-355 DE-BY-UBR DE-20 DE-824 DE-29T DE-29 DE-706 DE-634 DE-83 DE-188 DE-573 DE-B768 |
| physical | X, 228 S. Ill., graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Springer |
| record_format | marc |
| series2 | Mathematik für Informatiker |
| spelling | Bauer, Friedrich L. 1924-2015 Verfasser (DE-588)10427459X aut Elementare Aussagenlogik mit 6 Tabellen Friedrich L. Bauer ; Martin Wirsing Berlin [u.a.] Springer 1991 X, 228 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Mathematik für Informatiker Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Aussagenlogik (DE-588)4136098-9 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Aussagenlogik (DE-588)4136098-9 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Wirsing, Martin 1948- Verfasser (DE-588)14353582X aut GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002533974&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Bauer, Friedrich L. 1924-2015 Wirsing, Martin 1948- Elementare Aussagenlogik mit 6 Tabellen Theoretische Informatik (DE-588)4196735-5 gnd Aussagenlogik (DE-588)4136098-9 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4136098-9 (DE-588)4151278-9 |
| title | Elementare Aussagenlogik mit 6 Tabellen |
| title_auth | Elementare Aussagenlogik mit 6 Tabellen |
| title_exact_search | Elementare Aussagenlogik mit 6 Tabellen |
| title_full | Elementare Aussagenlogik mit 6 Tabellen Friedrich L. Bauer ; Martin Wirsing |
| title_fullStr | Elementare Aussagenlogik mit 6 Tabellen Friedrich L. Bauer ; Martin Wirsing |
| title_full_unstemmed | Elementare Aussagenlogik mit 6 Tabellen Friedrich L. Bauer ; Martin Wirsing |
| title_short | Elementare Aussagenlogik |
| title_sort | elementare aussagenlogik mit 6 tabellen |
| title_sub | mit 6 Tabellen |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Aussagenlogik (DE-588)4136098-9 gnd |
| topic_facet | Theoretische Informatik Aussagenlogik Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002533974&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT bauerfriedrichl elementareaussagenlogikmit6tabellen AT wirsingmartin elementareaussagenlogikmit6tabellen |