Mathematische Logik - kurzgefasst:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Heidelberg [u.a.]
Spektrum, Akad. Verl..
2002
|
| Ausgabe: | 2. Aufl. |
| Schriftenreihe: | Hochschultaschenbuch
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Hier auch später erschienene, unveränderte Nachdrucke |
| Beschreibung: | VIII, 214 S. |
| ISBN: | 3827413877 9783827413871 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV014670807 | ||
| 003 | DE-604 | ||
| 005 | 20160509 | ||
| 007 | t | ||
| 008 | 020820s2002 gw |||| 00||| ger d | ||
| 016 | 7 | |a 964959062 |2 DE-101 | |
| 020 | |a 3827413877 |9 3-8274-1387-7 | ||
| 020 | |a 9783827413871 |9 978-3-8274-1387-1 | ||
| 035 | |a (OCoLC)76376650 | ||
| 035 | |a (DE-599)BVBBV014670807 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-20 |a DE-1046 |a DE-1051 |a DE-573 |a DE-1028 |a DE-91G |a DE-521 |a DE-634 |a DE-11 |a DE-188 |a DE-19 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a MAT 030f |2 stub | ||
| 084 | |a 27 |2 sdnb | ||
| 084 | |a DAT 540f |2 stub | ||
| 100 | 1 | |a Tuschik, Hans-Peter |d 1948- |e Verfasser |0 (DE-588)128629312 |4 aut | |
| 245 | 1 | 0 | |a Mathematische Logik - kurzgefasst |c Hans-Peter Tuschik ; Helmut Wolter |
| 250 | |a 2. Aufl. | ||
| 264 | 1 | |a Heidelberg [u.a.] |b Spektrum, Akad. Verl.. |c 2002 | |
| 300 | |a VIII, 214 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Hochschultaschenbuch | |
| 500 | |a Hier auch später erschienene, unveränderte Nachdrucke | ||
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Wolter, Helmut |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009953315&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009953315 | ||
Datensatz im Suchindex
| _version_ | 1804129421996589056 |
|---|---|
| adam_text | HANS-PETER TUSCHIK/HELMUT WOLTER MATHEMATISCHE LOGIK KURZGEFASST 2.
AUFLAGE SPEKTRUM AKADEMISCHER VERLAG HEIDELBERG * BERLIN INHALT
EINLEITUNG 1 1 AUSSAGENLOGIK 5 1.1 AUSDRUECKE UND KONNEKTOREN 5 1.2
SEMANTIK 9 1.3 SCHLUSSREGELN UND VOLLSTAENDIGKEIT 21 1.4 NORMALFORMEN 30
1.5 AUFGABEN 35 2 PRAEDIKATENLOGIK 37 2.1 STRUKTUREN 37 2.2 ELEMENTARE
SPRACHEN 45 2.3 BEWEISBARKEIT 61 2.4 VOLLSTAENDIGKEIT DER PRAEDIKATENLOGIK
72 2.5 AUFGABEN 79 3 MODELLTHEORIE 81 3.1 UNTERSTRUKTUREN UND
STRUKTURERWEITERUNGEN 81 3.2 UNIVERSALE UND INDUKTIVE THEORIEN 90 3.3
VOLLSTAENDIGKEIT UND MODELLVOLLSTAENDIGKEIT 97 3.4 ELIMINATION DER
QUANTOREN 111 3.5 MODELLVERTRAEGLICHKEIT 116 3.6 PRODUKTE 119 3.6.1
DIREKTES PRODUKT 120 3.6.2 ALLGEMEINES DIREKTES PRODUKT 122 3.6.3
REDUZIERTES PRODUKT 123 3.6.4 ULTRAPRODUKT 124 3.7 HORNTHEORIEN 128 3.8
AUFGABEN 132 VIII INHALT 4 ENTSCHEIDBARKEIT ELEMENTARER THEORIEN 135 4.1
BERECHENBARE FUNKTIONEN 136 4.2 ENTSCHEIDBARKEIT 145 4.3
UNENTSCHEIDBARKEIT 149 4.4 AUFGABEN 158 5 MENGENLEHRE 161 5.1
VORBEMERKUNGEN 161 5.2 DAS MENGENUNIVERSUM 163 5.3 ORDINALE 177 5.4 DAS
AUSWAHLAXIOM 186 5.5 KARDINALZAHLEN 191 5.6 ERWEITERUNGEN DER
MENGENLEHRE 197 5.7 AUFGABEN 201 VERZEICHNIS DER BOXEN 203 LITERATUR 204
SACHREGISTER 205 VERWENDETE ZEICHEN 213
|
| any_adam_object | 1 |
| author | Tuschik, Hans-Peter 1948- Wolter, Helmut |
| author_GND | (DE-588)128629312 |
| author_facet | Tuschik, Hans-Peter 1948- Wolter, Helmut |
| author_role | aut aut |
| author_sort | Tuschik, Hans-Peter 1948- |
| author_variant | h p t hpt h w hw |
| building | Verbundindex |
| bvnumber | BV014670807 |
| classification_rvk | SK 130 |
| classification_tum | MAT 030f DAT 540f |
| ctrlnum | (OCoLC)76376650 (DE-599)BVBBV014670807 |
| discipline | Informatik Mathematik |
| edition | 2. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01665nam a2200433 c 4500</leader><controlfield tag="001">BV014670807</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160509 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020820s2002 gw |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">964959062</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3827413877</subfield><subfield code="9">3-8274-1387-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783827413871</subfield><subfield code="9">978-3-8274-1387-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)76376650</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014670807</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-20</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-19</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">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">27</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Tuschik, Hans-Peter</subfield><subfield code="d">1948-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128629312</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematische Logik - kurzgefasst</subfield><subfield code="c">Hans-Peter Tuschik ; Helmut Wolter</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg [u.a.]</subfield><subfield code="b">Spektrum, Akad. Verl..</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 214 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="490" ind1="0" ind2=" "><subfield code="a">Hochschultaschenbuch</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Hier auch später erschienene, unveränderte Nachdrucke</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wolter, Helmut</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=009953315&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-009953315</subfield></datafield></record></collection> |
| id | DE-604.BV014670807 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T19:04:53Z |
| institution | BVB |
| isbn | 3827413877 9783827413871 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009953315 |
| oclc_num | 76376650 |
| open_access_boolean | |
| owner | DE-20 DE-1046 DE-1051 DE-573 DE-1028 DE-91G DE-BY-TUM DE-521 DE-634 DE-11 DE-188 DE-19 DE-BY-UBM |
| owner_facet | DE-20 DE-1046 DE-1051 DE-573 DE-1028 DE-91G DE-BY-TUM DE-521 DE-634 DE-11 DE-188 DE-19 DE-BY-UBM |
| physical | VIII, 214 S. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Spektrum, Akad. Verl.. |
| record_format | marc |
| series2 | Hochschultaschenbuch |
| spelling | Tuschik, Hans-Peter 1948- Verfasser (DE-588)128629312 aut Mathematische Logik - kurzgefasst Hans-Peter Tuschik ; Helmut Wolter 2. Aufl. Heidelberg [u.a.] Spektrum, Akad. Verl.. 2002 VIII, 214 S. txt rdacontent n rdamedia nc rdacarrier Hochschultaschenbuch Hier auch später erschienene, unveränderte Nachdrucke Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s DE-604 Wolter, Helmut Verfasser aut HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009953315&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Tuschik, Hans-Peter 1948- Wolter, Helmut Mathematische Logik - kurzgefasst Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 |
| title | Mathematische Logik - kurzgefasst |
| title_auth | Mathematische Logik - kurzgefasst |
| title_exact_search | Mathematische Logik - kurzgefasst |
| title_full | Mathematische Logik - kurzgefasst Hans-Peter Tuschik ; Helmut Wolter |
| title_fullStr | Mathematische Logik - kurzgefasst Hans-Peter Tuschik ; Helmut Wolter |
| title_full_unstemmed | Mathematische Logik - kurzgefasst Hans-Peter Tuschik ; Helmut Wolter |
| title_short | Mathematische Logik - kurzgefasst |
| title_sort | mathematische logik kurzgefasst |
| topic | Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematische Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009953315&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT tuschikhanspeter mathematischelogikkurzgefasst AT wolterhelmut mathematischelogikkurzgefasst |