Holdings: Einführung in die Informatik

Einführung in die Informatik: objektorientiert mit Java ; mit 2 Tabellen

Saved in:

Bibliographic Details
Main Authors:	Küchlin, Wolfgang (Author), Weber, Andreas 1972- (Author)
Format:	Book
Language:	German
Published:	Berlin [u.a.] Springer 2000
Series:	Springer-Lehrbuch
Subjects:	Java <Programmiersprache> Objektorientierte Programmierung Java 2 Java > Programmiersprache
Online Access:	Inhaltsverzeichnis
Physical Description:	XVI, 383 S. graph. Darst.
ISBN:	3540673849

Staff View

MARC


LEADER	00000nam a22000008c 4500
001	BV013345945
003	DE-604
005	20231019
007	t
008	000912s2000 gw d\|\|\| \|\|\|\| 00\|\|\| ger d
016	7		\|a 959622748 \|2 DE-101
020			\|a 3540673849 \|c brosch. : DM 59.00, sfr 54.00, S 431.00 \|9 3-540-67384-9
035			\|a (OCoLC)247816900
035			\|a (DE-599)BVBBV013345945
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c DE
049			\|a DE-70 \|a DE-824 \|a DE-945 \|a DE-20 \|a DE-1046 \|a DE-739 \|a DE-473 \|a DE-384 \|a DE-29T \|a DE-1051 \|a DE-706 \|a DE-523 \|a DE-526 \|a DE-634 \|a DE-11 \|a DE-B768
084			\|a ST 110 \|0 (DE-625)143583: \|2 rvk
084			\|a ST 231 \|0 (DE-625)143618: \|2 rvk
084			\|a ST 250 \|0 (DE-625)143626: \|2 rvk
084			\|a ELT 623f \|2 stub
084			\|a DAT 001f \|2 stub
084			\|a 28 \|2 sdnb
100	1		\|a Küchlin, Wolfgang \|e Verfasser \|4 aut
245	1	0	\|a Einführung in die Informatik \|b objektorientiert mit Java ; mit 2 Tabellen \|c Wolfgang Küchlin ; Andreas Weber
264		1	\|a Berlin [u.a.] \|b Springer \|c 2000
300			\|a XVI, 383 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Springer-Lehrbuch
650		4	\|a Java <Programmiersprache>
650		4	\|a Objektorientierte Programmierung
650	0	7	\|a Java 2 \|0 (DE-588)4503201-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Java \|g Programmiersprache \|0 (DE-588)4401313-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Objektorientierte Programmierung \|0 (DE-588)4233947-9 \|2 gnd \|9 rswk-swf
689	0	0	\|a Objektorientierte Programmierung \|0 (DE-588)4233947-9 \|D s
689	0		\|5 DE-604
689	1	0	\|a Java \|g Programmiersprache \|0 (DE-588)4401313-9 \|D s
689	1		\|5 DE-604
689	2	0	\|a Java 2 \|0 (DE-588)4503201-4 \|D s
689	2		\|8 1\p \|5 DE-604
700	1		\|a Weber, Andreas \|d 1972- \|e Verfasser \|0 (DE-588)1013521781 \|4 aut
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009101668&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
943	1		\|a oai:aleph.bib-bvb.de:BVB01-009101668

Record in the Search Index

