Mathematische Logik mit Informatik-Anwendungen:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1977
|
| Schriftenreihe: | Heidelberger Taschenbücher, Sammlung Informatik
187 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Dieses Buch ist aus Skripten der Autoren zu ihrer Vorlesung "Mathematische Logik (für Informatiker)" entstanden. Diese sechsstündige Lehrveranstaltung, die seit dem Sommersemester 1974 jährlich an der Technischen Universität Berlin im Fachbereich Informatik abgehalten wird, will Informatik-Studenten etwa vom 4. Semester an mit Logik-Methoden vertraut machen und gleichzeitig einen Beitrag zur Mathematik-Ausbildung für Informatiker leisten. Dementsprechend handelt es sich um einen einführenden Text für "krasse" Anfänger in der Logik, der mit elementaren Mathematik-Kenntnissen lesbar ist und an Informatik-Voraussetzungen nur einfachste Konzepte von Programmiersprachen benötigt. Anliegen des Buches, das sich gleichermaßen an Mathematik- und Informatik-Studenten wendet, ist es, einerseits eine mathematisch zufriedenstellende Darstellung der Anfangsgründe der Prädikatenlogik der ersten Stufe zu geben, andererseits aber auch Anwendungen dieser Logik innerhalb der Informatik einheitlich in die Logik-Darstellung einzubeziehen. Der Versuch, ein Buch über Logik mit Informatik-Anwendungen zu schreiben, ist nicht ohne Probleme, da die Auswahl der Verbindungen von Logik und Informatik eine subjektive Entscheidung bleibt, so daß über den hier vorliegenden Text hinaus Raum für andere Berührungspunkte und für eine intensivere Gestaltung der hier im Text angeführten Anwendungen besteht. Man kann dabei z. B. an engere Verbindungen zur theoretischen Informatik denken oder an eine systematische Abhandlung der angesprochenen Anwendungsgebiete. Dieser Text will dazu anregen, Informatik und Logik so aufeinander zu beziehen, daß Logik als Hilfsmittel für die Informatik angesehen werden darf, d. h. als eine fruchtbare, Informatik-Ergebnisse hervorbringende Methode |
| Beschreibung: | 1 Online-Ressource (XV, 326 S.) |
| ISBN: | 9783642666353 9783540082026 |
| ISSN: | 0073-1684 |
| DOI: | 10.1007/978-3-642-66635-3 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042446379 | ||
| 003 | DE-604 | ||
| 005 | 20171122 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150324s1977 |||| o||u| ||||||ger d | ||
| 020 | |a 9783642666353 |c Online |9 978-3-642-66635-3 | ||
| 020 | |a 9783540082026 |c Print |9 978-3-540-08202-6 | ||
| 024 | 7 | |a 10.1007/978-3-642-66635-3 |2 doi | |
| 035 | |a (OCoLC)863787913 | ||
| 035 | |a (DE-599)BVBBV042446379 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-706 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a NAT 000 |2 stub | ||
| 100 | 1 | |a Bergmann, Eberhard |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Mathematische Logik mit Informatik-Anwendungen |c von Eberhard Bergmann, Helga Noll |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1977 | |
| 300 | |a 1 Online-Ressource (XV, 326 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Heidelberger Taschenbücher, Sammlung Informatik |v 187 |x 0073-1684 | |
| 500 | |a Dieses Buch ist aus Skripten der Autoren zu ihrer Vorlesung "Mathematische Logik (für Informatiker)" entstanden. Diese sechsstündige Lehrveranstaltung, die seit dem Sommersemester 1974 jährlich an der Technischen Universität Berlin im Fachbereich Informatik abgehalten wird, will Informatik-Studenten etwa vom 4. Semester an mit Logik-Methoden vertraut machen und gleichzeitig einen Beitrag zur Mathematik-Ausbildung für Informatiker leisten. Dementsprechend handelt es sich um einen einführenden Text für "krasse" Anfänger in der Logik, der mit elementaren Mathematik-Kenntnissen lesbar ist und an Informatik-Voraussetzungen nur einfachste Konzepte von Programmiersprachen benötigt. Anliegen des Buches, das sich gleichermaßen an Mathematik- und Informatik-Studenten wendet, ist es, einerseits eine mathematisch zufriedenstellende Darstellung der Anfangsgründe der Prädikatenlogik der ersten Stufe zu geben, andererseits aber auch Anwendungen dieser Logik innerhalb der Informatik einheitlich in die Logik-Darstellung einzubeziehen. Der Versuch, ein Buch über Logik mit Informatik-Anwendungen zu schreiben, ist nicht ohne Probleme, da die Auswahl der Verbindungen von Logik und Informatik eine subjektive Entscheidung bleibt, so daß über den hier vorliegenden Text hinaus Raum für andere Berührungspunkte und für eine intensivere Gestaltung der hier im Text angeführten Anwendungen besteht. Man kann dabei z. B. an engere Verbindungen zur theoretischen Informatik denken oder an eine systematische Abhandlung der angesprochenen Anwendungsgebiete. Dieser Text will dazu anregen, Informatik und Logik so aufeinander zu beziehen, daß Logik als Hilfsmittel für die Informatik angesehen werden darf, d. h. als eine fruchtbare, Informatik-Ergebnisse hervorbringende Methode | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Information |0 (DE-588)4026899-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Information |0 (DE-588)4026899-8 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 2 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 700 | 1 | |a Noll, Helga |d 1936- |e Sonstige |0 (DE-588)143656910 |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-66635-3 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SNA |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-SNA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027881626 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153143752130560 |
|---|---|
| any_adam_object | |
| author | Bergmann, Eberhard |
| author_GND | (DE-588)143656910 |
| author_facet | Bergmann, Eberhard |
| author_role | aut |
| author_sort | Bergmann, Eberhard |
| author_variant | e b eb |
| building | Verbundindex |
| bvnumber | BV042446379 |
| classification_tum | NAT 000 |
| collection | ZDB-2-SNA ZDB-2-BAD |
| ctrlnum | (OCoLC)863787913 (DE-599)BVBBV042446379 |
| 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 | Allgemeine Naturwissenschaft Mathematik |
| doi_str_mv | 10.1007/978-3-642-66635-3 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04248nmm a2200649zcb4500</leader><controlfield tag="001">BV042446379</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171122 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150324s1977 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642666353</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-66635-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540082026</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-08202-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-66635-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863787913</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042446379</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">NAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bergmann, Eberhard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematische Logik mit Informatik-Anwendungen</subfield><subfield code="c">von Eberhard Bergmann, Helga Noll</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1977</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XV, 326 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Heidelberger Taschenbücher, Sammlung Informatik</subfield><subfield code="v">187</subfield><subfield code="x">0073-1684</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Dieses Buch ist aus Skripten der Autoren zu ihrer Vorlesung "Mathematische Logik (für Informatiker)" entstanden. Diese sechsstündige Lehrveranstaltung, die seit dem Sommersemester 1974 jährlich an der Technischen Universität Berlin im Fachbereich Informatik abgehalten wird, will Informatik-Studenten etwa vom 4. Semester an mit Logik-Methoden vertraut machen und gleichzeitig einen Beitrag zur Mathematik-Ausbildung für Informatiker leisten. Dementsprechend handelt es sich um einen einführenden Text für "krasse" Anfänger in der Logik, der mit elementaren Mathematik-Kenntnissen lesbar ist und an Informatik-Voraussetzungen nur einfachste Konzepte von Programmiersprachen benötigt. Anliegen des Buches, das sich gleichermaßen an Mathematik- und Informatik-Studenten wendet, ist es, einerseits eine mathematisch zufriedenstellende Darstellung der Anfangsgründe der Prädikatenlogik der ersten Stufe zu geben, andererseits aber auch Anwendungen dieser Logik innerhalb der Informatik einheitlich in die Logik-Darstellung einzubeziehen. Der Versuch, ein Buch über Logik mit Informatik-Anwendungen zu schreiben, ist nicht ohne Probleme, da die Auswahl der Verbindungen von Logik und Informatik eine subjektive Entscheidung bleibt, so daß über den hier vorliegenden Text hinaus Raum für andere Berührungspunkte und für eine intensivere Gestaltung der hier im Text angeführten Anwendungen besteht. Man kann dabei z. B. an engere Verbindungen zur theoretischen Informatik denken oder an eine systematische Abhandlung der angesprochenen Anwendungsgebiete. Dieser Text will dazu anregen, Informatik und Logik so aufeinander zu beziehen, daß Logik als Hilfsmittel für die Informatik angesehen werden darf, d. h. als eine fruchtbare, Informatik-Ergebnisse hervorbringende Methode</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</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="650" ind1="0" ind2="7"><subfield code="a">Information</subfield><subfield code="0">(DE-588)4026899-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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="1"><subfield code="a">Information</subfield><subfield code="0">(DE-588)4026899-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Noll, Helga</subfield><subfield code="d">1936-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)143656910</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-66635-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SNA</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SNA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027881626</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV042446379 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:56Z |
| institution | BVB |
| isbn | 9783642666353 9783540082026 |
| issn | 0073-1684 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027881626 |
| oclc_num | 863787913 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-706 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-706 |
| physical | 1 Online-Ressource (XV, 326 S.) |
| psigel | ZDB-2-SNA ZDB-2-BAD ZDB-2-SNA_Archive |
| publishDate | 1977 |
| publishDateSearch | 1977 |
| publishDateSort | 1977 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Heidelberger Taschenbücher, Sammlung Informatik |
| spelling | Bergmann, Eberhard Verfasser aut Mathematische Logik mit Informatik-Anwendungen von Eberhard Bergmann, Helga Noll Berlin, Heidelberg Springer Berlin Heidelberg 1977 1 Online-Ressource (XV, 326 S.) txt rdacontent c rdamedia cr rdacarrier Heidelberger Taschenbücher, Sammlung Informatik 187 0073-1684 Dieses Buch ist aus Skripten der Autoren zu ihrer Vorlesung "Mathematische Logik (für Informatiker)" entstanden. Diese sechsstündige Lehrveranstaltung, die seit dem Sommersemester 1974 jährlich an der Technischen Universität Berlin im Fachbereich Informatik abgehalten wird, will Informatik-Studenten etwa vom 4. Semester an mit Logik-Methoden vertraut machen und gleichzeitig einen Beitrag zur Mathematik-Ausbildung für Informatiker leisten. Dementsprechend handelt es sich um einen einführenden Text für "krasse" Anfänger in der Logik, der mit elementaren Mathematik-Kenntnissen lesbar ist und an Informatik-Voraussetzungen nur einfachste Konzepte von Programmiersprachen benötigt. Anliegen des Buches, das sich gleichermaßen an Mathematik- und Informatik-Studenten wendet, ist es, einerseits eine mathematisch zufriedenstellende Darstellung der Anfangsgründe der Prädikatenlogik der ersten Stufe zu geben, andererseits aber auch Anwendungen dieser Logik innerhalb der Informatik einheitlich in die Logik-Darstellung einzubeziehen. Der Versuch, ein Buch über Logik mit Informatik-Anwendungen zu schreiben, ist nicht ohne Probleme, da die Auswahl der Verbindungen von Logik und Informatik eine subjektive Entscheidung bleibt, so daß über den hier vorliegenden Text hinaus Raum für andere Berührungspunkte und für eine intensivere Gestaltung der hier im Text angeführten Anwendungen besteht. Man kann dabei z. B. an engere Verbindungen zur theoretischen Informatik denken oder an eine systematische Abhandlung der angesprochenen Anwendungsgebiete. Dieser Text will dazu anregen, Informatik und Logik so aufeinander zu beziehen, daß Logik als Hilfsmittel für die Informatik angesehen werden darf, d. h. als eine fruchtbare, Informatik-Ergebnisse hervorbringende Methode Mathematics Computer science Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematical Logic and Formal Languages Informatik Mathematik Informatik (DE-588)4026894-9 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Information (DE-588)4026899-8 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s Information (DE-588)4026899-8 s 1\p DE-604 Logik (DE-588)4036202-4 s Informatik (DE-588)4026894-9 s 2\p DE-604 3\p DE-604 Noll, Helga 1936- Sonstige (DE-588)143656910 oth https://doi.org/10.1007/978-3-642-66635-3 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Bergmann, Eberhard Mathematische Logik mit Informatik-Anwendungen Mathematics Computer science Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematical Logic and Formal Languages Informatik Mathematik Informatik (DE-588)4026894-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Information (DE-588)4026899-8 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)4037951-6 (DE-588)4026899-8 (DE-588)4036202-4 |
| title | Mathematische Logik mit Informatik-Anwendungen |
| title_auth | Mathematische Logik mit Informatik-Anwendungen |
| title_exact_search | Mathematische Logik mit Informatik-Anwendungen |
| title_full | Mathematische Logik mit Informatik-Anwendungen von Eberhard Bergmann, Helga Noll |
| title_fullStr | Mathematische Logik mit Informatik-Anwendungen von Eberhard Bergmann, Helga Noll |
| title_full_unstemmed | Mathematische Logik mit Informatik-Anwendungen von Eberhard Bergmann, Helga Noll |
| title_short | Mathematische Logik mit Informatik-Anwendungen |
| title_sort | mathematische logik mit informatik anwendungen |
| topic | Mathematics Computer science Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematical Logic and Formal Languages Informatik Mathematik Informatik (DE-588)4026894-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Information (DE-588)4026899-8 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Mathematics Computer science Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematical Logic and Formal Languages Informatik Mathematik Mathematische Logik Information Logik |
| url | https://doi.org/10.1007/978-3-642-66635-3 |
| work_keys_str_mv | AT bergmanneberhard mathematischelogikmitinformatikanwendungen AT nollhelga mathematischelogikmitinformatikanwendungen |