Portal Informatik

Bild:Architektur-der-informatik.png

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
Angewandte Informatik und Realisierungen

Betriebssysteme

Netzwerke und verteilte Systeme

Informationssysteme

Programmiersprachen

Auszeichnungssprachen

HTML - LaTeX - SGML - WML - XML

Schnittstellen

Hardware

Datenverschlüsselung

Datenkompression

Informatik als interdisziplinäre Wissenschaft
Bekannte Informatiker
Schnellstart

Verwandte Portale

Zugehörige Kategorien

Informatik
Algorithmus
Berufe
Informatiker

Glossare

Projekte

Informatik
Geoinformatik
Kryptologie
Wirtschaftsinformatik
WikiReader: Internet
WikiReader: Open Source

Leserfeedback-Seite

Qualitätsoffensive

Ungeschriebene Artikel

  • Rechner: Cray-2 - Cray-3 - Cray-4 - Cray X-MP - Cray T3d
  • Personen: Leslie John Comrie - Chris McKinstry - Ike Nassi - Kristen Nygaard - Jakob Nielsen (Usability Berater) - Jakob Nielsen (Mathematiker) Peter Chen
  • Protokolle/Algorithmen: Dynamic Data Routing - Fast AQM Scalable TCP - Quickfind
  • Weitere: Fixpunktsemantik - Mikroprozessortechnik - LiveLink - Elcrodat - Objektmodul - WPI

siehe auch Wikipedia:Artikelwünsche/Informatik (Liste bearbeiten)

Artikel, die eine Überarbeitung brauchen

Exzellente Artikel, Kandidaten und Reviews

Neue Artikel

Grundlegend überarbeitete Artikel

Aktuelles und Jahrestage


(Liste bearbeiten) (weitere Jahrestage)

Organisationen

Informatik Kategorie:Informatik

See also: Portal Informatik, .NET, 10. März, 18. Mai