_version_	1805086067576012800
adam_text	INHALTSVERZEICHNIS 1. EINF¨UHRUNG UND ¨ UBERBLICK : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 1 1.1 BEDEUTUNG UND GRUNDPROBLEME DER INFORMATIK . 1 1.1.1 DIE BEDEUTUNG DES BERECHNENS VON FUNKTIONEN. 2 1.1.2 DAS PROBLEM DER KOMPLEXIT ¨ AT. 4 1 .2 KO N ZEP TIO ND ESB U CH ES. 5 1.2.1 OBJEKTORIENTIERUNG UND JAVA . 5 1.2.2 AUFBAU DES BUCHES. 7 1.2.3 VERWENDUNG IN DER GRUNDVORLESUNG INFORMATIK . 9 1.2.4 ENGLISCHE BEGRIFFE . . 9 TEIL I. KONZEPTE DER SOFTWARE-ENTWICKLUNG 2. DATENSTRUKTUREN : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 13 2.1 EINLEITUNG. . . . . 1 3 2.2 REIHUNGEN ( ARRAYS) . 1 4 2.3 VERBUNDE ( RECORDS, STRUCTS). 1 4 2.4 TYP-KOMBINATIONEN VON REIHUNG UND VERBUND. 1 6 2.5 MODELLIERUNG DES ENTHALTENSEINS - REFERENZEN . 1 6 2.6 ABSTRAKTE DATENTYPEN UND OBJEKTE . 1 8 3. OBJEKTORIENTIERTE SOFTWARE-ENTWICKLUNG : : : : : : : : : : : : : : : : : : : : : : : : 21 3.1 EINLEITUNG. . . . . 2 1 3.2 OBJEKTE, KLASSEN, ABSTRAKTE DATENTYPEN . 2 2 3.3 OBJEKTBEZIEHUNGEN . 2 5 3.3.1 INFORMATIONSFLUSS- UND CLIENT/SERVER-BEZIEHUNGEN . . . 2 6 3.3.2 EINSCHLUSSBEZIEHUNGEN ( HAS-A) . 2 9 3.3.3 SUBTYP- BZW. VERERBUNGSBEZIEHUNGEN ( IS-A). 3 1 3.4 OBJEKTORIENTIERTE ANALYSE UND ENTWURF . 3 2 3.4.1 ANALYSE EINER WERKST ¨ U CK - VER EIN ZELU N G SEIN H EIT . 3 3 3.5 ENTWURFSMUSTER . 3 8 X INHALTSVERZEICHNIS 3.5.1 BEISPIEL: ARCHITEKTURMUSTER EINER GER ¨ ATEFERNSTEUERUNG . 3 8 3.6 ¨ UBUNGEN . 4 2 4. ALGORITHMEN UND ALGORITHMISCHE SPRACHKONZEPTE : : : : : : : : : : : : : : : : 43 4.1 EINLEITUNG UND BEGRIFFSDEFINITION . 4 3 4.2 BEISPIEL: BERECHNUNG DER MODULUS-FUNKTION . . 4 6 4.2.1 DER REKURSIVE ANSATZ . 4 6 4.2.2 EIN REKURSIVES VERFAHREN IN MATHEMATISCHER NOTATION . 4 6 4.2.3 EIN REKURSIVES VERFAHREN IN JAVA . 4 8 4.2.4 DER STRUKTURIERT-ITERATIVE ANSATZ . 4 9 4.2.5 EIN STRUKTURIERT-ITERATIVES VERFAHREN IN JAVA . 4 9 4.3 ALGORITHMISCHE NOTATION UND ABSTRAKTE SPRACHKONZEPTE . . . 5 1 4.3.1 ABSTRAKTE BESCHREIBUNG VON ALGORITHMEN. . . . 5 2 4.3.2 PROGRAMMIERSPRACHLICHE GRUNDKONZEPTE ZUR BESCHREIBUNG VO NA LG O R ITH MEN. 5 4 4.4 ¨ UBUNGEN . 6 0 TEIL II. SPRACHKONZEPTE UND IHRE VERWIRKLICHUNG IN JAVA 5. GRUNDLAGEN DER RECHNERARCHITEKTUR UND ELEMENTARE DATENTYPEN : : : 63 5.1 SPEICHERAUFBAU . 6 4 5.2 BIN ¨ ARE REPR ¨ ASENTATION GANZER ZAHLEN . . . . 6 5 5.2.1 REPR ¨ ASENTATION VON BITMUSTERN . . . 6 8 5.3 BIN ¨ ARE REPR ¨ ASENTATION VON ZEICHEN. . 6 8 5.3.1 DER ASCII -ZEICHENSATZ. . . . 6 8 5.4 GLEITKOMMAZAHLEN . . 7 0 5.5 ARITHMETIK IN JAVA . . . 7 1 5.5.1 GANZZAHL-ARITHMETIK . 7 1 5.5.2 GLEITKOMMA-ARITHMETIK . 7 2 5.6 ¨ UBUNGEN . 7 3 6. GRUNDKONZEPTE VON PROGRAMMIERSPRACHEN : : : : : : : : : : : : : : : : : : : : : : 77 6.1 EINLEITUNG UND ¨ UBERSICHT . . . 7 7 6.2 PROGRAMMENTWICKLUNG IN JAVA. . . 7 9 6.2.1 DIE STRUKTUR VON JAVA. . . . . 7 9 6.2.2 EIN RAHMENPROGRAMM F ¨ UR JAVA-ANWEISUNGEN . 8 0 6.3 ELEMENTARE DATENTYPEN. . . . . 8 2 6.4 VARIABLEN, REFERENZEN, ZUWEISUNGEN . . . 8 3 6.4.1 REIHUNGSVARIABLEN . . 8 5 6.5 OPERATOREN UND AUSDR ¨ U CKE. 8 6 6.5.1 ZUWEISUNGSOPERATOREN . . . . 8 6 INHALTSVERZEICHNIS XI 6.5.2 ARITHMETISCHE OPERATOREN . 8 7 6.5.3 BOOLESCHE OPERATOREN . . . . 8 7 6.5.4 BITMUSTER. . . . 8 9 6.5.5 AUSDR ¨ U CKE. 9 0 6.5.6 SYNTAX VON AUSDR ¨ U CKEN. 9 1 6.5.7 PR ¨ AZEDENZ VON OPERATOREN. 9 1 6.5.8 SEMANTIK VON AUSDR ¨ U CKEN. 9 2 6.5.9 BEDINGTE AUSDR ¨ U CKE. 9 4 6.5.10 TYPKONVERSIONEN. . . . 9 5 6.6 ANWEISUNGEN . . 9 8 6.6.1 BL ¨ OCKE, G ¨ ULTIGKEITSBEREICH UND LEBENSDAUER . . 9 9 6.6.2 BEDINGTE ANWEISUNGEN ( IF UND SWITCH ).1 0 2 6.6.3 SCHLEIFENKONSTRUKTE ( WHILE , DO - WHILE , FOR ) .1 0 5 6.6.4 MARKEN, BREAK UND CONTINUE .1 0 8 6.7 UNTERPROGRAMME - PROZEDUREN UND FUNKTIONEN .1 1 0 6.7.1 KONZEPTE UND TERMINOLOGIE .1 1 0 6.7.2 UNTERPROGRAMME IN JAVA . .1 1 4 6.7.3 PARAMETER ¨ UBERGABE UND LAUFZEITSTAPEL. .1 1 6 6.7.4 SPEZIFIKATION VON UNTERPROGRAMMEN . . .1 2 4 6.7.5 REKURSION . . .1 2 8 6.7.6 ALLGEMEINE REKURSION UND SPEICHERVERWALTUNG . . . .1 3 1 6.8 ¨ UBUNGEN .1 3 4 7. KLASSEN UND H ¨ OHERE DATENTYPEN : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 137 7.1 EINF ¨ UHRUNG UND ¨ UBERBLICK . .1 3 7 7.2 OBJEKTE, FELDER UND METHODEN. . .1 3 8 7.2.1 ¨ UBERLADEN VON METHODEN .1 4 1 7.2.2 KLASSENVARIABLEN UND KLASSENMETHODEN .1 4 2 7.2.3 PAKETE ( PACKAGES).1 4 3 7.2.4 KAPSELUNG UND ZUGRIFFSKONTROLLE .1 4 4 7.2.5 KONTRAKT UND AUFRUFSCHNITTSTELLE .1 4 5 7.2.6 VERWALTUNG VON OBJEKTEN IM SPEICHER.1 4 6 7.2.7 INITIALISIERUNG UND KONSTRUKTOREN . .1 4 9 7.2.8 SELEKTOREN . . .1 5 1 7.2.9 BEISPIEL EINES DATENTYPS: KOMPLEXE ZAHLEN . . .1 5 4 7.3 OBJEKTE F ¨ UR AUSNAHMEN ( EXCEPTIONS) .1 5 6 7.3.1 EINLEITUNG UND ¨ UBERBLICK.1 5 6 7.3.2 AUSNAHMEKLASSEN . .1 5 8 7.3.3 DIE THROW - A N W EISU N G.1 6 0 7.3.4 DER RAHMEN TRY - CATCH - FINALLY .1 6 1 7.3.5 DEKLARATION VON AUSNAHMEN MIT THROWS .1 6 2 XII INHALTSVERZEICHNIS 7.4 REIHUNGEN (ARRAYS) .1 6 4 7.4.1 KONZEPTE UND TERMINOLOGIE .1 6 4 7.4.2 EINDIMENSIONALE REIHUNGEN .1 6 4 7.4.3 SKALAR- UND VEKTOR-OPERATIONEN .1 6 6 7.4.4 VEKTOREN . . . .1 6 8 7.4.5 MEHRDIMENSIONALE REIHUNGEN . .1 6 9 7.5 ZEICHENKETTEN ( STRINGS).1 7 2 7.5.1 VER ¨ ANDERLICHE ZEICHENKETTEN . . . . .1 7 3 7.6 LISTEN . .1 7 4 7.6.1 KONZEPTE, TERMINOLOGIE UND ENTWURF .1 7 4 7.6.2 DIE IMPLEMENTIERUNG VON LISTEN .1 7 6 7.6.3 EINF ¨ UGEN EINES ELEMENTES .1 7 8 7.6.4 SORTIERTES EINF ¨ UGEN EINES ELEMENTS . . . .1 7 9 7.6.5 INVERTIEREN EINER LISTE . . .1 8 1 7.6.6 DOPPELT VERKETTETE LISTEN.1 8 3 7.7 STAPEL ( STACKS).1 8 7 7.7.1 KONZEPT UND TERMINOLOGIE .1 8 7 7.7.2 IMPLEMENTIERUNG VON STACKS . . . .1 8 8 7.8 WARTESCHLANGEN ( QUEUES) .1 8 9 7.8.1 KONZEPT UND TERMINOLOGIE .1 8 9 7.8.2 IMPLEMENTIERUNG VON QUEUES . . .1 8 9 7.9 ¨ UBUNGEN .1 9 0 8. H ¨ OHERE OBJEKTORIENTIERTE KONZEPTE : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 191 8.1 EINLEITUNG. . . . .1 9 1 8.2 VERERBUNG UND ABGELEITETE KLASSEN .1 9 3 8.2.1 DER ZUGRIFFSSCHUTZ PROTECTED IN KLASSENHIERARCHIEN . . . . 195 8.2.2 KONSTRUKTOREN IN KLASSEN-HIERARCHIEN . .1 9 6 8.3 VIRTUELLE FUNKTIONEN UND DYNAMISCHES BINDEN .1 9 8 8.3.1 KONZEPTE UND TERMINOLOGIE .1 9 8 8.3.2 REALISIERUNG DES DYNAMISCHEN BINDENS .2 0 1 8.3.3 KLASSENKONTRAKTE UND VIRTUELLE FUNKTIONEN . . .2 0 2 8.3.4 TYPANPASSUNGEN IN KLASSENHIERARCHIEN .2 0 3 8.3.5 ZUGRIFFSREGELN UND AUSWAHLREGELN IN KLASSENHIERARCHIEN - ¨ U B ER SCH R EIB ENU N DVER D ECKEN.2 0 4 8.4 ABSTRAKTE KLASSEN UND INTERFACES .2 0 8 8.4.1 ABSTRAKTE KLASSEN. . .2 0 8 8.4.2 SCHNITTSTELLEN ( INTERFACES) .2 0 9 8 .5 MEH R FACH VER ER BU N G.2 0 9 8.6 GENERISCHES PROGRAMMIEREN .2 1 1 8.6.1 GENERISCHE DATENTYPEN . .2 1 1 INHALTSVERZEICHNIS XIII 8.6.2 GENERISCHE METHODEN . . .2 1 2 8.6.3 EXPLIZITE TYPKONVERSION .2 1 4 8.6.4 KLASSEN-MUSTER ( TEMPLATE CLASSES).2 1 5 8.6.5 GENERISCHE FUNKTIONSPARAMETER .2 1 6 8.7 ¨ UBUNGEN .2 2 0 9. DAS " ABSTRACT WINDOW TOOLKIT" (AWT) VON JAVA : : : : : : : : : : : : : : : : : 221 9.1 GRAPHISCHE KOMPONENTEN .2 2 1 9.1.1 KLASSENHIERARCHIE DER GRAPHISCHEN KOMPONENTEN . .2 2 1 9.1.2 FUNKTIONALIT ¨ AT VON COMPONENT .2 2 1 9.1.3 DIE KLASSE GRAPHICS .2 2 3 9.1.4 CONTAINER. . . .2 2 4 9.1.5 FRAMES .2 2 4 9.1.6 APPLETS .2 2 5 9.2 EREIGNISSE ( EVENTS) .2 2 6 9.2.1 AWT - E VEN TS .2 2 6 9.2.2 EREIGNISQUELLEN UND EREIGNISEMPF ¨ AN G ER .2 2 6 9.2.3 ADAPTER-KLASSEN . . . .2 2 8 9.3 EIN BEISPIEL: EIN RAHMEN ZUM ZEICHNEN REELLER FUNKTIONEN .2 2 8 9.4 EIN GR ¨ OSSERES BEISPIEL: DARSTELLUNG EINER WINTERLANDSCHAFT . .2 3 2 9.4.1 ANFORDERUNGSANALYSE .2 3 2 9.4.2 OBJEKTORIENTIERTE ANALYSE UND DESIGN .2 3 2 9.4.3 IMPLEMENTIERUNG DER KLASSEN . . .2 3 5 TEIL III. ALGORITHMEN UND WEITERF¨UHRENDE DATENSTRUKTUREN 10. THEORIE DER ALGORITHMENKONSTRUKTION : : : : : : : : : : : : : : : : : : : : : : : : : : 247 10.1 EINLEITUNG UND ¨ UBERBLICK . . .2 4 7 10.1.1 MOTIVATION UND BEGRIFFSDEFINITION .2 4 7 10.1.2 NOTATION. . . . .2 4 9 10.2 PROBLEMSPEZIFIKATION UND KORREKTHEITSBEWEISE .2 5 0 10.2.1 SPEZIFIKATION .2 5 0 10.2.2 PARTIELLE KORREKTHEIT .2 5 2 10.2.3 TERMINIERUNG.2 5 2 10.2.4 BEISPIEL: BERECHNUNG DER QUADRATWURZEL .2 5 3 10.3 SCHEMATA F ¨ U RD ENA LG O R ITH MEN EN TW U R F.2 5 6 10.4 AUFWAND UND ASYMPTOTISCHE KOMPLEXIT ¨ AT .2 5 9 10.4.1 EXAKTE BESTIMMUNG DER KOMPLEXIT ¨ AT.2 6 0 10.4.2 ASYMPTOTISCHE NOTATION .2 6 3 XIV INHALTSVERZEICHNIS 11. SUCH-ALGORITHMEN : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 269 11.1 EINLEITUNG UND PROBLEMSTELLUNG. .2 6 9 11.2 LINEARE SUCHE .2 6 9 11.2.1 SUCHE MIT W ¨ ACH TER.2 7 0 11.2.2 KOMPLEXIT ¨ ATD ERLIN EAR ENS U CH E .2 7 1 11.3 DIVIDE-AND-CONQUER-SUCHE .2 7 2 11.3.1 KOMPLEXIT ¨ AT DER BIN ¨ AR ENS U CH E.2 7 3 11.4 KOMBINATIONS-SUCHE. .2 7 4 12. SORTIER-ALGORITHMEN : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 277 12.1 EINLEITUNG UND PROBLEMSTELLUNG. .2 7 7 12.2 GREEDY-SORTIEREN . . . .2 7 8 12.2.1 SORTIEREN DURCH AUSWAHL . .2 7 8 12.2.2 SORTIEREN DURCH EINF ¨ U G EN.2 8 0 12.2.3 SORTIEREN DURCH AUSTAUSCHEN. . . .2 8 1 12.3 DIVIDE-AND-CONQUER-SORTIEREN. . . .2 8 2 12.3.1 QUICKSORT. . . .2 8 3 12.3.2 SORTIEREN DURCH MISCHEN . .2 8 6 12.4 ¨ UBUNGEN .2 8 9 13. B ¨ AUME : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 291 13.1 EINLEITUNG UND TERMINOLOGIE .2 9 1 13.2 GRAPHEN UND B ¨ AU ME.2 9 2 13.2.1 GERICHTETE GRAPHEN .2 9 2 13.2.2 UNGERICHTETE GRAPHEN . . .2 9 3 13.2.3 B ¨ AUME ALS UNGERICHTETE GRAPHEN .2 9 4 13.3 EIGENSCHAFTEN VON B ¨ AU MEN .2 9 4 13.4 IMPLEMENTIERUNG VON B ¨ AU MEN.2 9 6 13.5 BAUMDURCHL ¨ AU F E .2 9 7 13.5.1 AKTIONSOBJEKTE F ¨ UR BAUMDURCHL ¨ AU F E .2 9 7 13.5.2 PR ¨ AO R D ER- S EQ U EN Z.2 9 9 13.5.3 POSTORDER-SEQUENZ . .3 0 1 13.5.4 INORDER-SEQUENZ . . . .3 0 2 13.5.5 LEVELORDER-SEQUENZ .3 0 4 13.5.6 OPTIMIERUNG DER BAUMDURCHL ¨ AU F E .3 0 5 13.6 ¨ UBUNGEN .3 0 7 14. HASHING : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 309 14.1 EINLEITUNG. . . . .3 0 9 14.2 HASH-FUNKTIONEN . . . .3 1 0 14.3 KOLLISIONSBEHANDLUNG .3 1 2 14.3.1 SEPARATES KETTEN . . .3 1 2 INHALTSVERZEICHNIS XV 14.3.2 OFFENES ADRESSIEREN . .3 1 3 14.4 HASH-TABELLEN IN JAVA .3 1 3 14.5 ¨ UBUNGEN .3 1 6 TEIL IV. THEORETISCHE GRUNDLAGEN 15. MATHEMATISCHE GRUNDLAGEN : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 319 15.1 EINLEITUNG. . . . .3 1 9 15.2 MENGEN. .3 2 0 15.3 RELATIONEN . . . .3 2 1 15.3.1 BIN ¨ ARE RELATIONEN. . .3 2 2 15.3.2 ¨ AQUIVALENZRELATIONEN .3 2 3 15.4 FUNKTIONEN . . . .3 2 4 15.4.1 PARTIELLE FUNKTIONEN .3 2 4 15.4.2 TOTALE FUNKTIONEN. .3 2 4 15.4.3 DEFINITIONS- UND BILDBEREICH VON FUNKTIONEN . .3 2 4 15.4.4 EIGENSCHAFTEN VON FUNKTIONEN . .3 2 5 15.4.5 CHARAKTERISTISCHE FUNKTIONEN . . .3 2 5 15.5 ORDNUNGEN . . . .3 2 6 15.5.1 PARTIELLE UND TOTALE ORDNUNGEN . .3 2 6 15.5.2 LEXIKOGRAPHISCHE ORDNUNG .3 2 7 15.5.3 MULTISET-ORDNUNGEN . .3 2 8 15.6 DAS PRINZIP DER VOLLST ¨ ANDIGEN INDUKTION.3 2 9 15.7 ¨ UBUNGEN .3 3 0 16. EINF¨UHRUNG IN DIE LOGIK : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 333 16.1 EINLEITUNG. . . . .3 3 3 16.2 DIE ALGEBRA DER BOOLESCHEN WAHRHEITSWERTE. .3 3 4 16.3 AUSSAGENLOGIK (PROP).3 3 5 16.3.1 DIE SYNTAX DER AUSSAGENLOGIK . .3 3 5 16.3.2 SEMANTIK DER AUSSAGENLOGIK. . . .3 3 6 16.4 PR ¨ ADIKATENLOGIK ERSTER STUFE (FOPL).3 3 9 16.4.1 SYNTAX VON FOPL.3 3 9 16.4.2 SEMANTIK VON FOPL.3 4 0 16.5 BEWEISE .3 4 2 16.5.1 LOGISCHE ¨ AQUIVALENZEN . . .3 4 2 16.5.2 ABLEITUNGEN UND LOGIK-KALK ¨ U LE.3 4 3 16.5.3 BEWEISB ¨ AU ME .3 4 5 16.6 ¨ UBUNGEN .3 4 6 XVI INHALTSVERZEICHNIS 17. KORREKTHEIT VON UNTERPROGRAMMEN : : : : : : : : : : : : : : : : : : : : : : : : : : : : 347 17.1 TERMINOLOGIE UND PROBLEMSTELLUNG .3 4 7 17.2 DER HOARE-KALK ¨ U L .3 4 9 17.2.1 REGELN DES HOARE-KALK ¨ U LS.3 5 0 17.2.2 KONSEQUENZREGELN .3 5 2 17.2.3 ZUWEISUNGSAXIOM. . .3 5 2 17.2.4 SEQUENZREGEL. .3 5 5 17.2.5 ALTERNATIVREGELN . . . .3 5 7 17.2.6 ITERATIONSREGEL . .3 5 9 17.3 ¨ UBUNGEN .3 6 2 LITERATURVERZEICHNIS : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 363 INDEX : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 367
any_adam_object	1
author	Küchlin, Wolfgang Weber, Andreas 1972-
author_GND	(DE-588)1013521781
author_facet	Küchlin, Wolfgang Weber, Andreas 1972-
author_role	aut aut
author_sort	Küchlin, Wolfgang
author_variant	w k wk a w aw
building	Verbundindex
bvnumber	BV013345945
classification_rvk	ST 110 ST 231 ST 250
classification_tum	ELT 623f DAT 001f
ctrlnum	(OCoLC)247816900 (DE-599)BVBBV013345945
discipline	Informatik Elektrotechnik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008c 4500</leader><controlfield tag="001">BV013345945</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20231019</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">000912s2000 gw d\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">959622748</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540673849</subfield><subfield code="c">brosch. : DM 59.00, sfr 54.00, S 431.00</subfield><subfield code="9">3-540-67384-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)247816900</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013345945</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-70</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-945</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-B768</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 110</subfield><subfield code="0">(DE-625)143583:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 231</subfield><subfield code="0">(DE-625)143618:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ELT 623f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 001f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Küchlin, Wolfgang</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die Informatik</subfield><subfield code="b">objektorientiert mit Java ; mit 2 Tabellen</subfield><subfield code="c">Wolfgang Küchlin ; Andreas Weber</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 383 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="490" ind1="0" ind2=" "><subfield code="a">Springer-Lehrbuch</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Java <Programmiersprache></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Objektorientierte Programmierung</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Java 2</subfield><subfield code="0">(DE-588)4503201-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Java</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4401313-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierte Programmierung</subfield><subfield code="0">(DE-588)4233947-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Objektorientierte Programmierung</subfield><subfield code="0">(DE-588)4233947-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">Java</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4401313-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Java 2</subfield><subfield code="0">(DE-588)4503201-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Weber, Andreas</subfield><subfield code="d">1972-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1013521781</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=009101668&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009101668</subfield></datafield></record></collection>
id	DE-604.BV013345945
illustrated	Illustrated
indexdate	2024-07-20T08:30:21Z
institution	BVB
isbn	3540673849
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-009101668
oclc_num	247816900
open_access_boolean
owner	DE-70 DE-824 DE-945 DE-20 DE-1046 DE-739 DE-473 DE-BY-UBG DE-384 DE-29T DE-1051 DE-706 DE-523 DE-526 DE-634 DE-11 DE-B768
owner_facet	DE-70 DE-824 DE-945 DE-20 DE-1046 DE-739 DE-473 DE-BY-UBG DE-384 DE-29T DE-1051 DE-706 DE-523 DE-526 DE-634 DE-11 DE-B768
physical	XVI, 383 S. graph. Darst.
publishDate	2000
publishDateSearch	2000
publishDateSort	2000
publisher	Springer
record_format	marc
series2	Springer-Lehrbuch
spelling	Küchlin, Wolfgang Verfasser aut Einführung in die Informatik objektorientiert mit Java ; mit 2 Tabellen Wolfgang Küchlin ; Andreas Weber Berlin [u.a.] Springer 2000 XVI, 383 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Springer-Lehrbuch Java <Programmiersprache> Objektorientierte Programmierung Java 2 (DE-588)4503201-4 gnd rswk-swf Java Programmiersprache (DE-588)4401313-9 gnd rswk-swf Objektorientierte Programmierung (DE-588)4233947-9 gnd rswk-swf Objektorientierte Programmierung (DE-588)4233947-9 s DE-604 Java Programmiersprache (DE-588)4401313-9 s Java 2 (DE-588)4503201-4 s 1\p DE-604 Weber, Andreas 1972- Verfasser (DE-588)1013521781 aut DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009101668&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Küchlin, Wolfgang Weber, Andreas 1972- Einführung in die Informatik objektorientiert mit Java ; mit 2 Tabellen Java <Programmiersprache> Objektorientierte Programmierung Java 2 (DE-588)4503201-4 gnd Java Programmiersprache (DE-588)4401313-9 gnd Objektorientierte Programmierung (DE-588)4233947-9 gnd
subject_GND	(DE-588)4503201-4 (DE-588)4401313-9 (DE-588)4233947-9
title	Einführung in die Informatik objektorientiert mit Java ; mit 2 Tabellen
title_auth	Einführung in die Informatik objektorientiert mit Java ; mit 2 Tabellen
title_exact_search	Einführung in die Informatik objektorientiert mit Java ; mit 2 Tabellen
title_full	Einführung in die Informatik objektorientiert mit Java ; mit 2 Tabellen Wolfgang Küchlin ; Andreas Weber
title_fullStr	Einführung in die Informatik objektorientiert mit Java ; mit 2 Tabellen Wolfgang Küchlin ; Andreas Weber
title_full_unstemmed	Einführung in die Informatik objektorientiert mit Java ; mit 2 Tabellen Wolfgang Küchlin ; Andreas Weber
title_short	Einführung in die Informatik
title_sort	einfuhrung in die informatik objektorientiert mit java mit 2 tabellen
title_sub	objektorientiert mit Java ; mit 2 Tabellen
topic	Java <Programmiersprache> Objektorientierte Programmierung Java 2 (DE-588)4503201-4 gnd Java Programmiersprache (DE-588)4401313-9 gnd Objektorientierte Programmierung (DE-588)4233947-9 gnd
topic_facet	Java <Programmiersprache> Objektorientierte Programmierung Java 2 Java Programmiersprache
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009101668&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT kuchlinwolfgang einfuhrungindieinformatikobjektorientiertmitjavamit2tabellen AT weberandreas einfuhrungindieinformatikobjektorientiertmitjavamit2tabellen

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items