Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1992
|
| Ausgabe: | 3., verbesserte und erweiterte Auflage |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | VI VORWORT Thema dieses Buches sind zwei schon vort Leibniz als zusammengehorend erkannte Begriffe, deren mathematische Entwicklung von Frege bis Turing das theoretische Fundament der Computerwissenschaft gelegt hat: der Be griff formaler Sprache als Trager prazisen Ausdrucks von Bedeutungen, Sach verhalten, Problemen und der des Algorithmus oder Kalkuls, d. h. formal ope rierender Verfahren zur Losung prazis beschriebener Fragen und Probleme. Das Buch gibt eine einheitliche EinfUhrung in die moderne Theorie dieser Begriffe, wie sie sich zuerst in der mathematischen Logik und der Berechen barkeitstheorie und weiter in der Automatentheorie, der Theorie formaler Sprachen und der Komplexitatstheorie entwickelt hat. Neben der Berucksich tigung eines schon klassisch gewordenen Grundkanons dieser Gebiete ist die Stoffauswahl mit der Absicht getrof. fen worden, durchgangig Erneuerungen traditioneller Fragestellungen, Ergebnisse und Methoden den Vorrang zu ge ben, die sich aus Bedurfnissen oder Erkenntnissen der Informatik und hier besonders der Komplexitatstheorie heraus entwickelt haben. Die Zielsetzung dieses Buches ist eine doppelte: Lehrbuch zu sein fur Anfangervorlesungen zu den genannten Gebieten, wie sie in fast allen Curri cula der Informatik, der Logik und der Mathematik he ute auftreten, aber daruberhinaus auch Monographie, indem in systematischer Absicht in jedem der angesprochenen Gebiete weiterfuhrende Ergebnisse neuerer Forschungen (groBenteils erstmalig in lehrbuchartiger Form) vorgefuhrt werden und Uber all versucht wird, Analogien und Zusammenhange zwischen verschiedenen Be griffen und Konstruktionen explizit herauszuarbeiten |
| Beschreibung: | 1 Online-Ressource (XX, 499S.) |
| ISBN: | 9783322832276 9783528289287 |
| DOI: | 10.1007/978-3-322-83227-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042429064 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1992 |||| o||u| ||||||ger d | ||
| 020 | |a 9783322832276 |c Online |9 978-3-322-83227-6 | ||
| 020 | |a 9783528289287 |c Print |9 978-3-528-28928-7 | ||
| 024 | 7 | |a 10.1007/978-3-322-83227-6 |2 doi | |
| 035 | |a (OCoLC)863960721 | ||
| 035 | |a (DE-599)BVBBV042429064 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-860 |a DE-1046 |a DE-Aug4 | ||
| 082 | 0 | |a 620 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Börger, Egon |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Berechenbarkeit Komplexität Logik |b Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität |c von Egon Börger |
| 250 | |a 3., verbesserte und erweiterte Auflage | ||
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1992 | |
| 300 | |a 1 Online-Ressource (XX, 499S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a VI VORWORT Thema dieses Buches sind zwei schon vort Leibniz als zusammengehorend erkannte Begriffe, deren mathematische Entwicklung von Frege bis Turing das theoretische Fundament der Computerwissenschaft gelegt hat: der Be griff formaler Sprache als Trager prazisen Ausdrucks von Bedeutungen, Sach verhalten, Problemen und der des Algorithmus oder Kalkuls, d. h. formal ope rierender Verfahren zur Losung prazis beschriebener Fragen und Probleme. Das Buch gibt eine einheitliche EinfUhrung in die moderne Theorie dieser Begriffe, wie sie sich zuerst in der mathematischen Logik und der Berechen barkeitstheorie und weiter in der Automatentheorie, der Theorie formaler Sprachen und der Komplexitatstheorie entwickelt hat. Neben der Berucksich tigung eines schon klassisch gewordenen Grundkanons dieser Gebiete ist die Stoffauswahl mit der Absicht getrof. fen worden, durchgangig Erneuerungen traditioneller Fragestellungen, Ergebnisse und Methoden den Vorrang zu ge ben, die sich aus Bedurfnissen oder Erkenntnissen der Informatik und hier besonders der Komplexitatstheorie heraus entwickelt haben. Die Zielsetzung dieses Buches ist eine doppelte: Lehrbuch zu sein fur Anfangervorlesungen zu den genannten Gebieten, wie sie in fast allen Curri cula der Informatik, der Logik und der Mathematik he ute auftreten, aber daruberhinaus auch Monographie, indem in systematischer Absicht in jedem der angesprochenen Gebiete weiterfuhrende Ergebnisse neuerer Forschungen (groBenteils erstmalig in lehrbuchartiger Form) vorgefuhrt werden und Uber all versucht wird, Analogien und Zusammenhange zwischen verschiedenen Be griffen und Konstruktionen explizit herauszuarbeiten | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Engineering, general | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 0 | 7 | |a Theorie |0 (DE-588)4059787-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Komplexität |0 (DE-588)4135369-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prädikatenlogik |0 (DE-588)4046974-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algorithmentheorie |0 (DE-588)4200409-3 |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 Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 0 | 1 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 1 | 1 | |a Theorie |0 (DE-588)4059787-8 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Komplexität |0 (DE-588)4135369-9 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 689 | 3 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 3 | |8 4\p |5 DE-604 | |
| 689 | 4 | 0 | |a Algorithmentheorie |0 (DE-588)4200409-3 |D s |
| 689 | 4 | |8 5\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-83227-6 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_1990/1999 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027864395 | ||
| 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 | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 5\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153109454258176 |
|---|---|
| any_adam_object | |
| author | Börger, Egon |
| author_facet | Börger, Egon |
| author_role | aut |
| author_sort | Börger, Egon |
| author_variant | e b eb |
| building | Verbundindex |
| bvnumber | BV042429064 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863960721 (DE-599)BVBBV042429064 |
| dewey-full | 620 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620 |
| dewey-search | 620 |
| dewey-sort | 3620 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-322-83227-6 |
| edition | 3., verbesserte und erweiterte Auflage |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04523nmm a2200709zc 4500</leader><controlfield tag="001">BV042429064</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1992 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322832276</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-83227-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783528289287</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-528-28928-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-83227-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863960721</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042429064</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-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Börger, Egon</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Berechenbarkeit Komplexität Logik</subfield><subfield code="b">Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität</subfield><subfield code="c">von Egon Börger</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">3., verbesserte und erweiterte Auflage</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XX, 499S.)</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="500" ind1=" " ind2=" "><subfield code="a">VI VORWORT Thema dieses Buches sind zwei schon vort Leibniz als zusammengehorend erkannte Begriffe, deren mathematische Entwicklung von Frege bis Turing das theoretische Fundament der Computerwissenschaft gelegt hat: der Be griff formaler Sprache als Trager prazisen Ausdrucks von Bedeutungen, Sach verhalten, Problemen und der des Algorithmus oder Kalkuls, d. h. formal ope rierender Verfahren zur Losung prazis beschriebener Fragen und Probleme. Das Buch gibt eine einheitliche EinfUhrung in die moderne Theorie dieser Begriffe, wie sie sich zuerst in der mathematischen Logik und der Berechen barkeitstheorie und weiter in der Automatentheorie, der Theorie formaler Sprachen und der Komplexitatstheorie entwickelt hat. Neben der Berucksich tigung eines schon klassisch gewordenen Grundkanons dieser Gebiete ist die Stoffauswahl mit der Absicht getrof. fen worden, durchgangig Erneuerungen traditioneller Fragestellungen, Ergebnisse und Methoden den Vorrang zu ge ben, die sich aus Bedurfnissen oder Erkenntnissen der Informatik und hier besonders der Komplexitatstheorie heraus entwickelt haben. Die Zielsetzung dieses Buches ist eine doppelte: Lehrbuch zu sein fur Anfangervorlesungen zu den genannten Gebieten, wie sie in fast allen Curri cula der Informatik, der Logik und der Mathematik he ute auftreten, aber daruberhinaus auch Monographie, indem in systematischer Absicht in jedem der angesprochenen Gebiete weiterfuhrende Ergebnisse neuerer Forschungen (groBenteils erstmalig in lehrbuchartiger Form) vorgefuhrt werden und Uber all versucht wird, Analogien und Zusammenhange zwischen verschiedenen Be griffen und Konstruktionen explizit herauszuarbeiten</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theorie</subfield><subfield code="0">(DE-588)4059787-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komplexität</subfield><subfield code="0">(DE-588)4135369-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmentheorie</subfield><subfield code="0">(DE-588)4200409-3</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">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-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">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Theorie</subfield><subfield code="0">(DE-588)4059787-8</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">Komplexität</subfield><subfield code="0">(DE-588)4135369-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="689" ind1="3" 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="3" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Algorithmentheorie</subfield><subfield code="0">(DE-588)4200409-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">5\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-83227-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_1990/1999</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027864395</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\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">5\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.BV042429064 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:23Z |
| institution | BVB |
| isbn | 9783322832276 9783528289287 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027864395 |
| oclc_num | 863960721 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| physical | 1 Online-Ressource (XX, 499S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| spelling | Börger, Egon Verfasser aut Berechenbarkeit Komplexität Logik Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität von Egon Börger 3., verbesserte und erweiterte Auflage Wiesbaden Vieweg+Teubner Verlag 1992 1 Online-Ressource (XX, 499S.) txt rdacontent c rdamedia cr rdacarrier VI VORWORT Thema dieses Buches sind zwei schon vort Leibniz als zusammengehorend erkannte Begriffe, deren mathematische Entwicklung von Frege bis Turing das theoretische Fundament der Computerwissenschaft gelegt hat: der Be griff formaler Sprache als Trager prazisen Ausdrucks von Bedeutungen, Sach verhalten, Problemen und der des Algorithmus oder Kalkuls, d. h. formal ope rierender Verfahren zur Losung prazis beschriebener Fragen und Probleme. Das Buch gibt eine einheitliche EinfUhrung in die moderne Theorie dieser Begriffe, wie sie sich zuerst in der mathematischen Logik und der Berechen barkeitstheorie und weiter in der Automatentheorie, der Theorie formaler Sprachen und der Komplexitatstheorie entwickelt hat. Neben der Berucksich tigung eines schon klassisch gewordenen Grundkanons dieser Gebiete ist die Stoffauswahl mit der Absicht getrof. fen worden, durchgangig Erneuerungen traditioneller Fragestellungen, Ergebnisse und Methoden den Vorrang zu ge ben, die sich aus Bedurfnissen oder Erkenntnissen der Informatik und hier besonders der Komplexitatstheorie heraus entwickelt haben. Die Zielsetzung dieses Buches ist eine doppelte: Lehrbuch zu sein fur Anfangervorlesungen zu den genannten Gebieten, wie sie in fast allen Curri cula der Informatik, der Logik und der Mathematik he ute auftreten, aber daruberhinaus auch Monographie, indem in systematischer Absicht in jedem der angesprochenen Gebiete weiterfuhrende Ergebnisse neuerer Forschungen (groBenteils erstmalig in lehrbuchartiger Form) vorgefuhrt werden und Uber all versucht wird, Analogien und Zusammenhange zwischen verschiedenen Be griffen und Konstruktionen explizit herauszuarbeiten Engineering Engineering, general Ingenieurwissenschaften Theorie (DE-588)4059787-8 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Komplexität (DE-588)4135369-9 gnd rswk-swf Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf Algorithmentheorie (DE-588)4200409-3 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 s Prädikatenlogik (DE-588)4046974-8 s 1\p DE-604 Formale Sprache (DE-588)4017848-1 s Theorie (DE-588)4059787-8 s 2\p DE-604 Komplexität (DE-588)4135369-9 s 3\p DE-604 Mathematische Logik (DE-588)4037951-6 s 4\p DE-604 Algorithmentheorie (DE-588)4200409-3 s 5\p DE-604 https://doi.org/10.1007/978-3-322-83227-6 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 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 5\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Börger, Egon Berechenbarkeit Komplexität Logik Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität Engineering Engineering, general Ingenieurwissenschaften Theorie (DE-588)4059787-8 gnd Berechenbarkeit (DE-588)4138368-0 gnd Komplexität (DE-588)4135369-9 gnd Prädikatenlogik (DE-588)4046974-8 gnd Algorithmentheorie (DE-588)4200409-3 gnd Mathematische Logik (DE-588)4037951-6 gnd Formale Sprache (DE-588)4017848-1 gnd |
| subject_GND | (DE-588)4059787-8 (DE-588)4138368-0 (DE-588)4135369-9 (DE-588)4046974-8 (DE-588)4200409-3 (DE-588)4037951-6 (DE-588)4017848-1 |
| title | Berechenbarkeit Komplexität Logik Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität |
| title_auth | Berechenbarkeit Komplexität Logik Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität |
| title_exact_search | Berechenbarkeit Komplexität Logik Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität |
| title_full | Berechenbarkeit Komplexität Logik Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität von Egon Börger |
| title_fullStr | Berechenbarkeit Komplexität Logik Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität von Egon Börger |
| title_full_unstemmed | Berechenbarkeit Komplexität Logik Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität von Egon Börger |
| title_short | Berechenbarkeit Komplexität Logik |
| title_sort | berechenbarkeit komplexitat logik algorithmen sprachen und kalkule unter besonderer berucksichtigung ihrer komplexitat |
| title_sub | Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität |
| topic | Engineering Engineering, general Ingenieurwissenschaften Theorie (DE-588)4059787-8 gnd Berechenbarkeit (DE-588)4138368-0 gnd Komplexität (DE-588)4135369-9 gnd Prädikatenlogik (DE-588)4046974-8 gnd Algorithmentheorie (DE-588)4200409-3 gnd Mathematische Logik (DE-588)4037951-6 gnd Formale Sprache (DE-588)4017848-1 gnd |
| topic_facet | Engineering Engineering, general Ingenieurwissenschaften Theorie Berechenbarkeit Komplexität Prädikatenlogik Algorithmentheorie Mathematische Logik Formale Sprache |
| url | https://doi.org/10.1007/978-3-322-83227-6 |
| work_keys_str_mv | AT borgeregon berechenbarkeitkomplexitatlogikalgorithmensprachenundkalkuleunterbesondererberucksichtigungihrerkomplexitat |