Informatik (15 757 Artikel)

1 Grundbegriffe der Prädikatenlogik.- 1.1 Syntax der Prädikatenlogik.- 1.2 Semantik der Prädikatenlogik.- 1.3 Normierung der Syntax: Gentzenformeln und die Schnittregel.- 1.4 Normierung der Semanti...

1 Was ist Information?.- 1.1 Der Informations-Begriff.- 1.2 Information in der betrieblichen Kommunikation.- 1.3 Zusammenhang zwischen Information und Daten.- 1.4 Schlußfolgerungen.- 2 Was ist Info...

Installation und Start von WordPerfect.- Abbildung (Grafik).

Befehle.- Anhänge.- Hardwarevoraussetzungen.- Beispiel einer Datei WIN.INI.- Integration von Textverarbeitungsprogrammen.- Schlüssel für das Arbeiten mit PageMaker.

1 Einführung.- 2 Der Norton Integrator.- 3 Der Menübaum des Hauptprogramms NU.- 4 Das Hauptprogramm NU.- 5 Die Befehle NCC, NDD, SD und SF.- 6 Zusätzliche Befehlsmöglichkeiten.- 7 Nach Anwendungsge...

1 Einführung.- 2 PCShell.- 3 Desktop.- 4 Sachwortverzeichnis.

1 Einführung Zur Benutzung des Programmierleitfadens.- 2 BefehlsverzeichnisMenü -- Befehle und Makrofiinktionen.- 3 Funktionenverzeichnis Die Tabellenfunktionen von MS-EXCEL.- 4 Kurzübersicht der B...

Einführung.- 1 Aussagenlogik.- 1A Formeln schreiben und benutzen.- 1B Allgemeingültige Formeln und logisches Folgern.- 1C Entscheidungsverfahren und Normalformen.- 1D Ableiten.- 2 Offene Prädikaten...

1 Grundlagen der Textverarbeitung.- 2 Referenz zu Word.- 3 Kurs zur Textverarbeitung mit Word.- Lösungen zu den Aufgaben.- Korrekturzeichen.- ASCII-Tabelle.- Dateiverzeichnis (nach Abschnitten).- D...

I Eine kleine Geschichte der Virenkultur.- 1 Die Grundlagen.- 2 Wie alles begann.- 3 Viren werden erwachsen.- 4 Die Rolle der Medien.- 5 Viren: Mythos oder Wirklichkeit?.- II Schutz vor Viren von A...

I.- 1 Einführung.- 2 Grundlagen der Tabellenkalkulation.- 3 Was-Wäre-Wenn-Analysen.- 4 Speichern und Öffnen von Dateien.- 5 Präsentation und Ausdruck von Tabellen.- 6 Diagramme erstellen, präsentie...

1. Einleitung.- 2. Wozu neue Logiken.- 3. Defaultlogik.- 4. Nichtmonotone Modallogiken.- 5. Von der Closed-World Annahme zur Zirkumskription.- 6. Die Nichtmonotone Suppositionslogik von Besnard und...

Begrüßung.- Eberhard Müller-von der Bank (AFCEA e.V.).- Dr. Otto Leiberich (ZSI).- Eröffnungsvortrag.- Aktivitäten der Bundesregierung zur IT-Sicherheit.- Themenbereich: Bedrohung, Erfahrungen, Maß...

1 Introduction.- 1.1 Logic.- 1.2 Parallelism.- 1.3 Parallelism and Logic.- 1.4 Relevance of the Work.- 1.5 Organization of the Book.- 2 Foundations.- 2.1 Logic: The Connection Method.- 2.2 Parallel...

1. Vorwort und Einleitung.- 2. Excel aufrufen.- 3. Die Bausteine von MS-Excel.- 4. Die Excel Hilfe -- Ihr Rettungsring.- 5. Das elektronische Arbeitsblatt.- 6. Ihre erste Tabelle.- 7. Die Tabelle w...