Portal Informatik

Grundlagen

Bit - Boolesche Funktion - Boolesche Algebra - Formale Semantik - Gödelscher Unvollständigkeitssatz - Informationsgehalt - Informationstheorie - Logik - Numerische Verfahren

Berechenbarkeitstheorie

Berechenbarkeit - Church-Turing-These - Entscheidbarkeit - Halteproblem - Lambda-Kalkül - µ-Rekursion - Primitiv-rekursive Funktion - Satz von Rice - Turingmaschine

Komplexitätstheorie

Komplexität - Komplexitätsklasse - NP-Vollständigkeit - Platzkomplexität - O-Notation - P/NP-Problem - Polynomialzeit - Speedup-Theorem - Zeitkomplexität

Formale Sprachen und Automaten

Backus-Naur-Form - Chomsky-Hierarchie - Chomsky-Normalform - CYK-Algorithmus - Formale Grammatik - Produktionsregel - Pumping-Lemma - Regulärer Ausdruck - Reguläre Sprache - Syntaxbaum - Syntaxdiagramm - Turingmaschine

Algorithmen und Datenstrukturen

Array - Baum - Daten - Entscheidungsbaum - Fouriertransformation - Hash-Funktion - Heap - Kompressionsalgorithmen - Liste - probabilistische Algorithmen - Sortieralgorithmen - Stack - Suchalgorithmen

Betriebssysteme

Dateisystem - Interprozesskommunikation - Interrupt - Scheduling - Semaphor - Speicherverwaltung

Computernetzwerke

Client-Server-System - OSI-Modell - Netzwerkprotokoll - Netzwerktopologie - Peer-to-Peer - Protokollstapel - RFCs - Verteiltes System

Datenbank-Grundlagen

DBMS - Datenbanksprache - Entity-Relationship-Modell - Normalisierung - Objektorientierte Datenbank - Relationale Algebra - Relationale Datenbank

Grundlagen der Programmierung

Compiler - Compilerbau - Linker - Parser - Programmierung (prozedurale, funktionale, logische, objektorientierte, aspektorientierte, regelbasierte) - Programmiersprache - Programmierparadigma - Rekursion

Softwaretechnik

Entwurfsmuster - Extreme Programming - Model Driven Architecture - Objektorientierte Analyse - Rational Unified Process - Software-Architektur - Strukturierte Analyse - Unified Modeling Language - Vorgehensmodelle

Künstliche Intelligenz

Automatisches Problemlösen - Data Mining - Expertensystem - Fuzzy-Logik - Mustererkennung - Neuronales Netz - Ontologie - Robotik - Regelbasiertes System - Semantisches Netz - Software-Agent - Spracherkennung - Wissensrepräsentation

Sicherheit

Computerviren - Computerwürmer - Denial of Service-Angriff - Kryptoanalyse - Kryptografie - Man-In-The-Middle-Angriff - Netzwerksicherheit - Paketfilter - Paritätsbit - Personal Firewall - Phishing - Spoofing - Trojanisches Pferd - Verschlüsselung (symmetrisch, asymmetrisch), Zyklische Redundanzprüfung

Sonstiges

Bildverarbeitung - Codierungstheorie - Information-Retrieval - IT-Architektur - Simulation

Digitale Schaltungen

Digitaltechnik - Flipflop - Integrierter Schaltkreis - Multiplexer - Schaltalgebra - Schaltnetz - Schaltwerk

Mikroprozessoren

Addierwerk - ALU - Cache - CISC - Digitaler Signalprozessor - Harvard-Architektur - CPU - Maschinensprache - Memory Management Unit - MIPS-Architektur - Pipelining - Prozessorarchitektur - Rechenwerk - Register - RISC - Steuerwerk - Superskalarität

Rechnerarchitektur

Arbeitsspeicher - Bus - Quantencomputer - Speicherhierarchie - Systembus - VLIW-Architektur - Von-Neumann-Architektur

Angewandte Informatik und Realisierungen

Kernel - GNU/Linux - Liste der Betriebssysteme - Mac OS X - Windows - Unix

CORBA - DFÜ - DSL - Ethernet - Internet - IPv6 - LAN - Netzwerkrouter - SOAP - Token Ring - VPN - WLAN

Data-Warehouse - OLAP

Ada - C - C++ - C# - Cobol - Delphi - Fortran - Java - LISP - Perl - PHP - Python - Prolog - Ruby - SQL - Tcl - Liste der Programmiersprachen

HTML - LaTeX - SGML - WML - XML

AGP - ATA - Bluetooth - FireWire - IrDA - ISA - PCI - PCIe - S-ATA - S/PDIF - SCSI - USB - VLB - WLAN

Computer - Drucker - DVD - Festplatte - Grafikkarte - Mainboard - Modem - Peripheriegerät - Soundkarte

