Das Bausteinkonzept: Anwendung auf die Programmierung von Logikalgorithmen
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
1992
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Paderborn, Univ., Diss., 1992 |
| Beschreibung: | 138 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005894682 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 921211s1992 d||| m||| 00||| gerod | ||
| 035 | |a (OCoLC)46066725 | ||
| 035 | |a (DE-599)BVBBV005894682 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-355 |a DE-83 |a DE-11 | ||
| 084 | |a DAT 706d |2 stub | ||
| 100 | 1 | |a Lehmann, Jürgen |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Das Bausteinkonzept |b Anwendung auf die Programmierung von Logikalgorithmen |c von Jürgen Lehmann |
| 264 | 1 | |c 1992 | |
| 300 | |a 138 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Paderborn, Univ., Diss., 1992 | ||
| 650 | 0 | 7 | |a Algorithmus |0 (DE-588)4001183-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 655 | 7 | |a Bausteinkonzept |2 gnd |9 rswk-swf | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | 1 | |a Bausteinkonzept |A f |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | 1 | |a Algorithmus |0 (DE-588)4001183-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003690421&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003690421 | ||
Datensatz im Suchindex
| _version_ | 1804120083698548736 |
|---|---|
| adam_text | Titel: Das Bausteinkonzept
Autor: Lehmann, Jürgen
Jahr: 1992
Inhaltsverzeichnis
1 Einleitung 3
2 Überblick über das ILFA-System 8
2.1 Effiziente Realisierung 9
2.2 Allgemeine Nutzung 9
2.3 Effiziente Nutzung 13
3 Das Bausteinsystem 16
3.1 Herleitimg der Bausteinmetapher 17
3.2 Einbau von Softwaiekompone.nten 22
3.2.1 Einbau von Metainformatioueu 22
3.2.2 Modifikation von Prozeduren 24
3.3 Struktureller Aufbau von Bausteinen 27
3.3.1 Nutzungsmöglidikeiten 27
3.3.2 Realisierungsaspekte 2!)
3.3.3 Kombinationsmöglichkeiten 31
3.4 Baust.emevaluie.rmig 33
3.4.1 Evaluierung von Bausteinen 33
3.4.2 Realisierung der Evaluierung 34
3.5 Bausteintransf oiniatioiien 38
3.6 Verwaltungsoperafionon 39
3.7 Oompilieien von Bausteinen 39
4 Das System Loge 41
4.1 Das Startfeiistei 43
4.2 Das Baukastenfenster 44
4.3 Das Cunyfenstei 47
4.4 Das Evaluieruiigsfeuster 53
4.5 Bausteine für Bansteinoi eiHtioiien r)5
1
2 INHALTSVERZEICHNIS
5 Die Modellelimination 59
5.1 Das Tableaubeweisverfahren 60
5.1.1 Aussagenlogische Tableaus 60
5.1.2 Prädikatenlogisrhe Tableaus 64
5.2 Die Modellelimination als Tableauverfahren 67
5.3 Vollständigkeit der Modellelimination 71
5.4 Effiziente Beweissuche 77
5.4.1 Tablea.nnormierung 77
5.4.2 Operationsprioritäten 78
5.4.3 Lemmagenerierung 80
6 Realisierung der Modellelimination 84
(i.l Effiziente Realisierung 84
6.2 Aspekte der Vorverarbeit.ung . 86
6.3 Verarbeitung aussagenlogisrher ME-Tableaus 90
0.4 Verarbeitung pra dikatenlogisrher ME-Tableaus 96
6.4.1 Die Generiening von neuen Variablen 96
6.4.2 Die Darstellung der Belegungsliste 97
6.4.3 Die Darstellung von Tonnen 99
6.4.4 Die Dat.enst.rukt.ur der Modellelimination 99
7 Einbau von ME-Bausteinen 101
7.1 Erstellen von ME-Objekten 101
7.1.1 Kontextunabhängige Dateiistruktur 101
7.1.2 Generisrhe Datenstruktur 103
7.1.3 Gleichförmige Behandlung 105
7.2 ME-Bausteine 107
7.3 Beispielanwendung mit. ME-Bausteinen 111
7.4 Resümee 117
7.4.1 Erfahrungen mit ME-Bausteinen 117
7.4.2 Einbau weiterer Logiksäulen 119
8 Systemumfeld 121
8.1 Wiederverwendung von Software 121
8.2 Bausteine und visuelle Sprachen 124
9 Zusammenfassung und Ausblick 128
A Pradikatenlogische Grundlagen 130
Literaturverzeichnis 135
|
| any_adam_object | 1 |
| author | Lehmann, Jürgen |
| author_facet | Lehmann, Jürgen |
| author_role | aut |
| author_sort | Lehmann, Jürgen |
| author_variant | j l jl |
| building | Verbundindex |
| bvnumber | BV005894682 |
| classification_tum | DAT 706d |
| ctrlnum | (OCoLC)46066725 (DE-599)BVBBV005894682 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01529nam a2200397 c 4500</leader><controlfield tag="001">BV005894682</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">921211s1992 d||| m||| 00||| gerod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)46066725</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005894682</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="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lehmann, Jürgen</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Das Bausteinkonzept</subfield><subfield code="b">Anwendung auf die Programmierung von Logikalgorithmen</subfield><subfield code="c">von Jürgen Lehmann</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">138 S.</subfield><subfield code="b">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="500" ind1=" " ind2=" "><subfield code="a">Paderborn, Univ., Diss., 1992</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Bausteinkonzept</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Bausteinkonzept</subfield><subfield code="A">f</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">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=003690421&sequence=000002&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-003690421</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content Bausteinkonzept gnd |
| genre_facet | Hochschulschrift Bausteinkonzept |
| id | DE-604.BV005894682 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:36:27Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003690421 |
| oclc_num | 46066725 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-355 DE-BY-UBR DE-83 DE-11 |
| owner_facet | DE-91 DE-BY-TUM DE-355 DE-BY-UBR DE-83 DE-11 |
| physical | 138 S. graph. Darst. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| spelling | Lehmann, Jürgen Verfasser aut Das Bausteinkonzept Anwendung auf die Programmierung von Logikalgorithmen von Jürgen Lehmann 1992 138 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Paderborn, Univ., Diss., 1992 Algorithmus (DE-588)4001183-5 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Bausteinkonzept gnd rswk-swf Logische Programmierung (DE-588)4195096-3 s Bausteinkonzept f DE-604 Algorithmus (DE-588)4001183-5 s HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003690421&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Lehmann, Jürgen Das Bausteinkonzept Anwendung auf die Programmierung von Logikalgorithmen Algorithmus (DE-588)4001183-5 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4001183-5 (DE-588)4195096-3 (DE-588)4113937-9 |
| title | Das Bausteinkonzept Anwendung auf die Programmierung von Logikalgorithmen |
| title_auth | Das Bausteinkonzept Anwendung auf die Programmierung von Logikalgorithmen |
| title_exact_search | Das Bausteinkonzept Anwendung auf die Programmierung von Logikalgorithmen |
| title_full | Das Bausteinkonzept Anwendung auf die Programmierung von Logikalgorithmen von Jürgen Lehmann |
| title_fullStr | Das Bausteinkonzept Anwendung auf die Programmierung von Logikalgorithmen von Jürgen Lehmann |
| title_full_unstemmed | Das Bausteinkonzept Anwendung auf die Programmierung von Logikalgorithmen von Jürgen Lehmann |
| title_short | Das Bausteinkonzept |
| title_sort | das bausteinkonzept anwendung auf die programmierung von logikalgorithmen |
| title_sub | Anwendung auf die Programmierung von Logikalgorithmen |
| topic | Algorithmus (DE-588)4001183-5 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Algorithmus Logische Programmierung Hochschulschrift Bausteinkonzept |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003690421&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT lehmannjurgen dasbausteinkonzeptanwendungaufdieprogrammierungvonlogikalgorithmen |