Advanced Encryption Standard - Data Encryption Standard (DES) - Enigma - PGP - RSA-Verschlüsselung - SSL - Steganografie

Arithmetische Kodierung - Huffman-Code - Lempel-Ziv-Welch-Algorithmus - Verlustbehaftete Kompression

Informatik als interdisziplinäre Wissenschaft

Bioinformatik - Computerlinguistik - Geoinformatik - Medizinische Informatik - Quanteninformatik - Wirtschaftsinformatik

Bekannte Informatiker

Charles Babbage - Tim Berners-Lee - Alonzo Church - Ian Clarke - Edsger Wybe Dijkstra - Erich Gamma - Donald Ervin Knuth - Ada Lovelace - Marvin Minsky - John Mauchly - John von Neumann - Blaise Pascal - Wilhelm Schickard - Andrew Tanenbaum - Alan Turing - Joseph Weizenbaum - Niklaus Wirth - Konrad Zuse

Qualitätsoffensive

• Rechner: A7150 - Cray-2 - Cray-3 - Cray-4 - Cray X-MP - Cray T3d *Personen: Gene Amdahl - John Vincent Atanasoff - Leslie John Comrie - Christiane Floyd - John Mauchly - Chris McKinstry - Ike Nassi - Kristen Nygaard - Randal L. Schwartz - Wolfgang Händler *Protokolle/Algorithmen: Dynamic Data Routing - Fast AQM Scalable TCP - DCP - Source Routing - Quickfind *Weitere: Unified Process - Fixpunktsemantik - Mikroprozessortechnik - LiveLink - Elcrodat - Stevens Award - Objektmodul

()

Satz von Knuth - Indexsequentielle Datenbank - Datenbankschema - Sieve - RDF-Schema - Informatik - Ben Shneiderman - Regelbasierte Programmiersprache - Threshold Accepting - Paradox (Datenbank) - Architecture Description Language - Compiler - Commit-Protokoll - Pattern Matching - Token Bus - Aspektorientierte Programmierung - PAM-5 - Document Object Model - Tastatur - BIOS - Eingabetaste - Exzesscode
()

• Exzellente Artikel: Ackermannfunktion - IPv6 - Python - Qubit - Topologische Sortierung - Schwellwertverfahren - Streaming Audio - Liste der Exzellenten Artikel der Informatik *Kandidaten für exzellente Artikel: Continuous Query Language *Review: Unicode - OpenType - .NET - Mandelbrot-Menge - Datenstrom

()

11.03. Registerspeicher - 11.03. Registersatz - 10.03. Steuerregister - 10.03. Statusregister - 10.03. Fault - 08.03. Systembus - 28.02. Maschinensemantik - 10.02. John Ambrose Fleming - 09.02. Ian Clarke - 07.02. EC1834 - 05.02. - 05.02. Symbolische Logik - 04.02. A7100 - 01.02. Cray-1 - 25.01. Synchrone Kommunikation - 25.01. Rendezvous (Informatik) - 25.01. Spinlock - 25.01. Busy Waiting - 25.01. Lock - 24.01. Knoten (Informatik) - 20.01. R*-Baum - 20.01. Anomalie (Informatik) - 15.01. IT-Architektur
()

17.02. OLTP - 01.02. Time-Sharing - 30.01. IT-Berufe - 26.01. Prozesssynchronisation - 26.01. Interprozesskommunikation - 25.01. Mutex - 03.01. muLISP - 27.12. Djbdns - 19.12. Symmetric Nearest Neighbour - 12.12. Computermaus - 07.12. Potenzmengenkonstruktion - 03.12. Transitionssystem
()

Aktuelles und Jahrestage

*10. März 2005: Die CeBIT 2005 wird in Hannover eröffnet. Auf der weltweit größten Messe für Informationstechnik ist in diesem Jahr auch die Wikipedia vertreten. *10. März 2001: Mit dem Ziel freie Software zu fördern, wird die Free Software Foundation Europe (FSFE) als europäische Schwesterorganisation der US-amerikanischen Free Software Foundation gegründet. *7. März 2005: Der Rat der Europäischen Union stimmt der umstrittenen Richtlinie zu Softwarepatenten zu. *29. Februar 1860: Herman Hollerith, der als einer der Begründer der maschinellen Datenverarbeitung angesehen wird, wird geboren. Er beschäftigte sich mit dem Einsatz von Lochkarten zur Erfassung und Speicherung von Daten.
() (weitere Jahrestage)

Organisationen

ANSI - FFII - Gesellschaft für Informatik - IEEE - ISO - W3C - OMG

Informatik im Web

• www.gi-ev.de Gesellschaft für Informatik
• www.ocg.at Österreichische Computer Gesellschaft
• sfinf.fsinf.de Studienführer Informatik